Testing Semantics of Asynchronous Distributed Programs
1996 DE NICOLA, R; R., Pugliese
Proving the Correctness of Optimising Destructive and Non-destructive Reads over Tuple Spaces
2000 DE NICOLA, R; R., Pugliese; A., Rowstrom
A modal logic for KLAIM
2000 DE NICOLA, R; M., Loreti
Basic Observables for Probabilistic May Testing
2007 M. C., Palmeri; DE NICOLA, R; M., Massink:
Distribution of Agricultural Surplus and Industrial Takeoff
2009 Bilancini, E.; S, D'Alessandro
Group-by-Group Probabilistic Bisimilarities and Their Logical Characterisations
2014 Bernardo, M; De Nicola, R; Loreti, M
Mostrare significa valorizzare?
2005 Pellegrini, E
Formalising Adaptation Patterns for Autonomic Ensembles
2013 Cesari, L; De Nicola, R; Pugliese, R; Puviani, M; Tiezzi, F; Zambonelli, F
Emergence of Complexity in Financial Networks
2004 Caldarelli, G; Stefano, Battiston; Michele, Catanzaro; Garlaschelli, D
La lentissima formazione dei musei statali in Italia
2016 Casini, L
AGILE: Software Architecture for Mobility
2002 Andrade, L.; Baldan, P.; Baumeister, H.; Bruni, R.; Corradini, A.; DE NICOLA, R; Fiadero, J.; Gadducci, F.; Gnesi, S.; Hoffman, P.; Koch, N.; Kosiuczenko, P.; Lapadula, A.; Latella, D.; Lopes, A.; Loreti, M.; Massink, M.; Mazzanti, F.; Montanari, M.; Oliveira, C.; R., Pugliese; Tarlecki, A.; Wermelinger, M.; Wirsing, M.
Variety and irreversibility in scientific and technological systems: The evolution of an industry network
2001 Pammolli, F; Orsenigo, L; Riccaboni, M
The nature and the extent of the market for technology in biopharmaceuticals
2004 Arora, A; Gambardella, A; Pammolli, F; Riccaboni, M
Due segretari e un artista: il caso dei Pagni alla corte di Cosimo I
2016 Pellegrini, E
Self–Organization and Complex Networks
2009 Garlaschelli, D; Caldarelli, G
Modelling the local structure of networks
2010 Garlaschelli, D; Caldarelli, G
Introduzione
2013 Catoni, M
Chapter 17: Automotive control
2009 L. BENVENUTI, A. BALLUCHI; Bemporad, A.; Cairano, S. DI; Johansson, B.; Johansson, R.; SANGIOVANNI-VINCENTELLI, A.; Tunestål, P.
Indicazioni per la governance della spesa farmaceutica
2008 Pammolli, F; Salerno, N; Magazzini, L; Riccaboni, M
A hybrid approach to traction control
2001 Borrelli, F.; Bemporad, A.; Fodor, M.; Hrovat, D.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Testing Semantics of Asynchronous Distributed Programs | 1-gen-1996 | DE NICOLA, R; R., Pugliese | |
| Proving the Correctness of Optimising Destructive and Non-destructive Reads over Tuple Spaces | 1-gen-2000 | DE NICOLA, R; R., Pugliese; A., Rowstrom | |
| A modal logic for KLAIM | 1-gen-2000 | DE NICOLA, R; M., Loreti | |
| Basic Observables for Probabilistic May Testing | 1-gen-2007 | M. C., Palmeri; DE NICOLA, R; M., Massink: | |
| Distribution of Agricultural Surplus and Industrial Takeoff | 1-gen-2009 | Bilancini, E.; S, D'Alessandro | |
| Group-by-Group Probabilistic Bisimilarities and Their Logical Characterisations | 1-gen-2014 | Bernardo, M; De Nicola, R; Loreti, M | |
| Mostrare significa valorizzare? | 1-gen-2005 | Pellegrini, E | |
| Formalising Adaptation Patterns for Autonomic Ensembles | 1-gen-2013 | Cesari, L; De Nicola, R; Pugliese, R; Puviani, M; Tiezzi, F; Zambonelli, F | |
| Emergence of Complexity in Financial Networks | 1-gen-2004 | Caldarelli, G; Stefano, Battiston; Michele, Catanzaro; Garlaschelli, D | |
| La lentissima formazione dei musei statali in Italia | 1-gen-2016 | Casini, L | |
| AGILE: Software Architecture for Mobility | 1-gen-2002 | Andrade, L.; Baldan, P.; Baumeister, H.; Bruni, R.; Corradini, A.; DE NICOLA, R; Fiadero, J.; Gadducci, F.; Gnesi, S.; Hoffman, P.; Koch, N.; Kosiuczenko, P.; Lapadula, A.; Latella, D.; Lopes, A.; Loreti, M.; Massink, M.; Mazzanti, F.; Montanari, M.; Oliveira, C.; R., Pugliese; Tarlecki, A.; Wermelinger, M.; Wirsing, M. | |
| Variety and irreversibility in scientific and technological systems: The evolution of an industry network | 1-gen-2001 | Pammolli, F; Orsenigo, L; Riccaboni, M | |
| The nature and the extent of the market for technology in biopharmaceuticals | 1-gen-2004 | Arora, A; Gambardella, A; Pammolli, F; Riccaboni, M | |
| Due segretari e un artista: il caso dei Pagni alla corte di Cosimo I | 1-gen-2016 | Pellegrini, E | |
| Self–Organization and Complex Networks | 1-gen-2009 | Garlaschelli, D; Caldarelli, G | |
| Modelling the local structure of networks | 1-gen-2010 | Garlaschelli, D; Caldarelli, G | |
| Introduzione | 1-gen-2013 | Catoni, M | |
| Chapter 17: Automotive control | 1-gen-2009 | L. BENVENUTI, A. BALLUCHI; Bemporad, A.; Cairano, S. DI; Johansson, B.; Johansson, R.; SANGIOVANNI-VINCENTELLI, A.; Tunestål, P. | |
| Indicazioni per la governance della spesa farmaceutica | 1-gen-2008 | Pammolli, F; Salerno, N; Magazzini, L; Riccaboni, M | |
| A hybrid approach to traction control | 1-gen-2001 | Borrelli, F.; Bemporad, A.; Fodor, M.; Hrovat, D. |
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 Volume838
Data di pubblicazione
- In corso di stampa12
- 2020 - 2026265
- 2010 - 2019345
- 2000 - 2009168
- 1990 - 199939
- 1983 - 19899
Editore
- Springer119
- Springer Verlag23
- Giappichelli22
- 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
- eng411
- ita305
- fre10
- ger9
- und8
- spa3
- ara1
- heb1
- jpn1
- per1
Accesso al fulltext
- no fulltext453
- reserved272
- open92
- partially open16
- embargoed4
- mixed1