IRIS

2.1 Contributo in volume (Capitolo o Saggio): [848] Home page tipologia

Sfoglia
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 801 a 820 di 848
Titolo Data di pubblicazione Autore(i) File
A Symbolic Semantics for the pi-calculus 1-gen-1994 M, Boreale; DE NICOLA, R.
Giulio Romano Ansaldi. Avvio di una ricerca 1-gen-2003 Pellegrini, E
I.C.3 Hybrid Public-private Bodies within Global Private Regimes: The World Anti-Doping Agency (WADA) 1-gen-2012 Casini, L.; Mannucci, G.
Beyond the State: The Emergence of Global Administration 1-gen-2012 Casini, L.
Il cervello o il mondo nella testa 1-gen-2007 Pietrini, P; Battaglia, F
SoSL: A Service-Oriented Stochastic Logic 1-gen-2011 De Nicola, R; Latella, D; Loreti, M; Massink, M
Immagini e canti nel simposio greco: acuni esempi 1-gen-2010 Catoni, M
“Avicenna’s and Averroes’ Interpretations and Their Influence in Albert the Great” 1-gen-2014 Bertolacci, A
Event-based model predictive control and verification of integral continuous-time hybrid automata 1-gen-2006 Bemporad, A.; DI CAIRANO, S.; Julvez, J.
A strong form of stable convergence. (Original article in a book series/Book chapter) 1-gen-2007 Crimaldi, I; Letta, G; Pratelli, L
Proving the Correctness of Optimising Destructive and Non-destructive Reads over Tuple Spaces 1-gen-2000 DE NICOLA, R; R., Pugliese; A., Rowstrom
Testing Semantics of Asynchronous Distributed Programs 1-gen-1996 DE NICOLA, R; R., Pugliese
A modal logic for KLAIM 1-gen-2000 DE NICOLA, R; M., Loreti
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
Basic Observables for Probabilistic May Testing 1-gen-2007 M. C., Palmeri; DE NICOLA, R; M., Massink:
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
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.
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 801 a 820 di 848
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 Volume848
Autore
  • DE NICOLA, ROCCO103
  • Casini, Lorenzo49
  • PELLEGRINI, EMANUELE41
  • LATTANZI, NICOLA39
  • BEMPORAD, ALBERTO38
  • BERTOLACCI, AMOS34
  • CATONI, MARIA LUISA33
  • PIETRINI, PIETRO33
  • Pavan, Ilaria26
  • Franceschini, Chiara22
Data di pubblicazione
  • In corso di stampa14
  • 2020 - 2026273
  • 2010 - 2019345
  • 2000 - 2009168
  • 1990 - 199939
  • 1983 - 19899
Editore
  • Springer119
  • Giappichelli23
  • Springer Verlag23
  • 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
  • eng413
  • ita312
  • fre10
  • ger9
  • und8
  • spa3
  • ara1
  • heb1
  • jpn1
  • per1
Accesso al fulltext
  • no fulltext456
  • reserved277
  • open93
  • partially open16
  • embargoed5
  • mixed1