Uno strumento per l'analisi del bilancio consolidato
1997 Lattanzi, N
Verification of hybrid systems via mathematical programming
1999 Bemporad, A.; Morari, M.
A Formal Basis for Reasoning on Programmable QoS
2003 DE NICOLA, R; R., Pugliese; G., Ferrari; U., Montanari; E., Tuosto
Mimesis and Motion in Classical Antiquity
2013 Catoni, MARIA LUISA
A Flexible and Modular Framework for Implementing Infrastructures for Global Computing
2005 Lorenzo, Bettini; DE NICOLA, R; Daniele, Falassi; Marc, Lacoste; Michele, Loreti
Pattern Matching over a Dynamic Network of Tuple Spaces
2005 DE NICOLA, R; D., Gorla; R., Pugliese
A Process Calculus for QoS-Aware Applications
2005 DE NICOLA, R; G. -L., Ferrari; U., Montanari; R., Pugliese; E., Tuosto
Global Computing in a Dynamic Network of Tuple Spaces
2005 DE NICOLA, R; D., Gorla; R., Pugliese
Il tema dell'Ilioupersis. Introduzione
2013 Catoni, M
Implementing Session Centered Calculi
2008 Lorenzo, Bettini; DE NICOLA, R; Michele, Loreti
Sessions and Pipelines for Structured Service Programming
2008 M, Boreale; Bruni, Roberto; DE NICOLA, Rocco; Loreti, Michele
On a Uniform Framework for the Definition of Stochastic Process Languages
2009 DE NICOLA, R; D., Latella; M., Loreti; M., Massink:
Il simposio greco
2013 Catoni, M
Optimal Scales in Weighted Networks
2013 Garlaschelli, D; Ahnert, Se; Fink, Tma; Caldarelli, G
Ritratto di Socrate
2018 Catoni, M
SAT-based branch & bound and optimal control of hybrid dynamical systems
2004 Bemporad, A.; Giorgetti, N.
The Distinction of Essence and Existence in Avicenna’s Metaphysics: The Text and Its Context
2012 Bertolacci, A
Verifying Properties of Systems Relying on Attribute-Based Communication.
2017 De Nicola, R; Tan, Duong; Omar, Inverso; Franco, Mazzanti
La cultura e i "media"
2005 Casini, L.
Game Theory
2014 Bilancini, E.; Boncinelli, L.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Uno strumento per l'analisi del bilancio consolidato | 1-gen-1997 | Lattanzi, N | |
| Verification of hybrid systems via mathematical programming | 1-gen-1999 | Bemporad, A.; Morari, M. | |
| A Formal Basis for Reasoning on Programmable QoS | 1-gen-2003 | DE NICOLA, R; R., Pugliese; G., Ferrari; U., Montanari; E., Tuosto | |
| Mimesis and Motion in Classical Antiquity | 1-gen-2013 | Catoni, MARIA LUISA | |
| A Flexible and Modular Framework for Implementing Infrastructures for Global Computing | 1-gen-2005 | Lorenzo, Bettini; DE NICOLA, R; Daniele, Falassi; Marc, Lacoste; Michele, Loreti | |
| Pattern Matching over a Dynamic Network of Tuple Spaces | 1-gen-2005 | DE NICOLA, R; D., Gorla; R., Pugliese | |
| A Process Calculus for QoS-Aware Applications | 1-gen-2005 | DE NICOLA, R; G. -L., Ferrari; U., Montanari; R., Pugliese; E., Tuosto | |
| Global Computing in a Dynamic Network of Tuple Spaces | 1-gen-2005 | DE NICOLA, R; D., Gorla; R., Pugliese | |
| Il tema dell'Ilioupersis. Introduzione | 1-gen-2013 | Catoni, M | |
| Implementing Session Centered Calculi | 1-gen-2008 | Lorenzo, Bettini; DE NICOLA, R; Michele, Loreti | |
| Sessions and Pipelines for Structured Service Programming | 1-gen-2008 | M, Boreale; Bruni, Roberto; DE NICOLA, Rocco; Loreti, Michele | |
| On a Uniform Framework for the Definition of Stochastic Process Languages | 1-gen-2009 | DE NICOLA, R; D., Latella; M., Loreti; M., Massink: | |
| Il simposio greco | 1-gen-2013 | Catoni, M | |
| Optimal Scales in Weighted Networks | 1-gen-2013 | Garlaschelli, D; Ahnert, Se; Fink, Tma; Caldarelli, G | |
| Ritratto di Socrate | 1-gen-2018 | Catoni, M | |
| SAT-based branch & bound and optimal control of hybrid dynamical systems | 1-gen-2004 | Bemporad, A.; Giorgetti, N. | |
| The Distinction of Essence and Existence in Avicenna’s Metaphysics: The Text and Its Context | 1-gen-2012 | Bertolacci, A | |
| Verifying Properties of Systems Relying on Attribute-Based Communication. | 1-gen-2017 | De Nicola, R; Tan, Duong; Omar, Inverso; Franco, Mazzanti | |
| La cultura e i "media" | 1-gen-2005 | Casini, L. | |
| Game Theory | 1-gen-2014 | Bilancini, E.; Boncinelli, L. |
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