Sfoglia
Technological competencies in networks of innovators
2004 Pammolli, F; Riccaboni, M
Core Calculi for Service-Oriented Computing
2011 Caires, L; De Nicola, R; Pugliese, R; Vasconcelos, V T; Zavattaro, G
A Process Algebra based on Linda
1996 DE NICOLA, R; R., Pugliese
Coordinating Mobile Agents via Blackboards and Access Rights
1997 DE NICOLA, R; G., Ferrari; R., Pugliese
Proof Techniques for Cryptographic Processes
1999 DE NICOLA, R; M., Boreale; R., Pugliese
Asynchronous Observations of Processes
1998 M, Boreale; DE NICOLA, R.; Pugliese, R.
Explicit model predictive control
2014 Bemporad, A
Quale arte per il tempo di Platone?
1997 Catoni, M
Programming Access Control: The Klaim Experience
2000 DE NICOLA, R; Ferrari, G.; R., Pugliese
Types as Specifications of Access Policies
1999 DE NICOLA, R; R., Pugliese; G., Ferrari
Cercando le Olimpiadi
1996 Catoni, M
Translating Strong Mobility into Weak Mobility
2001 DE NICOLA, R; L., Bettini
Graded Modalities and Resource Bisimulation
1999 DE NICOLA, R; A., Labella; F., Corradini
COORDINATION AND ACCESS CONTROL OF MOBILE AGENTS
1999 DE NICOLA, R
I caratteri distintivi e le possibili classificazioni dei gruppi aziendali
1998 Lattanzi, N
Il rapporto azienda bancaria - cliente: analisi di un cambiamento
1997 Lattanzi, N
Robust model predictive control: A survey
1999 Bemporad, A.; Morari, M.
Programming and Verifying Component Ensembles.
2014 De Nicola, R; Lluch-Lafuente, A; Loreti, M; Morichetta, A; Pugliese, R; Senni, V; Tiezzi, F
Linee di privatizzazione: il sistema delle ferrovie in Germania
2002 Lattanzi, N
Polimorfismi genetici e rischio di demenza
2003 Pellegrini, S.; Cozza, A.; Franceschini, C.; Mariotti, V.; M, Guazzelli; Pietrini, P.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Technological competencies in networks of innovators | 1-gen-2004 | Pammolli, F; Riccaboni, M | |
| Core Calculi for Service-Oriented Computing | 1-gen-2011 | Caires, L; De Nicola, R; Pugliese, R; Vasconcelos, V T; Zavattaro, G | |
| A Process Algebra based on Linda | 1-gen-1996 | DE NICOLA, R; R., Pugliese | |
| Coordinating Mobile Agents via Blackboards and Access Rights | 1-gen-1997 | DE NICOLA, R; G., Ferrari; R., Pugliese | |
| Proof Techniques for Cryptographic Processes | 1-gen-1999 | DE NICOLA, R; M., Boreale; R., Pugliese | |
| Asynchronous Observations of Processes | 1-gen-1998 | M, Boreale; DE NICOLA, R.; Pugliese, R. | |
| Explicit model predictive control | 1-gen-2014 | Bemporad, A | |
| Quale arte per il tempo di Platone? | 1-gen-1997 | Catoni, M | |
| Programming Access Control: The Klaim Experience | 1-gen-2000 | DE NICOLA, R; Ferrari, G.; R., Pugliese | |
| Types as Specifications of Access Policies | 1-gen-1999 | DE NICOLA, R; R., Pugliese; G., Ferrari | |
| Cercando le Olimpiadi | 1-gen-1996 | Catoni, M | |
| Translating Strong Mobility into Weak Mobility | 1-gen-2001 | DE NICOLA, R; L., Bettini | |
| Graded Modalities and Resource Bisimulation | 1-gen-1999 | DE NICOLA, R; A., Labella; F., Corradini | |
| COORDINATION AND ACCESS CONTROL OF MOBILE AGENTS | 1-gen-1999 | DE NICOLA, R | |
| I caratteri distintivi e le possibili classificazioni dei gruppi aziendali | 1-gen-1998 | Lattanzi, N | |
| Il rapporto azienda bancaria - cliente: analisi di un cambiamento | 1-gen-1997 | Lattanzi, N | |
| Robust model predictive control: A survey | 1-gen-1999 | Bemporad, A.; Morari, M. | |
| Programming and Verifying Component Ensembles. | 1-gen-2014 | De Nicola, R; Lluch-Lafuente, A; Loreti, M; Morichetta, A; Pugliese, R; Senni, V; Tiezzi, F | |
| Linee di privatizzazione: il sistema delle ferrovie in Germania | 1-gen-2002 | Lattanzi, N | |
| Polimorfismi genetici e rischio di demenza | 1-gen-2003 | Pellegrini, S.; Cozza, A.; Franceschini, C.; Mariotti, V.; M, Guazzelli; Pietrini, P. |
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