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.
Ventilated Illuminating Wall (VIW): Natural ventilation and daylight experimental analysis on a 1:1 prototype scale model
2011-01-01 Boccia, Oreste; Chella, Fabrizio; Zazzini, Paolo
Ventilated Illuminating Wall (VIW): Natural Ventilation numerical analysis and comparison with esperimental results
2011-01-01 Boccia, Oreste; Chella, Fabrizio; Zazzini, Paolo
Verifica sismica di una diga in terra: confronto tra analisi dinamiche complete e agli spostamenti
2014-01-01 Scasserra, G.; Pagliaroli, Alessandro; Lanzo, G.
Verification of Imperative Programs by Transforming Constraint Logic Programs
2013-01-01 DE ANGELIS, Emanuele; Fioravanti, Fabio; Alberto, Pettorossi; Maurizio, Proietti
Verification of Imperative Programs through Transformation of Constraint Logic Programs
2013-01-01 DE ANGELIS, Emanuele; Fioravanti, Fabio; Alberto, Pettorossi; Maurizio, Proietti
Verification of Programs by Combining Iterated Specialization with Interpolation
2014-01-01 DE ANGELIS, Emanuele; Fioravanti, Fabio; Jorge A., Navas; Maurizio, Proietti
Verification of time-aware business processes using constrained horn clauses
2017-01-01 De Angelis, Emanuele; Fioravanti, Fabio; Meo, Maria Chiara; Pettorossi, Alberto; Proietti, Maurizio
Verifying Array Programs by Transforming Verification Conditions
2014-01-01 DE ANGELIS, Emanuele; Fioravanti, Fabio; Alberto, Pettorossi; Maurizio, Proietti
Verifying Controllability of Time-Aware Business Processes
2017-01-01 De Angelis, Emanuele; Fioravanti, Fabio; Meo, Maria Chiara; Pettorossi, Alberto; Proietti, Maurizio
Verifying Programs via Iterated Specialization
2013-01-01 DE ANGELIS, Emanuele; Fioravanti, Fabio; Alberto, Pettorossi; Maurizio, Proietti
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Ventilated Illuminating Wall (VIW): Natural ventilation and daylight experimental analysis on a 1:1 prototype scale model | 2011 | Boccia, Oreste; Chella, Fabrizio; Zazzini, Paolo | |
Ventilated Illuminating Wall (VIW): Natural Ventilation numerical analysis and comparison with esperimental results | 2011 | Boccia, Oreste; Chella, Fabrizio; Zazzini, Paolo | |
Verifica sismica di una diga in terra: confronto tra analisi dinamiche complete e agli spostamenti | 2014 | Scasserra, G.; Pagliaroli, Alessandro; Lanzo, G. | |
Verification of Imperative Programs by Transforming Constraint Logic Programs | 2013 | DE ANGELIS, Emanuele; Fioravanti, Fabio; Alberto, Pettorossi; Maurizio, Proietti | |
Verification of Imperative Programs through Transformation of Constraint Logic Programs | 2013 | DE ANGELIS, Emanuele; Fioravanti, Fabio; Alberto, Pettorossi; Maurizio, Proietti | |
Verification of Programs by Combining Iterated Specialization with Interpolation | 2014 | DE ANGELIS, Emanuele; Fioravanti, Fabio; Jorge A., Navas; Maurizio, Proietti | |
Verification of time-aware business processes using constrained horn clauses | 2017 | De Angelis, Emanuele; Fioravanti, Fabio; Meo, Maria Chiara; Pettorossi, Alberto; Proietti, Maurizio | |
Verifying Array Programs by Transforming Verification Conditions | 2014 | DE ANGELIS, Emanuele; Fioravanti, Fabio; Alberto, Pettorossi; Maurizio, Proietti | |
Verifying Controllability of Time-Aware Business Processes | 2017 | De Angelis, Emanuele; Fioravanti, Fabio; Meo, Maria Chiara; Pettorossi, Alberto; Proietti, Maurizio | |
Verifying Programs via Iterated Specialization | 2013 | DE ANGELIS, Emanuele; Fioravanti, Fabio; Alberto, Pettorossi; Maurizio, Proietti |
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
- 4.1 Contributo in Atti di convegno 2370
- 1.1 Articolo in rivista 1
Data di pubblicazione
- 2018 230
- 2017 230
- 2016 189
- 2015 200
- 2014 268
- 2013 243
- 2012 305
- 2011 346
- 2010 359
Editore
- Springer Verlag 36
- Elsevier Ltd 29
- Springer 25
- Institute of Electrical and Elect... 17
- - 16
- Elsevier 15
- Pacini Editore 14
- Gangemi Editore 13
- ENEA 12
- All'Insegna del Giglio 11
Rivista
- PROCEDIA ENGINEERING 20
- PLANTA MEDICA 12
- LECTURE NOTES IN COMPUTER SCIENCE 7
- PLANUM 7
- RENDICONTI ONLINE DELLA SOCIETÀ G... 7
- PROCEEDINGS OF SPIE, THE INTERNAT... 5
- SPORT SCIENCES FOR HEALTH 5
- ACADEMY OF MANAGEMENT ANNUAL MEET... 3
- IFMBE PROCEEDINGS 3
- INTERNATIONAL ARCHIVES OF THE PHO... 3
Serie
- LECTURE NOTES IN ARTIFICIAL INTEL... 23
- LECTURE NOTES IN COMPUTER SCIENCE 14
- FABBRICA DELLA CONOSCENZA 11
- ADVANCES IN INTELLIGENT SYSTEMS A... 9
- UID PER IL DISEGNO 7
- COMMUNICATIONS IN COMPUTER AND IN... 5
- CEUR WORKSHOP PROCEEDINGS 4
- EPIC SERIES IN ENGINEERING 4
- EURODYN ... 4
- PUBLICATION SP 4
Keyword
- Rappresentazione 22
- Computer Science (all) 16
- Representation 15
- Abruzzo 14
- Sustainability 12
- Theoretical Computer Science 12
- Rilievo 11
- Electrical and Electronic Enginee... 10
- Disegno 9
- Architettura 8
Lingua
- eng 1325
- ita 672
- spa 51
- rus 12
- por 11
- fre 9
- ger 4
- ara 2
- alb 1
- cat 1
Accesso al fulltext
- no fulltext 1695
- reserved 464
- open 205
- partially open 6