Sfoglia
The expansion of the material scope of global law
2016 Casini, L
Locality based Linda: programming with explicit localities
1997 DE NICOLA, R; G., Ferrari; R., Pugliese
Global Administrative Law scholarship
2016 Casini, L
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
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
A Completeness Theorem for Nondeterministic Kleene Algebras.
1994 De Nicola, R; Labella, A
Net Theory and Application - Response. IFIP Congress 1986:
1986 De Nicola, R
Action versus State based Logics for Transition Systems. Semantics of Systems of Concurrent Processes
1990 De Nicola, R; Vaandrager, F W
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
Optimal control of discrete hybrid stochastic automata
2005 Bemporad, A.; DI CAIRANO, S.
A SAT-based hybrid solver for optimal control of hybrid systems
2004 Bemporad, A.; Giorgetti, N.
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
Esporre le arti visive: il metodo Ragghianti
2015 Pellegrini, E
Continuità economica e crisi aziendale
2014 Lattanzi, Nicola; Agliata, Francesco
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 Volume855
Data di pubblicazione
- In corso di stampa5
- 2020 - 2026288
- 2010 - 2019345
- 2000 - 2009169
- 1990 - 199939
- 1983 - 19899
Editore
- Springer120
- 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 SCIENCE34
- 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
- eng416
- ita316
- fre10
- ger9
- und8
- spa3
- ara1
- heb1
- jpn1
- per1
Accesso al fulltext
- no fulltext456
- reserved280
- open98
- partially open16
- embargoed4
- mixed1