IRIS

Sfoglia per Tipologia Intervento a convegno

Opzioni
Vai a: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Mostrati risultati da 11.760 a 11.779 di 12.039
Data di pubblicazione Titolo Autore(i) Tipo File
1-gen-2009 Velocity flow field characterization inside stardust experimental facility: comparison between experimental campaign and numerical simulation results Bellecci, C; Gaudio, P; Lupelli, I; Malizia, A; Porfiri, M; Quaranta, R; Richetta, M Intervento a convegno
1-gen-2005 Velocity fluctuations in coronal loops as flare drivers Nigro, G; Malara, F; Veltri, P Intervento a convegno
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
Mostrati risultati da 11.760 a 11.779 di 12.039
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