IRIS

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

Sfoglia
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 581 a 600 di 805
Titolo Data di pubblicazione Autore(i) File
Action versus State based Logics for Transition Systems. Semantics of Systems of Concurrent Processes 1-gen-1990 De Nicola, R; Vaandrager, F W
Net Theory and Application - Response. IFIP Congress 1986: 1-gen-1986 De Nicola, R
CCS without tau's 1-gen-1987 De Nicola, R; Hennessy, M
Partial orderings descriptions and observations of nondeterministic concurrent processes. 1-gen-1988 Degano, P; De Nicola, R; Montanari, U
Governance, sistemi di management e performance aziendali, possibili vie di integrazione. Considerazioni finali 1-gen-2005 Lattanzi, N
A SAT-based hybrid solver for optimal control of hybrid systems 1-gen-2004 Bemporad, A.; Giorgetti, N.
Optimal control of discrete hybrid stochastic automata 1-gen-2005 Bemporad, A.; DI CAIRANO, S.
Process Algebraic Analysis of Cryptographic Protocols 1-gen-2000 Boreale, M; DE NICOLA, R.; R., Pugliese
Basic Observables for a Calculus for Global Computing 1-gen-2005 DE NICOLA, R; D., Gorla; R., Pugliese
Esporre le arti visive: il metodo Ragghianti 1-gen-2015 Pellegrini, E
Continuità economica e crisi aziendale 1-gen-2014 Lattanzi, Nicola; Agliata, Francesco
Testing Equivalence for Mobile Processes (Extended Abstract) 1-gen-1992 Boreale, M; De Nicola, R
A Complete Set of Axioms for a Theory of Communicating Sequential Processes 1-gen-1983 De Nicola, R
Partial ordering derivations for CCS 1-gen-1985 Degano, P; De Nicola, R; Montanari, U
FMRI Compatible Sensing Glove for Hand Gesture Monitoring 1-gen-2012 Vanello, N; Hartwig, V; Scilingo, Ep; Bonino, D; Ricciardi, E; Tognetti, A; Pietrini, P; De Rossi, D; Landini, L; Bicchi, A
Orchestrating Tuple-Based Languages 1-gen-2011 De Nicola, R; Margheri, A; Tiezzi, F
Public Regulation of Global Indicators 1-gen-2012 Cassese, Sabino; Casini, Lorenzo
Testing Equivalence for Processes 1-gen-1983 De Nicola, R; Hennessy, M
Domestic Public Authorities within Global Networks: Institutional and Procedural Design, Accountability, and Review 1-gen-2013 Casini, Lorenzo
Storia di problemi continuamente attuali 1-gen-2010 Pellegrini, E
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 581 a 600 di 805
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
Autore
  • DE NICOLA, ROCCO102
  • Casini, Lorenzo48
  • LATTANZI, NICOLA39
  • BEMPORAD, ALBERTO38
  • PELLEGRINI, EMANUELE38
  • BERTOLACCI, AMOS33
  • CATONI, MARIA LUISA33
  • PIETRINI, PIETRO33
  • Pavan, Ilaria25
  • Franceschini, Chiara22
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