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 Model Checking Approach for Verifying COWS Specifications
2008-01-01 A., Fantechi; S., Gnesi; A., Lapadula; F., Mazzanti; R., Pugliese; Tiezzi, Francesco
A neuro-fuzzy model for ozone forecasting
2005-01-01 Latini, G.; COCCI GRIFONI, Roberta; Passerini, Giorgio; Tascini, Simone
A new convergent lattice approximation for the $phi_2^4$ - quantum field
2002-01-01 Bernabei, Maria Simonetta; Albeverio, S.; Zhou, X.
A numerical method for time dependent acoustic scattering problems involving smart obstacles and incoming waves of small wavelengths.
2006-01-01 Fatone, Lorella; Recchioni, M. C.; F., Zirilli
A partire da INFRA
2003-01-01 Cao, Umberto
A proposito dei tentativi di dimostrare la legittimità internazionale dell’intervento armato della NATO in Kosovo
2001-01-01 Palmisano, Giuseppe
A Roma nel secondo dopoguerra
2006-01-01 Santuccio, Salvatore
A WSDL-based type system for WS-BPEL
2006-01-01 A., Lapadula; R., Pugliese; Tiezzi, Francesco
Abitare lungo gli argini.
2004-01-01 Coccia, Luigi
Abitare, Costruire, Tempo. La dimensione temporale dell’abitare nel progetto contemporaneo
2004-01-01 Perriccioli, Massimo
Titolo | Data di pubblicazione | Autore(i) | Tipo | File |
---|---|---|---|---|
A Model Checking Approach for Verifying COWS Specifications | 1-gen-2008 | A., Fantechi; S., Gnesi; A., Lapadula; F., Mazzanti; R., Pugliese; Tiezzi, Francesco | Capitolo di libro o voce di enciclopedia | |
A neuro-fuzzy model for ozone forecasting | 1-gen-2005 | Latini, G.; COCCI GRIFONI, Roberta; Passerini, Giorgio; Tascini, Simone | Capitolo di libro o voce di enciclopedia | |
A new convergent lattice approximation for the $phi_2^4$ - quantum field | 1-gen-2002 | Bernabei, Maria Simonetta; Albeverio, S.; Zhou, X. | Capitolo di libro o voce di enciclopedia | |
A numerical method for time dependent acoustic scattering problems involving smart obstacles and incoming waves of small wavelengths. | 1-gen-2006 | Fatone, Lorella; Recchioni, M. C.; F., Zirilli | Capitolo di libro o voce di enciclopedia | |
A partire da INFRA | 1-gen-2003 | Cao, Umberto | Capitolo di libro o voce di enciclopedia | |
A proposito dei tentativi di dimostrare la legittimità internazionale dell’intervento armato della NATO in Kosovo | 1-gen-2001 | Palmisano, Giuseppe | Capitolo di libro o voce di enciclopedia | |
A Roma nel secondo dopoguerra | 1-gen-2006 | Santuccio, Salvatore | Capitolo di libro o voce di enciclopedia | |
A WSDL-based type system for WS-BPEL | 1-gen-2006 | A., Lapadula; R., Pugliese; Tiezzi, Francesco | Capitolo di libro o voce di enciclopedia | |
Abitare lungo gli argini. | 1-gen-2004 | Coccia, Luigi | Capitolo di libro o voce di enciclopedia | |
Abitare, Costruire, Tempo. La dimensione temporale dell’abitare nel progetto contemporaneo | 1-gen-2004 | Perriccioli, 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 1265
- 03 CONTRIBUTO SPECIFICO IN VOLUME... 1230
- 03 CONTRIBUTO SPECIFICO IN VOLUME... 13
- 03 CONTRIBUTO SPECIFICO IN VOLUME... 9
- 03 CONTRIBUTO SPECIFICO IN VOLUME... 5
- 03 CONTRIBUTO SPECIFICO IN VOLUME... 3
- 03 CONTRIBUTO SPECIFICO IN VOLUME... 3
- 03 CONTRIBUTO SPECIFICO IN VOLUME... 2
Data di pubblicazione
- 2009 171
- 2008 200
- 2007 167
- 2006 153
- 2005 141
- 2004 107
- 2003 112
- 2002 92
- 2001 71
- 2000 51
Editore
- Cedam 43
- Edizioni Scientifiche Italiane 42
- Springer 36
- ESI 31
- Kappa 30
- Edizioni UNICAM 27
- 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 1030
- eng 283
- fre 12
- spa 12
- ger 7
- chi 2
- por 2
- alb 1
- nor 1
- tur 1
Accesso al fulltext
- no fulltext 1247
- reserved 18