IRIS

Sfoglia per Afferenza Dipartimento di Ingegneria Civile e Ingegneria informatica

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 4.920 a 4.939 di 5.018
Data di pubblicazione Titolo Autore(i) Tipo File
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-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-2017 Version control and change validation for RDF Datasets Fiorelli, M; Pazienza, Mt; Stellato, A; Turbati, A Contributo in libro
1-gen-2018 Verso una codifica grafica per la caratterizzazione del rilievo archeologico finalizzato alla conservazione Eramo, E Contributo in libro
1-gen-2005 Very low background scintillators in DAMA project: results and perspectives Bernabei, R; Belli, P; Cappella, F; Montecchia, F; Nozzoli, F; Incicchitti, A; Prosperi, D; Cerulli, R; Dai, Cj; Kuang, Hh; Ma, Jm; Ye, Zp Contributo in libro
1-apr-2008 Vestibular nuclei and cerebellum put visual gravitational motion in context Miller, W; Maffei, V; Bosco, G; Iosa, M; Zago, M; Macaluso, E; Lacquaniti, F Articolo su rivista
1-gen-2020 A Videogame Driven by the Mind: Are Motor Acts Necessary to Play? Bianchi, L Intervento a convegno
1-gen-1999 Viewer-centered and body-centered frames of reference in direct visuomotor transformations Carrozzo, M; Mcintyre, J; Zago, M; Lacquaniti, F Articolo su rivista
1-dic-2022 Villa Adriana dopo il 1870: documenti e disegni nell'archivio della Direzione Generale delle Antichità e Belle Arti Eramo, E Intervento a convegno
1-gen-2021 Villa Adriana prima di Adriano Cinque, Ge Contributo in libro
1-gen-2006 Villa Adriana RiVa project—preliminary results of a study dedicated to an unveiling and restoring of new areas of the complex. Cinque, Ge Articolo su rivista
1-dic-2006 Villa Adriana. La pianta del centenario 1906-2006 Adembri, B; Cinque, Ge Curatele
1-gen-2018 Villa Adriana: passeggiate iconografiche Cinque, G; Marconi, N Curatele
28-dic-2020 Villa Adriana: uno sguardo a volo d'uccello Cinque, Ge Contributo in libro
1-gen-2014 Virtual academic teaching for next generation engineers Fortuna, F; Bella, G; Barbuto, M; Conti, R; Cozzolino, R; Di Francesco, S; Donno, A; Duraccio, V; Giannini, O; Montesarchio, V; Monti, A; Tribioli, L; Trovalusci, F Intervento a convegno
1-gen-2022 The Virtual Element Method in Nonlinear and Fracture Solid Mechanics Artioli, E; Marfia, S; Sacco, E Contributo in libro
Mostrati risultati da 4.920 a 4.939 di 5.018
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