Sfoglia
Models and Operators for Nondeterministic Processes
1984 De Nicola, R
Basic Observables for Processes
1997 M, Boreale; DE NICOLA, R.; Pugliese, R.
From Flow Logic to Static Type Systems for Coordination Languages
2008 DE NICOLA, R; D., Gorla; R. R., Hansen; F., Nielson; H. R., Nielson; C. W., Probst; R., Pugliese
La novità della Scuola dei beni e delle attività culturali e del turismo
2016 Catoni, MARIA LUISA
Graph theory and food webs
2006 C., CARETTA CARTOZO; G., Caldarelli; Caldarelli, Guido
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Models and Operators for Nondeterministic Processes | 1-gen-1984 | De Nicola, R | |
| Basic Observables for Processes | 1-gen-1997 | M, Boreale; DE NICOLA, R.; Pugliese, R. | |
| From Flow Logic to Static Type Systems for Coordination Languages | 1-gen-2008 | DE NICOLA, R; D., Gorla; R. R., Hansen; F., Nielson; H. R., Nielson; C. W., Probst; R., Pugliese | |
| La novità della Scuola dei beni e delle attività culturali e del turismo | 1-gen-2016 | Catoni, MARIA LUISA | |
| Graph theory and food webs | 1-gen-2006 | C., CARETTA CARTOZO; G., Caldarelli; Caldarelli, Guido |
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
- 2 Contributo in Volume805
Data di pubblicazione
- In corso di stampa10
- 2020 - 2025233
- 2010 - 2019346
- 2000 - 2009168
- 1990 - 199939
- 1983 - 19899
Editore
- Springer118
- Springer Verlag23
- Giappichelli22
- Il Mulino18
- Routledge17
- Pisa University Press13
- Maria Pacini Fazzi Editore12
- SPRINGER-VERLAG11
- Cambridge University Press9
- Giuffrè9
Rivista
- LECTURE NOTES IN COMPUTER SCIENCE52
- STUDI E RICERCHE DI ECONOMIA AZIE...6
- ECONOMIA E POLITICA INDUSTRIALE3
- ADVANCES IN ARCHITECTURE SERIES2
- GREEN ENERGY AND TECHNOLOGY2
- LECTURE NOTES IN MATHEMATICS2
- LECTURE NOTES IN PHYSICS2
- SPRINGER SERIES ON TOUCH AND HAPT...2
- ADVANCES IN ECOLOGICAL SCIENCES1
- COMMUNICATIONS IN COMPUTER AND IN...1
Serie
- LECTURE NOTES IN COMPUTER SCIENCE31
- IFAC-PAPERSONLINE5
- SPRINGERBRIEFS IN BUSINESS5
- AIRO SPRINGER SERIES3
- ARCHEOLOGIA E ARTE ANTICA3
- SPRINGER OPTIMIZATION AND ITS APP...3
- BOSTON STUDIES IN THE PHILOSOPHY ...2
- COURSES AND LECTURES2
- INDO-IRANICA ET ORIENTALIA, SERIE...2
- IZA DISCUSSION PAPER2
Keyword
- Archivio5
- Computer Science (all)5
- Firenze5
- Fotografia5
- Theoretical Computer Science5
- Contemporary Art4
- contemporary art4
- Model predictive control4
- Ancient Greek Philosophy3
- arte contemporanea3
Lingua
- eng396
- ita291
- fre10
- und8
- ger7
- spa3
- ara1
- heb1
- jpn1
- per1
Accesso al fulltext
- no fulltext447
- reserved263
- open77
- partially open15
- embargoed3