Using the Axiomatic Presentation of Behavioural Equivalences for Manipulating CCS Specifications.
1990 De Nicola, R; Inverardi, P; Nesi, M
MoMo: A Modal Logic for Reasoning About Mobility
2005 DE NICOLA, R; Michele, Loreti
Provably Correct Implementations of Services
2009 R., Bruni; DE NICOLA, R; M., Loreti; L., Mezzina
SCC: a Service Centered Calculus
2006 M, Boreale; Bruni, Roberto; Caires, Luis; DE NICOLA, Rocco; Lanese, Ivan; Loreti, Michele; Martins, Francisco; Montanari, Ugo; Ravara, Antonio; Sangiorgi, Davide; Vasconcelos, Vasco; Zavattaro, Gianluigi
Symbolic Articulation in Ancient Greece. Word, Schema and Image
2017 Catoni, M
Decentralized model predictive control
2010 Bemporad, A; Barcelli, D
Social Capital Predicts Happiness Over Time
2016 Bartolini, Stefano; Bilancini, Ennio; Sarracino, Francesco
Global protocol implementations via attribute-based communication
2015 De Nicola, R; Mezzina, CLAUDIO ANTARES; MENDES TORRES VIEIRA, H
Rate-Based Transition Systems for Stochastic Process Calculi
2009 DE NICOLA, R; D., Latella; M., Loreti; M., Massink
The Reception of Avicenna in Latin Medieval Culture
2013 Bertolacci, A
Scaling Performance Analysis Using Fluid-Flow Approximation
2011 Tribastone, M; Gilmore, S
Azienda, comportamento umano e neuroscienze
2008 Lattanzi, N
La notion d'ornement: documents d'archives et biographies d'artiste (XVIème-XVIIIème siècles)
2016 Pellegrini, E
BASI NEURONALI DEGLI EFFETTI DELLA MODULAZIONE FARMACOLOGICA DEL SISTEMA COLINERGICO: STUDI PET E FMRI NELL’UOMO
2001 Furey, M. L.; Ricciardi, E; Guazzelli, M.; Pietrini, P.
L'analisi per indici del bilancio di esercizio.
2016 Lattanzi, Nicola; Fontana, Gino
The Klaim Project: Theory and Practice
2003 Bettini, L.; Bono, V.; DE NICOLA, R.; Ferrari, G.; Gorla, D.; Loreti, M.; Moggi, E.; R, Pugliese; Tuosto, E.; B., Venneri
Testing Equivalences for Event Structures
1986 Aceto, L; De Nicola, R; Fantechi, A
Multiscale models for contact mechanics of rough surfaces
2006 BORRI-BRUNETTO, M; Chiaia, B; Paggi, M.
Functional neuroimaging: SPECT and PET
2001 Alexander, Ge; Pietrini, P
Iconografie di Tommaso di Villanova: un dipinto e due incisioni
2013 Pellegrini, Emanuele
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Using the Axiomatic Presentation of Behavioural Equivalences for Manipulating CCS Specifications. | 1-gen-1990 | De Nicola, R; Inverardi, P; Nesi, M | |
| MoMo: A Modal Logic for Reasoning About Mobility | 1-gen-2005 | DE NICOLA, R; Michele, Loreti | |
| Provably Correct Implementations of Services | 1-gen-2009 | R., Bruni; DE NICOLA, R; M., Loreti; L., Mezzina | |
| SCC: a Service Centered Calculus | 1-gen-2006 | M, Boreale; Bruni, Roberto; Caires, Luis; DE NICOLA, Rocco; Lanese, Ivan; Loreti, Michele; Martins, Francisco; Montanari, Ugo; Ravara, Antonio; Sangiorgi, Davide; Vasconcelos, Vasco; Zavattaro, Gianluigi | |
| Symbolic Articulation in Ancient Greece. Word, Schema and Image | 1-gen-2017 | Catoni, M | |
| Decentralized model predictive control | 1-gen-2010 | Bemporad, A; Barcelli, D | |
| Social Capital Predicts Happiness Over Time | 1-gen-2016 | Bartolini, Stefano; Bilancini, Ennio; Sarracino, Francesco | |
| Global protocol implementations via attribute-based communication | 1-gen-2015 | De Nicola, R; Mezzina, CLAUDIO ANTARES; MENDES TORRES VIEIRA, H | |
| Rate-Based Transition Systems for Stochastic Process Calculi | 1-gen-2009 | DE NICOLA, R; D., Latella; M., Loreti; M., Massink | |
| The Reception of Avicenna in Latin Medieval Culture | 1-gen-2013 | Bertolacci, A | |
| Scaling Performance Analysis Using Fluid-Flow Approximation | 1-gen-2011 | Tribastone, M; Gilmore, S | |
| Azienda, comportamento umano e neuroscienze | 1-gen-2008 | Lattanzi, N | |
| La notion d'ornement: documents d'archives et biographies d'artiste (XVIème-XVIIIème siècles) | 1-gen-2016 | Pellegrini, E | |
| BASI NEURONALI DEGLI EFFETTI DELLA MODULAZIONE FARMACOLOGICA DEL SISTEMA COLINERGICO: STUDI PET E FMRI NELL’UOMO | 1-gen-2001 | Furey, M. L.; Ricciardi, E; Guazzelli, M.; Pietrini, P. | |
| L'analisi per indici del bilancio di esercizio. | 1-gen-2016 | Lattanzi, Nicola; Fontana, Gino | |
| The Klaim Project: Theory and Practice | 1-gen-2003 | Bettini, L.; Bono, V.; DE NICOLA, R.; Ferrari, G.; Gorla, D.; Loreti, M.; Moggi, E.; R, Pugliese; Tuosto, E.; B., Venneri | |
| Testing Equivalences for Event Structures | 1-gen-1986 | Aceto, L; De Nicola, R; Fantechi, A | |
| Multiscale models for contact mechanics of rough surfaces | 1-gen-2006 | BORRI-BRUNETTO, M; Chiaia, B; Paggi, M. | |
| Functional neuroimaging: SPECT and PET | 1-gen-2001 | Alexander, Ge; Pietrini, P | |
| Iconografie di Tommaso di Villanova: un dipinto e due incisioni | 1-gen-2013 | Pellegrini, Emanuele |
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