Ṯā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.
Mimesis and Motion in Classical Antiquity
2013 Catoni, MARIA LUISA
A Formal Basis for Reasoning on Programmable QoS
2003 DE NICOLA, R; R., Pugliese; G., Ferrari; U., Montanari; E., Tuosto
Pattern Matching over a Dynamic Network of Tuple Spaces
2005 DE NICOLA, R; D., Gorla; R., Pugliese
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
Global Computing in a Dynamic Network of Tuple Spaces
2005 DE NICOLA, R; D., Gorla; R., Pugliese
Sessions and Pipelines for Structured Service Programming
2008 M, Boreale; Bruni, Roberto; DE NICOLA, Rocco; Loreti, Michele
Il tema dell'Ilioupersis. Introduzione
2013 Catoni, M
On a Uniform Framework for the Definition of Stochastic Process Languages
2009 DE NICOLA, R; D., Latella; M., Loreti; M., Massink:
Implementing Session Centered Calculi
2008 Lorenzo, Bettini; DE NICOLA, R; Michele, Loreti
Il simposio greco
2013 Catoni, M
Optimal Scales in Weighted Networks
2013 Garlaschelli, D; Ahnert, Se; Fink, Tma; Caldarelli, G
The Distinction of Essence and Existence in Avicenna’s Metaphysics: The Text and Its Context
2012 Bertolacci, A
SAT-based branch & bound and optimal control of hybrid dynamical systems
2004 Bemporad, A.; Giorgetti, N.
Ritratto di Socrate
2018 Catoni, M
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
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