Process Algebraic Analysis of Cryptographic Protocols
2000 Boreale, M; DE NICOLA, R.; R., Pugliese
Basic Observables for a Calculus for Global Computing
2005 DE NICOLA, R; D., Gorla; R., Pugliese
Continuità economica e crisi aziendale
2014 Lattanzi, Nicola; Agliata, Francesco
Esporre le arti visive: il metodo Ragghianti
2015 Pellegrini, E
A Complete Set of Axioms for a Theory of Communicating Sequential Processes
1983 De Nicola, R
Testing Equivalence for Mobile Processes (Extended Abstract)
1992 Boreale, M; De Nicola, R
Partial ordering derivations for CCS
1985 Degano, P; De Nicola, R; Montanari, U
FMRI Compatible Sensing Glove for Hand Gesture Monitoring
2012 Vanello, N; Hartwig, V; Scilingo, Ep; Bonino, D; Ricciardi, E; Tognetti, A; Pietrini, P; De Rossi, D; Landini, L; Bicchi, A
Testing Equivalence for Processes
1983 De Nicola, R; Hennessy, M
Public Regulation of Global Indicators
2012 Cassese, Sabino; Casini, Lorenzo
Orchestrating Tuple-Based Languages
2011 De Nicola, R; Margheri, A; Tiezzi, F
Domestic Public Authorities within Global Networks: Institutional and Procedural Design, Accountability, and Review
2013 Casini, Lorenzo
Pollaiolo e il berretto degli alpini: cronaca di cent'anni di solitudine
2010 Pellegrini, E
Storia di problemi continuamente attuali
2010 Pellegrini, E
Le carte e le cose: la città da scrivere
2009 Pellegrini, Emanuele
La Sicilia di Luigi Lanzi
2012 Pellegrini, E
Between history and art history: Roscoe’s Medici Lives
2012 Pellegrini, E
Communities Detection in Large Networks
2004 Andrea, Capocci; Vito D. P., Servedio; Caldarelli, G; Francesca, Colaiori
Functional Exploration Studies of Supramodal Organization in the Human Extrastriate Cortex
2008 Ricciardi, Emiliano; Bonino, Daniela; Sani, Lorenzo; Pietrini, Pietro
Service Composition for Collective Adaptive Systems
2015 Gilmore, S; Hillston, J; Tribastone, M
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