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 17.244 a 17.263 di 21.966
Titolo Data di pubblicazione Autore(i) File
S. Bono, Schiavi.Una storia mediterranea (XVI-XIX secolo) 1-gen-2018 Morelli, Federica
S. Cavazza (a cura di), "Consumi e politica nell'Italia repubblicana" 1-gen-2014 Bernardini, Giovanni
S. Jüngerkes, "Diplomaten der Wirtschaft. Die Geschichte des Ost-Ausschusses der Deutschen Wirtschaft" 1-gen-2013 Bernardini, Giovanni
S. Paoli, “Il sogno di Erasmo. La questione educativa nel processo di integrazione europea”, Milano: Franco Angeli, 2010 1-gen-2011 Bernardini, Giovanni
S.A.F.I.: Un sistema per l`accesso flessibile all`informazione 1-gen-1996 Mameli, Gianluca
S.M.A.R.T. sustainable development planning: un approccio Open-Gov per coordinare politiche e strumenti orientati alla mobilità sostenibile nei territori a bassa densità 1-gen-2018 Congiu, Tanja; Napolitano, Maurizio; Plaisant, Alessandro
Sacralità e vita: gli scenari incerti della bioetica 1-gen-2008 Galvagni, L.
Sacrificio, riso ed eroismo. I canti della Grande Guerra come testo mitopoietico 1-gen-2016 Mondini, Marco
SAFARI: SMT-Based Abstraction for Arrays with Interpolants 1-gen-2012 F., Alberti; R., Bruttomesso; S., Ghilardi; Ranise, Silvio; N., Sharygina
Safe Decomposition of Startup Requirements: Verification and Synthesis 1-gen-2020 Cimatti, Alessandro; Geatti, Luca; Griggio, Alberto; Kimberly, Greg; Tonetta, Stefano
Safe LTL Assumption-Based Planning 1-gen-2006 Albore, Alexandre; Bertoli, Piergiorgio
Safely Using the AUTOSAR End-to-End Protection Library 1-gen-2015 Arts, Thomas; Tonetta, Stefano
Safety and efficacy assessment of decontamination and cleaning protocols for blood contacting medical devices 1-gen-2005 Tessarolo, Francesco; Caola, I.; Fedel, Mariangela; Nollo, Giandomenico; Caciagli, P.; Guarrera, G. M.
Safety and Liveness on Finite Words 1-gen-2025 Geatti, Luca; Pessotto, Stefano; Tonetta, Stefano
SAFETY AND SECURITY MONITORING SYSTEM FOR UNDER-WATER PIPE LINE 1-gen-2011 Guarnieri, Vittorio; Alexey, Vasiliev1; Vladimir, Filippov; Wojciech, Kujawski; Lorenzelli, Leandro
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 benefit of cooperative control for heterogeneous traffic on-ramp merging 1-gen-2022 Jing, X.; Pei, X.; Yan, S.; Han, C.; Selpi, S.; Andreotti, E.; Ding, J.
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-centred analysis of transition stages to traffic with fully autonomous vehicles 1-gen-2020 Andreotti, Eleonora; Boyraz, Pinar; Selpi, Null
Mostrati risultati da 17.244 a 17.263 di 21.966
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