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.821 a 11.840 di 12.096
Data di pubblicazione Titolo Autore(i) Tipo File
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
1-gen-2004 Vertebroplasty and kyphoplasty in the treatment of malignant vertebral fractures Masala, S; Lunardi, P; Fiori, R; Liccardo, G; Massari, F; Ursone, A; Simonetti, Gme Intervento a convegno
1-gen-2009 Vertex identification of events in photonuclear reactions by cylindrical multiwire proportional chambers Mandaglio, G; Manganaro, M; Giardina, G; Bellini, V; Giusa, A; Mammoliti, F; Randieri, C; Russo, G; Sperduto, M; Sutera, C; Casano, L; D'Angelo, A; Di Salvo, R; Fantini, A; Franco, D; Moricciani, D; Schaerf, C; Vegna, V; Sandri, P; Girolami, B; Ghio, F; Gervino, G; Bocquet, J; Lleres, A; Rebreyend, D; Renard, F; Ignatov, A; Lapik, A; Mushkarenkov, A; Nedorezov, V; Rudnev, N; Turinge, A Intervento a convegno
1-gen-1999 Vertex Partitioning of Crown-Free Interval Graphs Confessore, G; Dell'Olmo, P; Giordani, S Intervento a convegno
29-nov-2014 La vertigine in pronto soccorso: quale approccio? Alessandrini, M; Diomedi, M Intervento a convegno
1-mag-2000 Very high efficiency power amplifiers: the harmonic manipulation approach Colantonio, P; Giannini, F; Leuzzi, G; Limiti, E Intervento a convegno
Mostrati risultati da 11.821 a 11.840 di 12.096
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