IRIS Institutional Research Information System

Sfoglia per Titolo

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 15.092 a 15.111 di 19.185
Titolo Data di pubblicazione Autore(i) File
Safety Assessment of AltaRica Models via Symbolic Model Checking 1-gen-2015 Bozzano, Marco; Cimatti, Alessandro; Oleg, Lisagor; Mattarei, Cristian; Mover, Sergio; Roveri, Marco; Tonetta, Stefano
Safety Critical Systems 1-gen-2013 Bozzano, Marco; Villafiorita Monteleone, Adolfo
Safety, Dependability and Performance Analysis of Extended AADL Models 1-gen-2011 Bozzano, Marco; Cimatti, Alessandro; Joost Pieter, Katoen; Viet Yen, Nguyen; Thomas, Noll; Roveri, Marco
Safety-Related Cooperative, Connected, and Automated Mobility Services: Interplay Between Functional and Security Requirements 1-gen-2021 Centenaro, Marco; Berlato, Stefano; Carbone, Roberto; Burzio, Gianfranco; Faranda Cordella, Giuseppe; Riggio, Roberto; Ranise, Silvio
La saggia inquietudine: Il corpo nell'ebraismo, nel cristianesimo e nell'islam 1-gen-2011 Knauss, Stefanie
Saggio sull'autorità 1-gen-2012 Biancu, Stefano
Il saggio tedesco del Novecento 1-gen-2009 M., Bonifazio; D., Nelva; Sisto, Michele
Sakraler Rausch, profaner Rausch. Trunkenheit in der Alten und Neuen Welt 1-gen-2021 Ferlan, Claudio
Salario e stratificazione 1-gen-1988 Schizzerotto, Antonio
SALSA: A Multimodal Dataset for the Automated Analysis of Free-Standing Social Interactions 1-gen-2017 Alameda-Pineda, Xavier; Subramanian, Ramanathan; Ricci, Elisa; Lanz, Oswald; Sebe, Nicu
SALSA: A Novel Dataset for Multimodal Group Behaviour Analysis 1-gen-2016 Alameda Pineda, Xavier; Staiano, Jacopo; Subramanian, Ramanathan; Batrinca, Ligia Maria; Ricci, Elisa; Lepri, Bruno; Lanz, Oswald; Sebe, Nicu
Salute, benessere e corporeità: il contributo delle religioni e della spiritualità 1-gen-2021 Galvagni, Lucia
La salute: ma cos’è? 1-gen-2005 Galvagni, Lucia
Salvezza Cristiana e via pulchritudinis 1-gen-2013 Biancu, Stefano
SAM: The Static Analysis Module of the MAVERIC Mobile App Security Verification Platform 1-gen-2015 Armando, Alessandro; Bocci, Gianluca; Chiarelli, Giantonio; Costa, Gabriele; De Maglie, Gabriele; Mammoliti, Rocco; Merlo, Alessio
The SAMBA Approach to Community-Based Interactive Digital Television 1-gen-2007 Mayora-Ibarra, O.; Costa, C.
SAMo: experimenting a social accountability web platform 1-gen-2013 Ciaghi, Aaron; Eshete, Birhanu Mekuria; Molini, Pietro Benedetto; Villafiorita Monteleone, Adolfo
Sample holder implement for very small samples on SC-Ultra SIMS instrument 1-gen-2004 Barozzi, Mario; Giubertoni, Damiano; M., Sbetti; Anderle, Mariano; Bersani, Massimo
Sample topography developed by sputtering in a Cameca instruments: an AFM and SEM study 1-gen-2002 Iacob, Erica; Bersani, Massimo; Lui, Alberto; Vanzetti, Lia Emanuela; Giubertoni, Damiano; Barozzi, Mario; Anderle, Mariano
Sample topography developed by sputtering in Cameca instruments 1-gen-2002 Iacob, Erica; Bersani, Massimo; Alberto, Lui; Vanzetti, Lia Emanuela; Giubertoni, Damiano; Barozzi, Mario; Anderle, Mariano
Mostrati risultati da 15.092 a 15.111 di 19.185
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