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.
Risultati 11 - 17 di 17 (tempo di esecuzione: 0.113 secondi).
Computer Information Systems and Industrial Management, 12th IFIP International Conference
2013-01-01 Saeed, K.; Chaki, R.; Cortesi, Agostino; Wierzchon, S.
Institutional Change for Gender Equality in Research
2019-01-01 Cortesi, Agostino; Sangiuliano, Maria
Preface
2019-01-01 Chaki, R.; Saeed, K.; Cortesi, A.; Chaki, N.
Special issue on "Computer Languages and Security"
2002-01-01 Cortesi, Agostino; Focardi, Riccardo
Static Analysis
1999-01-01 Cortesi, Agostino; File', G.
Verification, Model Checking, and Abstract Interpretation
2002-01-01 Cortesi, Agostino
Verification, Model Checking, and AbstractInterpretation, 4th International Conference, VMCAI 2003
2003-01-01 LENORE D., Zuck; PAUL C., Attie; Supratik, Mukhopadhyay; Cortesi, Agostino
| Titolo | Data di pubblicazione | Autori | Tipo | File | Abstract |
|---|---|---|---|---|---|
| Computer Information Systems and Industrial Management, 12th IFIP International Conference | 1-gen-2013 | CORTESI, Agostino + | 5.1 Curatela | - | |
| Institutional Change for Gender Equality in Research | 1-gen-2019 | Agostino CortesiMaria Sangiuliano | 5.1 Curatela | - | |
| Preface | 1-gen-2019 | Cortesi A. + | 5.1 Curatela | - | |
| Special issue on "Computer Languages and Security" | 1-gen-2002 | CORTESI, AgostinoFOCARDI, Riccardo | 5.1 Curatela | - | |
| Static Analysis | 1-gen-1999 | CORTESI, Agostino + | 5.1 Curatela | - | |
| Verification, Model Checking, and Abstract Interpretation | 1-gen-2002 | CORTESI, Agostino | 5.1 Curatela | - | |
| Verification, Model Checking, and AbstractInterpretation, 4th International Conference, VMCAI 2003 | 1-gen-2003 | CORTESI, Agostino + | 5.1 Curatela | - |
Risultati 11 - 17 di 17 (tempo di esecuzione: 0.113 secondi).
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
- 5 Curatela 17
- 5 Curatela::5.1 Curatela 17
Data di pubblicazione
- 2010 - 2020 12
- 2000 - 2009 4
- 1999 - 1999 1
Editore
- Springer Verlag 9
- Springer 2
- Springer Nature 2
- Dipartimento di Informatica, Univ... 1
- Edizioni Ca’ Foscari - Digital Pu... 1
- Elsevier 1
- SPRINGER VERLAG 1
Rivista
- LECTURE NOTES IN COMPUTER SCIENCE 5
- ADVANCES IN INTELLIGENT SYSTEMS A... 4
- COMMUNICATIONS IN COMPUTER AND IN... 1
- COMPUTER LANGUAGES, SYSTEMS & STR... 1
Serie
- ADVANCES IN INTELLIGENT SYSTEMS A... 5
- SCIENZA E SOCIETA' 1
Keyword
- Control and Systems Engineering 2
- agent profile 1
- ambient intelligence 1
- cloud computing 1
- Computer Science 1
- Computer Science (all) 1
- evolutionary algorithms 1
- genetic algorithms 1
- multi agent system 1
- quality management 1
Lingua
- eng 14
Accesso al fulltext
- open 15
- no fulltext 2