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 3.657 a 3.676 di 4.988
Data di pubblicazione Titolo Autore(i) Tipo File
1-gen-2012 Il progetto architettonico della riqualificazione: qualità materiale dell'architettura e prerogative del sistema urbano Ramazzotti, L Contributo in libro
1-gen-2006 Il progetto della città dello sport di Santiago Calatrava a Roma Mornati, S Articolo su rivista
1-gen-2007 Il progetto della città dello sport di Santiago Calatrava a Roma: la posa della prima pietra Mornati, S Articolo su rivista
1-set-2004 Il progetto di architettura come strumento di conoscenza e di trasformazione della città: le aree progetto Falzetti, A Contributo in libro
1-gen-2012 Progetto e didattica Ramazzotti, L Intervento a convegno
1-gen-2009 Progetto e infrastruttura: le trasformazioni dell’interfaccia città – porto – canale di Senigallia Falzetti, A Articolo su rivista
1-gen-2007 Il progetto e la costruzione Iori, T Contributo in libro
1-gen-2010 Program specialization for verifying infinite state systems: an experimental evaluation Fioravanti, F; Pettorossi, A; Proietti, M; Senni, V Intervento a convegno
1-gen-2011 Program transformation for development, verification, and synthesis of programs Fioravanti, F; Pettorossi, A; Proietti, M; Senni, V Articolo su rivista
1-lug-2013 Program transformation for program verification Pettorossi, A; Proietti, M Intervento a convegno
1-gen-2005 Program transformation: Theoretical foundations and basic techniques. Part 1 Pettorossi, A; Proietti, M Articolo su rivista
1-gen-2006 Program transformation: theoretical foundations and basic techniques. Part 2 Pettorossi, A; Proietti, M Articolo su rivista
1-gen-2014 Program verification via iterated specialization De Angelis, E; Fioravanti, F; Pettorossi, A; Proietti, M Articolo su rivista
1-ago-2014 Programmability and Performance of Parallel ECS-Based Simulation of Multi-agent Exploration Models Pellegrini, A; Quaglia, F Intervento a convegno
1-dic-2016 Programming Agent-based Demographic Models With Cross-state and Message-exchange Dependencies: a Study With Speculative Pdes and Automatic Load-sharing Pellegrini, A; Montañola-Sales, C; Quaglia, F; Casanovas-Garcia, J Intervento a convegno
1-gen-2024 Programming quadric metasurfaces via infinitesimal origami maps of monohedral hexagonal tessellations: Part I dos Santos, Fa; Favata, A; Micheletti, A; Paroni, R; Picchi Scardaoni, M Articolo su rivista
1-gen-2024 Programming quadric metasurfaces via infinitesimal origami maps of monohedral hexagonal tessellations: Part II dos Santos, Fa; Favata, A; Micheletti, A; Paroni, R; Picchi Scardaoni, M Articolo su rivista
1-gen-2010 Progress in the migration towards the real time framework MARTe at FTU Boncagni, L; Pompei, M; Sinibaldi, S; Vitelli, R; Zaccarian, L; Vitale, V Intervento a convegno
1-gen-2011 Progress in the migration towards the real-time framework MARTe at the FTU tokamak Boncagni, L; Sadeghi, Y; Vitelli, R; Centioli, C; Sinibaldi, S; Vitale, V; Zaccarian, L; Zamborlini, G Articolo su rivista
1-gen-2017 Progressive damage in composite bolted joints via a computational micromechanical approach Nerilli, F; Vairo, G Articolo su rivista
Mostrati risultati da 3.657 a 3.676 di 4.988
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