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 calculus for attribute-based communication
2015-01-01 Alrahman, Yehia Abd; De Nicola, Rocco; Loreti, Michele; Tiezzi, Francesco; Vigo, Roberto
A Computational Perspective on Multichannel Scattering Theory with Applications to Physical and Nuclear Chemistry
2015-01-01 Taioli, Simone; Simonucci, Stefano
A Consumer Chemistry Case Study to Promote Inquiry-Based Learning
2015-01-01 Celestino, Teresa; Marchetti, Fabio
A Cost/Reward Method for Optimal Infinite Scheduling in Mobile Cloud Computing
2016-01-01 Aceto, Luca; Larsen, Kim G.; Morichetta, Andrea; Tiezzi, Francesco
A Fixpoint-Based Calculus for Graph-Shaped Computational Fields
2015-01-01 Lafuente Alberto, Lluch; Loreti, Michele; Montanari, Ugo
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
Titolo | Data di pubblicazione | Autore(i) | Tipo | File |
---|---|---|---|---|
A calculus for attribute-based communication | 1-gen-2015 | Alrahman, Yehia Abd; De Nicola, Rocco; Loreti, Michele; Tiezzi, Francesco; Vigo, Roberto | Capitolo di libro o voce di enciclopedia | |
A Computational Perspective on Multichannel Scattering Theory with Applications to Physical and Nuclear Chemistry | 1-gen-2015 | Taioli, Simone; Simonucci, Stefano | Capitolo di libro o voce di enciclopedia | |
A Consumer Chemistry Case Study to Promote Inquiry-Based Learning | 1-gen-2015 | Celestino, Teresa; Marchetti, Fabio | Capitolo di libro o voce di enciclopedia | |
A Cost/Reward Method for Optimal Infinite Scheduling in Mobile Cloud Computing | 1-gen-2016 | Aceto, Luca; Larsen, Kim G.; Morichetta, Andrea; Tiezzi, Francesco | Capitolo di libro o voce di enciclopedia | |
A Fixpoint-Based Calculus for Graph-Shaped Computational Fields | 1-gen-2015 | Lafuente Alberto, Lluch; Loreti, Michele; Montanari, Ugo | 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 |
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 1115
- 03 CONTRIBUTO SPECIFICO IN VOLUME... 1115
Data di pubblicazione
- 2016 156
- 2015 158
- 2014 140
- 2013 175
- 2012 175
- 2011 136
- 2010 175
Editore
- Springer 56
- Cedam 28
- Gangemi 23
- CEDAM 21
- Edizioni Scientifiche Italiane 21
- Aracne 19
- ESI 18
- Giuffrè 18
- Franco Angeli 16
- Quodlibet 15
Serie
- LECTURE NOTES IN COMPUTER SCIENCE 27
- GEO_URBAN&LANDSCAPE PLANNING 8
- BREVIARIA IURIS 6
- RE-CYCLE ITALY 5
- STUDI URBANI E REGIONALI 4
- ARCHITETTURA E INNOVAZIONE 2
- ARCHITETTURA, URBANISTICA, AMBIENTE 2
- COMMENTARIO DEL CODICE CIVILE UTET 2
- LECTURE NOTES IN COMPUTER SCIENCE 2
- METHODS IN MOLECULAR BIOLOGY 2
Keyword
- Computer Science (all) 8
- Theoretical Computer Science 8
- 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 810
- eng 378
- spa 15
- fre 13
- ger 9
- por 6
- mul 2
- chi 1
- dut 1
- enm 1
Accesso al fulltext
- no fulltext 948
- reserved 139
- open 23
- partially open 4
- embargoed 1