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.
11. Genomics and Bioinformatics
2004-01-01 Valle, G; Vezzi, A; Cannata, Nicola
2. Towards Bioinformatics Resourceomes
2009-01-01 Cannata, Nicola; Corradini, Flavio; Merelli, Emanuela; Piersigilli, Francesca; Vito, Leonardo
61 idee per dare forma all'alluminio
2006-01-01 Perriccioli, Massimo
A Calculus for Orchestration of Web Services
2007-01-01 A., Lapadula; R., Pugliese; Tiezzi, Francesco
A Customer Oriented Framework for Component Deployment Testing
2005-01-01 Polini, Andrea; Bertolino, Antonia
A Distributed Monitoring System for Enhancing Security and Dependability at Architectural LevelArchitecting Dependable Systems IV
2007-01-01 Paola, Inverardi; Mostarda, Leonardo
A Flexible and Modular Framework for Implementing Infrastructures for Global Computing
2005-01-01 Bettini, Lorenzo; DE NICOLA, Rocco; Falassi, Daniele; Marc, Lacoste; Loreti, Michele
A Fluid Flow Approach to Usability Analysis of Multi-user Systems
2008-01-01 Massink, Mieke; Latella, Diego; Ter, Maurice H.; Harrison, Michael D.; Loreti, Michele
A Formal Account of WS-BPEL
2008-01-01 A., Lapadula; R., Pugliese; Tiezzi, Francesco
A Modal Logic for KLAIM
2000-01-01 DE NICOLA, Rocco; Loreti, Michele
Titolo | Data di pubblicazione | Autore(i) | Tipo | File |
---|---|---|---|---|
11. Genomics and Bioinformatics | 1-gen-2004 | Valle, G; Vezzi, A; Cannata, Nicola | Capitolo di libro o voce di enciclopedia | |
2. Towards Bioinformatics Resourceomes | 1-gen-2009 | Cannata, Nicola; Corradini, Flavio; Merelli, Emanuela; Piersigilli, Francesca; Vito, Leonardo | Capitolo di libro o voce di enciclopedia | |
61 idee per dare forma all'alluminio | 1-gen-2006 | Perriccioli, Massimo | Capitolo di libro o voce di enciclopedia | |
A Calculus for Orchestration of Web Services | 1-gen-2007 | A., Lapadula; R., Pugliese; Tiezzi, Francesco | Capitolo di libro o voce di enciclopedia | |
A Customer Oriented Framework for Component Deployment Testing | 1-gen-2005 | Polini, Andrea; Bertolino, Antonia | Capitolo di libro o voce di enciclopedia | |
A Distributed Monitoring System for Enhancing Security and Dependability at Architectural LevelArchitecting Dependable Systems IV | 1-gen-2007 | Paola, Inverardi; Mostarda, Leonardo | Capitolo di libro o voce di enciclopedia | |
A Flexible and Modular Framework for Implementing Infrastructures for Global Computing | 1-gen-2005 | Bettini, Lorenzo; DE NICOLA, Rocco; Falassi, Daniele; Marc, Lacoste; Loreti, Michele | Capitolo di libro o voce di enciclopedia | |
A Fluid Flow Approach to Usability Analysis of Multi-user Systems | 1-gen-2008 | Massink, Mieke; Latella, Diego; Ter, Maurice H.; Harrison, Michael D.; Loreti, Michele | Capitolo di libro o voce di enciclopedia | |
A Formal Account of WS-BPEL | 1-gen-2008 | A., Lapadula; R., Pugliese; Tiezzi, Francesco | Capitolo di libro o voce di enciclopedia | |
A Modal Logic for KLAIM | 1-gen-2000 | DE NICOLA, Rocco; Loreti, 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 1230
- 03 CONTRIBUTO SPECIFICO IN VOLUME... 1230
Data di pubblicazione
- 2009 162
- 2008 193
- 2007 161
- 2006 150
- 2005 139
- 2004 106
- 2003 109
- 2002 92
- 2001 69
- 2000 49
Editore
- Cedam 43
- Edizioni Scientifiche Italiane 40
- Springer 36
- ESI 31
- Kappa 30
- Edizioni UNICAM 26
- esi 24
- Giuffrè 23
- Gangemi 18
- Electa 17
Serie
- LECTURE NOTES IN COMPUTER SCIENCE 14
- STORIA URBANA 2
- COMMUNICATIONS IN COMPUTER AND IN... 1
- DEVELOPMENTS IN VOLCANOLOGY 1
- LECTURE NOTES IN COMPUTER SCIENCE 1
- LECTURE NOTES IN PHYSICS 1
- METHODS IN ENZYMOLOGY 1
- MONOGRAFIE / FACOLTÀ DI DIRITTO C... 1
Keyword
- Antinori 1
- Bianchi 1
- Coordination languages 1
- EAP Autentication 1
- Formal Methods 1
- Formal Properties 1
- Francesco 1
- Klaim 1
- Mobile Agents 1
- Mobile Computing 1
Lingua
- ita 1005
- eng 278
- fre 12
- spa 8
- ger 6
- chi 2
- por 2
- alb 1
- nor 1
- tur 1
Accesso al fulltext
- no fulltext 1213
- reserved 17