Ṯābit Ibn Qurra's Concise Exposition of the Metaphysics: Text, Translation and Commentary
2009 Reisman, D C; Bertolacci, A
‘Down the Rabbit Hole’: The Projection of the Public/Private Distinction Beyond the State
2013 Casini, Lorenzo
FORMALIZING PROPERTIES OF MOBILE AGENT SYSTEMS
2002 DE NICOLA, R; M., Loreti; L., Bettini
Uno strumento per l'analisi del bilancio consolidato
1997 Lattanzi, N
Verification of hybrid systems via mathematical programming
1999 Bemporad, A.; Morari, M.
A Formal Basis for Reasoning on Programmable QoS
2003 DE NICOLA, R; R., Pugliese; G., Ferrari; U., Montanari; E., Tuosto
Mimesis and Motion in Classical Antiquity
2013 Catoni, MARIA LUISA
A Flexible and Modular Framework for Implementing Infrastructures for Global Computing
2005 Lorenzo, Bettini; DE NICOLA, R; Daniele, Falassi; Marc, Lacoste; Michele, Loreti
A Process Calculus for QoS-Aware Applications
2005 DE NICOLA, R; G. -L., Ferrari; U., Montanari; R., Pugliese; E., Tuosto
Pattern Matching over a Dynamic Network of Tuple Spaces
2005 DE NICOLA, R; D., Gorla; R., Pugliese
Global Computing in a Dynamic Network of Tuple Spaces
2005 DE NICOLA, R; D., Gorla; R., Pugliese
Il tema dell'Ilioupersis. Introduzione
2013 Catoni, M
Implementing Session Centered Calculi
2008 Lorenzo, Bettini; DE NICOLA, R; Michele, Loreti
Sessions and Pipelines for Structured Service Programming
2008 M, Boreale; Bruni, Roberto; DE NICOLA, Rocco; Loreti, Michele
On a Uniform Framework for the Definition of Stochastic Process Languages
2009 DE NICOLA, R; D., Latella; M., Loreti; M., Massink:
Il simposio greco
2013 Catoni, M
Optimal Scales in Weighted Networks
2013 Garlaschelli, D; Ahnert, Se; Fink, Tma; Caldarelli, G
Ritratto di Socrate
2018 Catoni, M
SAT-based branch & bound and optimal control of hybrid dynamical systems
2004 Bemporad, A.; Giorgetti, N.
The Distinction of Essence and Existence in Avicenna’s Metaphysics: The Text and Its Context
2012 Bertolacci, A
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 Volume788
Data di pubblicazione
- In corso di stampa10
- 2020 - 2025218
- 2010 - 2019345
- 2000 - 2009167
- 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
- BOSTON STUDIES IN THE PHILOSOPHY ...2
- COURSES AND LECTURES2
- INDO-IRANICA ET ORIENTALIA, SERIE...2
- IZA DISCUSSION PAPER2
- LECTURE NOTES IN COMPUTER SCIENCE2
Keyword
- Computer Science (all)5
- Theoretical Computer Science5
- Contemporary Art4
- contemporary art4
- Fotografia4
- Model predictive control4
- Ancient Greek Philosophy3
- Archivio3
- arte contemporanea3
- Avicenna3
Lingua
- eng393
- ita279
- fre10
- und8
- ger7
- spa3
- ara1
- heb1
- jpn1
- per1
Accesso al fulltext
- no fulltext443
- reserved252
- open76
- partially open15
- embargoed2