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 12.194 a 12.213 di 19.176
Titolo Data di pubblicazione Autore(i) File
Nuove prospettive sul terrorismo europeo degli anni Settanta e Ottanta 1-gen-2010 Cau, Maurizio
Nuovi approcci alla storia d’Europa 1-gen-2019 D'Ottavio, G.; Rospocher, M.
Nuovi approcci alla storia d’Europa: dall’età moderna al XX secolo 1-gen-2019 D'Ottavio, G.; Rospocher, M.
Nuovi Corsi Storici. L' Iran del dopo sanzioni 1-gen-2016 Hejazi, S.
Nuovi paradigmi per la valutazione di sicurezza e efficacia di dispositivi medici basati su tecnologie ICT: lo studio multicentrico UNCAP-IT per le tecnologie assistive dell’anziano con deficit cognitivo. 1-gen-2017 Tessarolo, F; Morganti, E; Anzivino, S; Cecchetto, S; Guandalini, Gm; Rigoni, M; Roncato, F; Conti, G; Nollo, G.
Nuovi paradigmi per la valutazione di sicurezza ed eficacia di dispositivi medici basati su tecnologie ICT: lo studio multicentrico UNCAP-IT per le tecnologie assistive dell'anziano con deficit cognitivo 1-gen-2017 Tessarolo, F; Morganti, E; Anzivino, S; Cecchetto, S; Guandalini, Gm; Rigoni, M; Roncato, F; Conti, G; Nollo, G
Nuovi poveri, vecchie miserie. Torino, le fabbriche e il lavoro. 1-gen-2010 Hejazi, S.
I nuovi programmi della scuola primaria: non basta cambiare i programmi 1-gen-1980 Schizzerotto, Antonio
Il nuovo esperanto si chiama interlingua 1-gen-2000 Lazzari, Giannino
Un nuovo ordine fra Stato e società. Recenti ricerche sul corporativismo 1-gen-2010 Cau, Maurizio
NuRV: a nuXmv Extension for Runtime Verification 1-gen-2019 Cimatti, Alessandro; Tian, Chun; Tonetta, Stefano
NuSMV 1-gen-2002 Roveri, Marco; Cimatti, Alessandro; Cavada, Roberto; Tchaltsev, Andrei; Micheli, Andrea; Mariotti, Alessandro; Mover, Sergio; Marco, Pensallorto; Armando, Tacchella; Daniel, Sheridan; Gavin, Keighren; Tommi, Junttila; Timo, Latvala
NuSMV 2: An OpenSource Tool for Symbolic model Checking 1-gen-2002 Cimatti, Alessandro; E. M., Clarke; Enrico, Giunchiglia; Fausto, Giunchiglia; Pistore, Marco; Roveri, Marco; Roberto, Sebastiani; A., Tacchella
NuSMV Version 2: BDD-based + SAT-based Symbolic Model Checking 1-gen-2001 Cimatti, Alessandro; E., Giunchiglia; Pistore, Marco; Roveri, Marco; Sebastiani, Roberto; A., Tacchella
NuSMV: A Reimplementation of SMV 1-gen-1998 Cimatti, Alessandro; E. M., Clarke; Giunchiglia, Fausto; Roveri, Marco
NuSMV: a new symbolic model checker 1-gen-2000 Cimatti, Alessandro; E. M., Clarke; Giunchiglia, Fausto; Roveri, Marco
NuSMV: a New Symbolic Model Verifier 1-gen-1999 Cimatti, Alessandro; E. M., Clarke; Fausto, Giunchiglia; Roveri, Marco
Nutrire l'Anima. Religioni in cucina 1-gen-2015 Giorda, M.; Hejazi, S.
NUV and VUV sensitive Silicon Photomultipliers technologies optimized for operation at cryogenic temperatures 1-gen-2023 Acerbi, Fabio; Paternoster, Giovanni; Merzi, Stefano; Zorzi, Nicola; Gola, Alberto
NUV Silicon Photomultipliers With High Detection Efficiency and Reduced Delayed Correlated-Noise 1-gen-2015 Acerbi, Fabio; Ferri, Alessandro; G., Zappalà; Paternoster, Giovanni; Picciotto, Antonino; Gola, Alberto Giacomo; Zorzi, Nicola; Piemonte, Claudio
Mostrati risultati da 12.194 a 12.213 di 19.176
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