Assisting requirement formalization by means of natural language translation
1992 Fantechi A.; Gnesi S.; Ristori G.; Carenini M.; Marino M.; Moreschini P.
On a state-based constraint-oriented notation for specifying reactive systems
1995 Bolognesi T.; Ciaccio G.
QGIS Plugin for Italian Emergency Limit Condition analysis (Technical manual)
2019 Emanuele Tarquini; Gianluca Carbone; Giuseppe Cosentino; Francesco Pennica
QGIS Plugin for Italian seismic microzonation (Technical manual).
2018 Emanuele Tarquini; Gianluca Carbone; Giuseppe Cosentino; Francesco Pennica
Calibrazione dei modelli di atmosfera di SATRAP per mezzo dello studio del decadimento orbitale di satelliti sferici e cilindrici
1998 Pardini, C
Concepts and Requirements for ATC and HCI
1998 Paternò, F; Santoro, C
Dependability analysis in the HIDE framework
1998 Majzik I.; Bondavalli A.
Storia del costituirsi di un modo mentale. La prospettiva rinascimentale
1995 Beltrame R.
Designing user interfaces for Air Traffic Control
1998 Paterno', F.
Mantenimento e richieste di interventi a favore del completamento delle connessioni e la attivazione di servizi di utilità generale
1995 Abba L.
Catalogo delle pubblicazioni periodiche possedute dalla biblioteca dell'IEI
1989 Biagioni, S; Gariglio Matteucci, E
L'artigiano orafo e l'attività di esportazione
1999 Anna Maria Gaibisso, ; Ragazzi, Elena
ECU RTOS Manual
2017 Massimiliano Ruggeri; Michele Selvatici; Luca Dariz In collaborazione con l'azienda commissionante il lavoro
Code Review Guidelines
2017 Massimiliano Ruggeri; Michele Selvatici; Luca Dariz In collaborazione con l'azienda commissionante il lavoro
Safety Manual
2017 Massimiliano Ruggeri; Michele Selvatici; Luca Dariz In collaborazione con l'azienda commissionante il lavoro
Firmware Implementation Manual
2017 Ruggeri, Massimiliano; Selvatici, Michele; Dariz In collaborazione con l'azienda commissionante il lavoro, Luca
Firmware User Manual
2017 Ruggeri, Massimiliano; Selvatici, Michele; Dariz In collaborazione con l'azienda commissionante il lavoro, Luca
Creazione della base dei dati bibliografici per il sistema ADOC-RESP: programmi per la conversione e la validazione dei dati
1980 Biagioni S.; Lodovici L.
Nuovo sistema intranet ed internet dell'IRAT
2013 Daniela de Gregorio; Valeria Catanese
Sinossi requisiti/attributi entità persona nei sistemi FRAD, MARC21, MADS, UNIMARC, RDA, ISNI
2013 Cancedda, Flavia
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Assisting requirement formalization by means of natural language translation | 1-gen-1992 | Fantechi A.; Gnesi S.; Ristori G.; Carenini M.; Marino M.; Moreschini P. | |
| On a state-based constraint-oriented notation for specifying reactive systems | 1-gen-1995 | Bolognesi T.; Ciaccio G. | |
| QGIS Plugin for Italian Emergency Limit Condition analysis (Technical manual) | 1-gen-2019 | Emanuele Tarquini; Gianluca Carbone; Giuseppe Cosentino; Francesco Pennica | |
| QGIS Plugin for Italian seismic microzonation (Technical manual). | 1-gen-2018 | Emanuele Tarquini; Gianluca Carbone; Giuseppe Cosentino; Francesco Pennica | |
| Calibrazione dei modelli di atmosfera di SATRAP per mezzo dello studio del decadimento orbitale di satelliti sferici e cilindrici | 1-gen-1998 | Pardini, C | |
| Concepts and Requirements for ATC and HCI | 1-gen-1998 | Paternò, F; Santoro, C | |
| Dependability analysis in the HIDE framework | 1-gen-1998 | Majzik I.; Bondavalli A. | |
| Storia del costituirsi di un modo mentale. La prospettiva rinascimentale | 1-gen-1995 | Beltrame R. | |
| Designing user interfaces for Air Traffic Control | 1-gen-1998 | Paterno', F. | |
| Mantenimento e richieste di interventi a favore del completamento delle connessioni e la attivazione di servizi di utilità generale | 1-gen-1995 | Abba L. | |
| Catalogo delle pubblicazioni periodiche possedute dalla biblioteca dell'IEI | 1-gen-1989 | Biagioni, S; Gariglio Matteucci, E | |
| L'artigiano orafo e l'attività di esportazione | 1-gen-1999 | Anna Maria Gaibisso, ; Ragazzi, Elena | |
| ECU RTOS Manual | 1-gen-2017 | Massimiliano Ruggeri; Michele Selvatici; Luca Dariz In collaborazione con l'azienda commissionante il lavoro | |
| Code Review Guidelines | 1-gen-2017 | Massimiliano Ruggeri; Michele Selvatici; Luca Dariz In collaborazione con l'azienda commissionante il lavoro | |
| Safety Manual | 1-gen-2017 | Massimiliano Ruggeri; Michele Selvatici; Luca Dariz In collaborazione con l'azienda commissionante il lavoro | |
| Firmware Implementation Manual | 1-gen-2017 | Ruggeri, Massimiliano; Selvatici, Michele; Dariz In collaborazione con l'azienda commissionante il lavoro, Luca | |
| Firmware User Manual | 1-gen-2017 | Ruggeri, Massimiliano; Selvatici, Michele; Dariz In collaborazione con l'azienda commissionante il lavoro, Luca | |
| Creazione della base dei dati bibliografici per il sistema ADOC-RESP: programmi per la conversione e la validazione dei dati | 1-gen-1980 | Biagioni S.; Lodovici L. | |
| Nuovo sistema intranet ed internet dell'IRAT | 1-gen-2013 | Daniela de Gregorio; Valeria Catanese | |
| Sinossi requisiti/attributi entità persona nei sistemi FRAD, MARC21, MADS, UNIMARC, RDA, ISNI | 1-gen-2013 | Cancedda, Flavia |
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
Scopri
Tipologia
- 09 Documentazione tecnica1500
Data di pubblicazione
- 2020 - 2026106
- 2010 - 2019387
- 2000 - 2009247
- 1990 - 1999361
- 1980 - 1989282
- 1970 - 1979106
- 1965 - 196911
Editore
- CNR, IIT11
- Publications Office of the Europe...5
- Biblink4
- EUROPEAN COMMISSION JOINT RESEARC...3
- ISPRA -Istituto Superiore per la ...3
- ECMWF2
- ESI2
- IFREMER2
- INSEAN2
- Biblioteca nazionale centrale1
Keyword
- Analisi delle acque22
- Registro .it16
- Internet15
- nomi a dominio15
- Operating system10
- Database9
- Domini9
- media9
- quotidiani9
- siti web9
Lingua
- ita955
- eng435
- fre6
- spa6
- ara2
- rus2
- sin2
- chi1
- it1
- rum1
Accesso al fulltext
- no fulltext819
- open573
- restricted89
- reserved19