Sfoglia per Tipologia Intervento a convegno
Venanzio da Fabriano e la costruzione della memoria agiografica di Giacomo della Marca: una questione preliminare
2009-01-01 Bartolomei Romagnoli, A; Bartolacci, F; Serpico, F; Galamb, G; Damian, I; Montesano, M; Solvi, D; Paoli, E; Leonardi, C
Vendor-affected, WLAN experimental results: a Pandora's box?
2008-01-01 Bianchi, G; Giustiniano, D; Scalia, L; Tinnirello, I
Ventricular interdependence as a modulator of Heart Haemodynamics
2006-01-01 Guerrisi, Mg; Vannucci, I; Toschi, N
Verb classification using distributional similarity in syntactic and semantic structures
2012-07-01 Croce, D; Moschitti, A; Basili, R; Palmer, M
Verifica prestazionale di un impianto di incenerimento con recupero di energia
2004-01-01 Fiore, A; Lombardi, F; Rubrichi, G
Verification of imperative programs through transformation of constraint logic programs
2013-01-01 De Angelis, E; Fioravanti, F; Pettorossi, A; Proietti, M
Verification of time-aware business processes using constrained Horn clauses
2017-01-01 De Angelis, E; Fioravanti, F; Meo, M; Pettorossi, A; Proietti, M
Verifying Array Programs by Transforming Verification Conditions
2014-01-01 De Angelis, E; Fioravanti, F; Pettorossi, A; Proietti, M
Verifying controllability of time-aware business processes
2017-01-01 De Angelis, E; Fioravanti, F; Meo, M; Pettorossi, A; Proietti, M
Verifying extended criteria for the interoperability of security devices
2008-01-01 Talamo, M; Arcieri, F; Della Penna, G; Dimitri, A; Intrigila, B; Magazzeni, D
Verifying programs via iterated specialization
2013-01-01 De Angelis, E; Fioravanti, F; Pettorossi, A; Proietti, M
VeriMAP: A tool for Verifying Programs through Transformation.
2014-01-01 De Angelis, E; Fioravanti, F; Pettorossi, A; Proietti, M
Versatile application of RFID technology to commercial and laboratory research contexts: fresh fish supply-chain and behavioural tests
2011-01-01 Costa, C; Aguzzi, J; Menesatti, P; Mànuel, A; Boglione, C; Sarriá, D; García, J; Sardà, F; del Río, J; Antonucci, F; Sbragaglia, V; Rampacci, M; D’Ambra, R; Cataudella, S
Versatile hydrogel and biosensor as a powerful tool in paper artworks cleaning process
2015-01-01 Micheli, L; Mazzuca, C; Moscone, D; Palleschi, A; Palleschi, G
Verso centrali ad emissioni zero: tecnologie ed esperienze
2009-01-01 Gambini, M; Vellini, M
Verso il monitoraggio degli experience styles in processi di formazione complessa
2010-01-01 Spadavecchia, C; Camusi, A; Giovannella, C
Verso la città dei Taureani: Taurianum prima e dopo Annibale
2009-01-01 Fabbri, M
Verso la realizzazione di virtual "Learning Place": LIFE
2008-01-01 Giovannella, C; Camusi, A; Cicola, F; Barile, A; Baraniello, V
Verso un nuovo welfare: la fiscalizzazione degli oneri sociali e l'introduzione del salario minimo garantito
2012-01-01 Prosperetti, G
Verso una New Health Governance: l’innovazione strategica e gestionale nei documenti di pianificazione nazionale
2012-11-01 Palumbo, R
Data di pubblicazione | Titolo | Autore(i) | Tipo | File |
---|---|---|---|---|
1-gen-2009 | Venanzio da Fabriano e la costruzione della memoria agiografica di Giacomo della Marca: una questione preliminare | Bartolomei Romagnoli, A; Bartolacci, F; Serpico, F; Galamb, G; Damian, I; Montesano, M; Solvi, D; Paoli, E; Leonardi, C | Intervento a convegno | |
1-gen-2008 | Vendor-affected, WLAN experimental results: a Pandora's box? | Bianchi, G; Giustiniano, D; Scalia, L; Tinnirello, I | Intervento a convegno | |
1-gen-2006 | Ventricular interdependence as a modulator of Heart Haemodynamics | Guerrisi, Mg; Vannucci, I; Toschi, N | Intervento a convegno | |
1-lug-2012 | Verb classification using distributional similarity in syntactic and semantic structures | Croce, D; Moschitti, A; Basili, R; Palmer, M | Intervento a convegno | |
1-gen-2004 | Verifica prestazionale di un impianto di incenerimento con recupero di energia | Fiore, A; Lombardi, F; Rubrichi, G | Intervento a convegno | |
1-gen-2013 | Verification of imperative programs through transformation of constraint logic programs | De Angelis, E; Fioravanti, F; Pettorossi, A; Proietti, M | Intervento a convegno | |
1-gen-2017 | Verification of time-aware business processes using constrained Horn clauses | De Angelis, E; Fioravanti, F; Meo, M; Pettorossi, A; Proietti, M | Intervento a convegno | |
1-gen-2014 | Verifying Array Programs by Transforming Verification Conditions | De Angelis, E; Fioravanti, F; Pettorossi, A; Proietti, M | Intervento a convegno | |
1-gen-2017 | Verifying controllability of time-aware business processes | De Angelis, E; Fioravanti, F; Meo, M; Pettorossi, A; Proietti, M | Intervento a convegno | |
1-gen-2008 | Verifying extended criteria for the interoperability of security devices | Talamo, M; Arcieri, F; Della Penna, G; Dimitri, A; Intrigila, B; Magazzeni, D | Intervento a convegno | |
1-gen-2013 | Verifying programs via iterated specialization | De Angelis, E; Fioravanti, F; Pettorossi, A; Proietti, M | Intervento a convegno | |
1-gen-2014 | VeriMAP: A tool for Verifying Programs through Transformation. | De Angelis, E; Fioravanti, F; Pettorossi, A; Proietti, M | Intervento a convegno | |
1-gen-2011 | Versatile application of RFID technology to commercial and laboratory research contexts: fresh fish supply-chain and behavioural tests | Costa, C; Aguzzi, J; Menesatti, P; Mànuel, A; Boglione, C; Sarriá, D; García, J; Sardà, F; del Río, J; Antonucci, F; Sbragaglia, V; Rampacci, M; D’Ambra, R; Cataudella, S | Intervento a convegno | |
1-gen-2015 | Versatile hydrogel and biosensor as a powerful tool in paper artworks cleaning process | Micheli, L; Mazzuca, C; Moscone, D; Palleschi, A; Palleschi, G | Intervento a convegno | |
1-gen-2009 | Verso centrali ad emissioni zero: tecnologie ed esperienze | Gambini, M; Vellini, M | Intervento a convegno | |
1-gen-2010 | Verso il monitoraggio degli experience styles in processi di formazione complessa | Spadavecchia, C; Camusi, A; Giovannella, C | Intervento a convegno | |
1-gen-2009 | Verso la città dei Taureani: Taurianum prima e dopo Annibale | Fabbri, M | Intervento a convegno | |
1-gen-2008 | Verso la realizzazione di virtual "Learning Place": LIFE | Giovannella, C; Camusi, A; Cicola, F; Barile, A; Baraniello, V | Intervento a convegno | |
1-gen-2012 | Verso un nuovo welfare: la fiscalizzazione degli oneri sociali e l'introduzione del salario minimo garantito | Prosperetti, G | Intervento a convegno | |
1-nov-2012 | Verso una New Health Governance: l’innovazione strategica e gestionale nei documenti di pianificazione nazionale | Palumbo, R | Intervento a convegno |
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