Sfoglia per Relatore
Analisi della verifica di programmi C attraverso il software Frama-C
2022/2023 JANNON, STEFANO
Analisi della vulnerabilità di sistemi Web secondo la metodologia OWASP
2017/2018 MASTRANGELO, ANDREA
Blockchain: un presente futuristico
2020/2021 CAUTIERO, ANTONIO
Convergenza e divergenza in un linguaggio funzionale prototipale
2021/2022 PEROTTINO, ELISA LI
Costruzione di realizzatori interattivi da prove in PRA+EM1 ed estrazione in Isabelle/HOL
2009/2010 CAFF, SEBASTIANO CONCETTO MARCO
DATABASE GESTIONALE ONLINE MAGAZZINO CROCE ROSSA ITALIANA
2021/2022 MATTIELLO, LEONARDO
disinformazione sui social media e comunicazione strategica
2017/2018 CUSIMANO, FABRIZIO
Fondamenti di Teoria Omotopica dei Tipi
2021/2022 MALPEZZI, MICHELE
Formalizzazione di proprietà di programmi mediante un proof-assistant
2021/2022 DELMASTRO, ANDREA
Formalizzazioni del Teorema di Church-Rosser in Agda
2019/2020 LARETTO, ANDREA
Implementazione e Dimostrazione del Nucleo di VeriFast utilizzando Isabelle
2018/2019 PELA, JACOPO
Internet of Thing: la rete degli oggetti intelligenti
2019/2020 RUTIGLIANO, MICHELANGELO
L'Impatto dell'Intelligenza Artificiale: Prospettive, Criticità e Governance in un Mondo in Evoluzione
2023/2024 MATARAZZO, ANTONIO
Le nuove User Experience delle interfacce Mobile e Web di SAP: SAP UI5 e SAP FIORI
2016/2017 SELVAGGIO, MATTIA
Logica di separazione per la verifica di programmi in linguaggio C
2019/2020 MAZZILLI, MARIKA
L’ Internet Of Things sui campi di battaglia del futuro: una semplice innovazione o una nuova necessità?
2022/2023 RAVAIOLI, EDOARDO
Network-Centric Warfare
2021/2022 TACCETTI, SOFIA
ORGANIZZAZIONE DI DATI NON STRUTTURATI IN BASI DI DATI NOSQL
2019/2020 CORVAGLIA, SIMONE
Presentazione della logica intuizionista
2021/2022 CAROLI, FLAVIO
Programmazione e verifica. il proof-assistant Isabelle
2019/2020 DI PIETRO, MICHEL
Legenda icone
- file disponibili solo agli amministratori
- nessun file disponibile