RicercaInizia una nuova ricerca
NOTA: è possibile cercare una corrispondenza esatta usando i doppi apici, ad es: "evoluzione della specie". Qualora si cerchi un identificativo, è consigliabile cercarlo in due modi differenti: tra apici con caratteri speciali es: "978-94-6366-274" oppure senza caratteri speciali solo come sequenza numerica: es 978946366274.
"Evangelium vitae" e Codice deontologico: il rispetto della vita morente
1997-01-01 Picozzi, Mario
1/f Modeling of Blood Pressure and Heart Rate Spectra
1992-01-01 Castiglioni, P.; Frattola, A.; Parati, G.; DI RIENZO, M.
1/f Modeling of Blood Pressure and Heart Rate Spectra
1997-01-01 Di Rienzo, M.; Parati, G.; Pedotti, A.; Castiglioni, P.
A Case Study of Evaluating Configuration Management Practices with Goal-Oriented Measurement
1997-01-01 G., Cugola; P., Fusaro; A., Fuggetta; C., Gresse; Lavazza, LUIGI ANTONIO; S., Manca; M. R., Pagone; G., Ruhe; R., Soro
A decentralized temporal autoritzation model
1996-01-01 Elisa, Bertino; Claudio, Bettini; Ferrari, Elena; Pierangela, Samarati
A finite domain semantics for executing temporal logic specifications
1998-01-01 COEN PORISINI, Alberto; Pradella, M.; SAN PIETRO, P.
A flexible model supporting the specification and enforcement of role-based authorization in workflow management systems
1997-01-01 Elisa, Bertino; Ferrari, Elena; Vijayalakshmi, Atluri
A formal framework for ASTRAL inter-level proof obbligations
1995-01-01 COEN PORISINI, Alberto; Kemmerer, R. A.; Mandrioli, D.
A formal framework for ASTRAL intra-level proof obligations
1993-01-01 COEN PORISINI, Alberto; Kemmerer, R. A.; Mandrioli, D.
A Formal Temporal Object-Oriented Data Model
1996-01-01 Elisa, Bertino; Ferrari, Elena; Giovanna, Guerrini
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
"Evangelium vitae" e Codice deontologico: il rispetto della vita morente | 1-gen-1997 | Picozzi, Mario | |
1/f Modeling of Blood Pressure and Heart Rate Spectra | 1-gen-1992 | Castiglioni, P.; Frattola, A.; Parati, G.; DI RIENZO, M. | |
1/f Modeling of Blood Pressure and Heart Rate Spectra | 1-gen-1997 | Di Rienzo, M.; Parati, G.; Pedotti, A.; Castiglioni, P. | |
A Case Study of Evaluating Configuration Management Practices with Goal-Oriented Measurement | 1-gen-1997 | G., Cugola; P., Fusaro; A., Fuggetta; C., Gresse; Lavazza, LUIGI ANTONIO; S., Manca; M. R., Pagone; G., Ruhe; R., Soro | |
A decentralized temporal autoritzation model | 1-gen-1996 | Elisa, Bertino; Claudio, Bettini; Ferrari, Elena; Pierangela, Samarati | |
A finite domain semantics for executing temporal logic specifications | 1-gen-1998 | COEN PORISINI, Alberto; Pradella, M.; SAN PIETRO, P. | |
A flexible model supporting the specification and enforcement of role-based authorization in workflow management systems | 1-gen-1997 | Elisa, Bertino; Ferrari, Elena; Vijayalakshmi, Atluri | |
A formal framework for ASTRAL inter-level proof obbligations | 1-gen-1995 | COEN PORISINI, Alberto; Kemmerer, R. A.; Mandrioli, D. | |
A formal framework for ASTRAL intra-level proof obligations | 1-gen-1993 | COEN PORISINI, Alberto; Kemmerer, R. A.; Mandrioli, D. | |
A Formal Temporal Object-Oriented Data Model | 1-gen-1996 | Elisa, Bertino; Ferrari, Elena; Giovanna, Guerrini |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile
Opzioni
Scopri
Tipologia
- Atti di Convegno 374
- Atti di Convegno::Relazione (in V... 374
Data di pubblicazione
- 1999 52
- 1998 54
- 1997 43
- 1996 38
- 1995 34
- 1994 30
- 1993 29
- 1992 37
- 1991 27
- 1990 30
Editore
- IEEE Computer Society 12
- Edizioni ETS 5
- Monduzzi 5
- Springer 5
- ACM 4
- IEEE Computer Society Press 4
- La Garangola 4
- Springer-Verlag 4
- ETS Editrice 3
- Fogliazza Ed. 3
Serie
- LECTURE NOTES IN COMPUTER SCIENCE 3
- ACTA NEUROCHIRURGICA. SUPPLEMENTUM 1
- LECTURE NOTES IN ARTIFICIAL INTEL... 1
- MIKROÖKOLOGIE UND THERAPIE 1
- PROCEEDINGS OF SPIE, THE INTERNAT... 1
- STUDIES IN HEALTH TECHNOLOGY AND ... 1
- STUDIES IN SURFACE SCIENCE AND CA... 1
Keyword
- Software measurement 3
- storia della medicina 3
- CLASSIFICATION 2
- Humans 2
- LEARNING 2
- Measurement Theory 2
- Real-time systems 2
- storia della Croce Rossa 2
- temporal logic 2
- 18th century 1
Lingua
- eng 25
- ita 23
- ger 1
- spa 1
Accesso al fulltext
- no fulltext 368
- reserved 6