Sfoglia
Health services in an open translatlantic market: a European perspective
2007 Bonassi, C; Pammolli, F; Riccaboni, M
Linear-Time and May-Testing in a Probabilistic Reactive Setting
2011 Acciai, L; Boreale, M; De Nicola, R
L'analisi per indici del bilancio di esercizio
2014 Lattanzi, Nicola
Global Administrative Law scholarship
2016 Casini, L
Locality based Linda: programming with explicit localities
1997 DE NICOLA, R; G., Ferrari; R., Pugliese
The expansion of the material scope of global law
2016 Casini, L
A Theory of May Testing for Asynchronous Languages
1999 M, Boreale; DE NICOLA, R.; Pugliese, R.
Quando la musica "dà alla testa": la sinfonia che influisce sul cervello
2010 Pietrini, P; Bonino, D; Rota, G; Ricciardi, E
RVerifying hardware components within JACK
1995 De Nicola, R; Fantechi, A; Gnesi, S; Larosa, S; Ristori G., Charme
Distribution and Locality of Concurrent Systems
1994 Corradini, F; De Nicola, R
A Completeness Theorem for Nondeterministic Kleene Algebras.
1994 De Nicola, R; Labella, A
Back and Forth Bisimulations
1990 De Nicola, R; Montanari, U; Vaandrager, F W
Action and State-based Logics for Process Algebras
1991 De Nicola, R
Action versus State based Logics for Transition Systems. Semantics of Systems of Concurrent Processes
1990 De Nicola, R; Vaandrager, F W
Net Theory and Application - Response. IFIP Congress 1986:
1986 De Nicola, R
Partial orderings descriptions and observations of nondeterministic concurrent processes.
1988 Degano, P; De Nicola, R; Montanari, U
CCS without tau's
1987 De Nicola, R; Hennessy, M
Governance, sistemi di management e performance aziendali, possibili vie di integrazione. Considerazioni finali
2005 Lattanzi, N
A SAT-based hybrid solver for optimal control of hybrid systems
2004 Bemporad, A.; Giorgetti, N.
Optimal control of discrete hybrid stochastic automata
2005 Bemporad, A.; DI CAIRANO, S.
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