RicercaInizia una nuova ricerca
NOTA: è possibile cercare una corrispondenza esatta usando i doppi apici, ad es: "evoluzione della specie". Qualora si cerchi un identificativo, è consigliabile cercarlo in due modi differenti: tra apici con caratteri speciali es: "978-94-6366-274" oppure senza caratteri speciali solo come sequenza numerica: es 978946366274.
A Formal Approach to the Engineering of Domain-Specific Distributed Systems
2018-01-01 De Nicola, Rocco; Ferrari, Gianluigi; Pugliese, Rosario; Tiezzi, Francesco
A gentle introduction to multiparty asynchronous session types
2015-01-01 Coppo, Mario; Dezani-ciancaglini, Mariangiola; Padovani, Luca; Yoshida, Nobuko
A graphic tale
2013-01-01 Trusiani, Elio; E., Biscotto; S. B., D'Astoli
A Historiography of Italian Design
2014-01-01 Maddalena Dalla, Mura; Vinti, Carlo
A Language-Based Approach to Autonomic Computing
2013-01-01 De Nicola, Rocco; Ferrari, Gianluigi; Loreti, Michele; Pugliese, Rosario
A metà del guado, verso un nuovo ordine urbano
2013-01-01 Talia, Michele
A microsatellite study on the genetic distance between Suri and Huacaya phenotypes in Peruvian alpaca (Vicugna pacos) in Fibre production in South American camelids and other fibre animals
2011-01-01 LA MANNA, Vincenzo; LA TERZA, Antonietta; Dharaneedharan, S; Ghezzi, S; Saravanaperumal, S. A.; Apaza, N; Huanca, T; Bozzi, R; Renieri, Carlo
A multiscale stochastic volatility model in mathematical finance
2011-01-01 Fatone, Lorella; F., Mariani; M. C., Recchioni; F., Zirilli
A play at dusk. Mathematics in Literature
2013-01-01 Toffalori, Carlo
A PROJECT FOR HADRIANOPOLIS: THE ARCHEOLOGICAL PARK
2010-01-01 Sargolini, Massimo
| Titolo | Data di pubblicazione | Autore(i) | Tipo | File |
|---|---|---|---|---|
| A Formal Approach to the Engineering of Domain-Specific Distributed Systems | 1-gen-2018 | De Nicola, Rocco; Ferrari, Gianluigi; Pugliese, Rosario; Tiezzi, Francesco | Capitolo di libro o voce di enciclopedia | |
| A gentle introduction to multiparty asynchronous session types | 1-gen-2015 | Coppo, Mario; Dezani-ciancaglini, Mariangiola; Padovani, Luca; Yoshida, Nobuko | Capitolo di libro o voce di enciclopedia | |
| A graphic tale | 1-gen-2013 | Trusiani, Elio; E., Biscotto; S. B., D'Astoli | Capitolo di libro o voce di enciclopedia | |
| A Historiography of Italian Design | 1-gen-2014 | Maddalena Dalla, Mura; Vinti, Carlo | Capitolo di libro o voce di enciclopedia | |
| A Language-Based Approach to Autonomic Computing | 1-gen-2013 | De Nicola, Rocco; Ferrari, Gianluigi; Loreti, Michele; Pugliese, Rosario | Capitolo di libro o voce di enciclopedia | |
| A metà del guado, verso un nuovo ordine urbano | 1-gen-2013 | Talia, Michele | Capitolo di libro o voce di enciclopedia | |
| A microsatellite study on the genetic distance between Suri and Huacaya phenotypes in Peruvian alpaca (Vicugna pacos) in Fibre production in South American camelids and other fibre animals | 1-gen-2011 | LA MANNA, Vincenzo; LA TERZA, Antonietta; Dharaneedharan, S; Ghezzi, S; Saravanaperumal, S. A.; Apaza, N; Huanca, T; Bozzi, R; Renieri, Carlo | Capitolo di libro o voce di enciclopedia | |
| A multiscale stochastic volatility model in mathematical finance | 1-gen-2011 | Fatone, Lorella; F., Mariani; M. C., Recchioni; F., Zirilli | Capitolo di libro o voce di enciclopedia | |
| A play at dusk. Mathematics in Literature | 1-gen-2013 | Toffalori, Carlo | Capitolo di libro o voce di enciclopedia | |
| A PROJECT FOR HADRIANOPOLIS: THE ARCHEOLOGICAL PARK | 1-gen-2010 | Sargolini, Massimo | Capitolo di libro o voce di enciclopedia |
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
Opzioni
Scopri
Tipologia
- 03 CONTRIBUTO SPECIFICO IN VOLUME 1572
- 03 CONTRIBUTO SPECIFICO IN VOLUME... 1572
Data di pubblicazione
- 2019 157
- 2018 146
- 2017 154
- 2016 156
- 2015 158
- 2014 140
- 2013 175
- 2012 175
- 2011 136
- 2010 175
Editore
- Springer 96
- Editoriale Scientifica 42
- Cedam 34
- Edizioni Scientifiche Italiane 32
- Giuffrè 29
- Quodlibet 29
- CEDAM 26
- Gangemi 23
- ESI 22
- Aracne 20
Rivista
- LAW AND PHILOSOPHY LIBRARY 1
Serie
- LECTURE NOTES IN COMPUTER SCIENCE 30
- THE URBAN BOOK SERIES 16
- BREVIARIA IURIS 12
- GEO_URBAN&LANDSCAPE PLANNING 8
- PENSIERI AD ARTE 8
- EXPECTATIONS 6
- LECTURE NOTES IN COMPUTER SCIENCE 5
- RE-CYCLE ITALY 5
- STUDI URBANI E REGIONALI 4
- GEOBOTANY STUDIES 3
Keyword
- Computer Science (all) 9
- Theoretical Computer Science 9
- pianificazione paesaggistica 7
- Formal Methods 3
- landscape planning 3
- Autonomic Computing 2
- contratto di fiume 2
- european program 2
- gestione /trasformazione 2
- informal city 2
Lingua
- ita 1113
- eng 558
- spa 33
- fre 20
- por 14
- ger 12
- chi 3
- mul 2
- dut 1
- enm 1
Accesso al fulltext
- no fulltext 1161
- reserved 339
- open 63
- partially open 7
- embargoed 1
- restricted 1