Sfoglia per Titolo
Nuo apaštalų iki kankinių. Jėzaus draugijos reprezentavimo modeliai nuo pat pradžių iki uždraudimo
2016-01-01 M., Bonda; Catto, Michela
Una nuova fonte iconografica sulla morte del vescovo Adelpreto?
2005-01-01 Curzel, Emanuele
La nuova Germania tra Est e Ovest
2004-01-01 Trocini, Federico
Nuova Germania, antichi timori. Stati Uniti, Ostpolitik e sicurezza europea
2013-01-01 Bernardini, Giovanni
La nuova offensiva diplomatica cinese in materia di sicurezza
2012-01-01 Castelli, Emanuele
La «nuova» questione tedesca
2013-01-01 D'Ottavio, Gabriele
Nuove forme di leadership e costruzione del consenso nell’Europa post 1945
2011-01-01 Pombeni, Paolo
Nuove prospettive sul terrorismo europeo degli anni Settanta e Ottanta
2010-01-01 Cau, Maurizio
Nuovi approcci alla storia d’Europa
2019-01-01 D'Ottavio, G.; Rospocher, M.
Nuovi approcci alla storia d’Europa: dall’età moderna al XX secolo
2019-01-01 D'Ottavio, G.; Rospocher, M.
Nuovi Corsi Storici. L' Iran del dopo sanzioni
2016-01-01 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.
2017-01-01 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
2017-01-01 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.
2010-01-01 Hejazi, S.
I nuovi programmi della scuola primaria: non basta cambiare i programmi
1980-01-01 Schizzerotto, Antonio
Il nuovo esperanto si chiama interlingua
2000-01-01 Lazzari, Giannino
Un nuovo ordine fra Stato e società. Recenti ricerche sul corporativismo
2010-01-01 Cau, Maurizio
NuRV: a nuXmv Extension for Runtime Verification
2019-01-01 Cimatti, Alessandro; Tian, Chun; Tonetta, Stefano
NuSMV
2002-01-01 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
2002-01-01 Cimatti, Alessandro; E. M., Clarke; Enrico, Giunchiglia; Fausto, Giunchiglia; Pistore, Marco; Roveri, Marco; Roberto, Sebastiani; A., Tacchella
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