Sfoglia
Introduzione
2007 Catoni, M
Models and Operators for Nondeterministic Processes
1984 De Nicola, R
Self-expression and Dynamic Attribute-Based Ensembles in SCEL
2014 Cabri, G; Capodieci, N; Cesari, L; De Nicola, R; Pugliese, R; Tiezzi, F; Zambonelli, F
Reasoning (on) Service Component Ensembles in Rewriting Logic. Specification, Algebra, and Software
2014 Belzner, L; De Nicola, R; Vandin, A; Wirsing, M
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 |
|---|---|---|---|
| Introduzione | 1-gen-2007 | Catoni, M | |
| Models and Operators for Nondeterministic Processes | 1-gen-1984 | De Nicola, R | |
| Self-expression and Dynamic Attribute-Based Ensembles in SCEL | 1-gen-2014 | Cabri, G; Capodieci, N; Cesari, L; De Nicola, R; Pugliese, R; Tiezzi, F; Zambonelli, F | |
| Reasoning (on) Service Component Ensembles in Rewriting Logic. Specification, Algebra, and Software | 1-gen-2014 | Belzner, L; De Nicola, R; Vandin, A; Wirsing, M | |
| 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 Volume848
Data di pubblicazione
- In corso di stampa14
- 2020 - 2026273
- 2010 - 2019345
- 2000 - 2009168
- 1990 - 199939
- 1983 - 19899
Editore
- Springer119
- Giappichelli23
- Springer Verlag23
- Il Mulino19
- Routledge18
- Pisa University Press14
- Maria Pacini Fazzi Editore12
- SPRINGER-VERLAG11
- Cambridge University Press10
- Edward Elgar9
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 SCIENCE33
- IFAC-PAPERSONLINE5
- SPRINGERBRIEFS IN BUSINESS5
- AIRO SPRINGER SERIES3
- ARCHEOLOGIA E ARTE ANTICA3
- MICROLOGUS' LIBRARY3
- SPRINGER OPTIMIZATION AND ITS APP...3
- BOSTON STUDIES IN THE PHILOSOPHY ...2
- COURSES AND LECTURES2
- INDO-IRANICA ET ORIENTALIA, SERIE...2
Keyword
- Contemporary Art6
- Archivio5
- Computer Science (all)5
- Firenze5
- Fotografia5
- Theoretical Computer Science5
- contemporary art4
- Model predictive control4
- Ancient Greek Philosophy3
- arte contemporanea3
Lingua
- eng413
- ita312
- fre10
- ger9
- und8
- spa3
- ara1
- heb1
- jpn1
- per1
Accesso al fulltext
- no fulltext456
- reserved277
- open93
- partially open16
- embargoed5
- mixed1