Verifying Properties of Systems Relying on Attribute-Based Communication.
2017 De Nicola, R; Tan, Duong; Omar, Inverso; Franco, Mazzanti
Game Theory
2014 Bilancini, E.; Boncinelli, L.
La cultura e i "media"
2005 Casini, L.
Infinity norms as Lyapunov functions for model predictive control of constrained PWA systems
2005 Lazar, M.; Heemels, M.; Weiland, S.; Bemporad, A.; Pastravanu, O.
Network-Aware Evaluation Environment for Reputation Systems Authors
2013 Celestini, A; De Nicola, R; Tiezzi, F
Il prezzo come variabile strategica
2004 Pammolli, F; Riccaboni, M
Il settore farmaceutico tra barriere alla concorrenza e regolazione sul lato del consumo
2007 Pammolli, F; Riccaboni, M; Salerno, N C
La dinamica dei rapporti tra piccole e grandi imprese: alcune riflessioni tra teoria ed analisi storica
2001 Dosi, G; Riccaboni, M; Varaldo, R
Technological paradigms and the evolution of networks: Lessons from the pharmaceutical industry
2003 Pammolli, F; Riccaboni, M
Innovacion y crecimiento en la industria farmaceutica
2007 Magazzini, L; Pammolli, F; Riccaboni, M
Core Calculi for Service-Oriented Computing
2011 Caires, L; De Nicola, R; Pugliese, R; Vasconcelos, V T; Zavattaro, G
Technological competencies in networks of innovators
2004 Pammolli, F; Riccaboni, M
Asynchronous Observations of Processes
1998 M, Boreale; DE NICOLA, R.; Pugliese, R.
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
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
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 Volume788
Data di pubblicazione
- In corso di stampa10
- 2020 - 2025218
- 2010 - 2019345
- 2000 - 2009167
- 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
- BOSTON STUDIES IN THE PHILOSOPHY ...2
- COURSES AND LECTURES2
- INDO-IRANICA ET ORIENTALIA, SERIE...2
- IZA DISCUSSION PAPER2
- LECTURE NOTES IN COMPUTER SCIENCE2
Keyword
- Computer Science (all)5
- Theoretical Computer Science5
- Contemporary Art4
- contemporary art4
- Fotografia4
- Model predictive control4
- Ancient Greek Philosophy3
- Archivio3
- arte contemporanea3
- Avicenna3
Lingua
- eng393
- ita279
- fre10
- und8
- ger7
- spa3
- ara1
- heb1
- jpn1
- per1
Accesso al fulltext
- no fulltext443
- reserved252
- open76
- partially open15
- embargoed2