Sfoglia per Relatore  

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 1 a 20 di 36
Tipologia Anno Titolo Titolo inglese Autore File
Lauree magistrali 2021 A correctness/incorrectness program logic on Kleene Algebra A correctness/incorrectness program logic on Kleene Algebra MILANESE, MARCO
Lauree magistrali 2023 Abstract Hoare logic Abstract Hoare logic FERRARINI, ALESSIO
Lauree triennali 2021 AlphaNotary: dApp per notarizzazione e monitoraggio di NFT tramite Blockchain Ethereum compatibili AlphaNotary: NFTs' Notarization And Monitoring DApp Through Ethereum Compatible Blockchains GAZI, ADNAN LATIF
Lauree magistrali 2023 Alternating finite automata through the lens of quasiorders: canonical representation and Angluin-style learning Alternating finite automata through the lens of quasiorders: canonical representation and Angluin-style learning SCANDALETTI, ELIA
Lauree triennali 2021 Analisi di dati per la profilazione degli utenti e promozione di attività commerciali Data analysis for user profiling and promotion of commercial activities MEGGIOLARO, AMEDEO
Lauree triennali 2020 Analisi e sviluppo di un'applicazione IOT per la gestione di logs Analysis and development of an IOT application for the management of logs BALZAN, MATTHEW
Lauree triennali 2021 Analisi, progettazione e sviluppo di un modulo per un software di e-commerce B2B Analysis, design and development of a module in a B2B e-commerce software DARDOURI, LEILA
Lauree triennali 2022 Analisi, progettazione e sviluppo di un sistema di reportistica di un order management system Analysis, design and development of a reporting system for an order management system VOLPATO, MARCO
Lauree triennali 2021 Analisi, riscrittura e ottimizzazione di un software di manipolazione di equazioni con Rust Analyzing, rewriting and optimizing an equation manipulation software with Rust STEVANATO, GIACOMO
Lauree triennali 2022 Clean Architecture applicata allo sviluppo di un'app per Smartwatch Applying Clean Architecture to the design of a Smartwatch app ZANGRANDO, ENRICO
Lauree magistrali 2020 Collecting operational abstract interpreters - Gallana, Enrico
Lauree triennali 2020 Elaborazione di questionari a risposta aperta tramite NLP Design of open-ended question surveys based on NLP ZANARDO, DAMIANO
Lauree triennali 2023 Excelgen: generazione automatica della reportistica nei più comuni formati documentali Excelgen: automatic report generation in most common document formats DESTRO, STEFANO
Lauree triennali 2021 Il machine learning a scopo predittivo: progettazione e sviluppo di un’applicazione web per la gestione di progetti aziendali Machine learning for predictive purposes: design and development of a web application for enterprise project management ZANELLATO, MATTIA
Lauree triennali 2022 Implementazione JWT per messa in sicurezza di un API tramite Spring Security Implementing JWT for the purpose of securing an API through the usage of Spring Security CASAROTTO, MATTIA
Lauree triennali 2023 Metodologie di valutazione delle vulnerabilità e gestione delle minacce informatiche Vulnerability assessment methodologies and cyber threat management DIOTTO, DAVIDE
Lauree triennali 2023 MoviEXPENSE 2: studio e aggiornamento di un'applicazione mobile per la registrazione di note spese moviEXPENSE 2: study and update of a mobile application for recording expense reports BANZATO, ALESSIO
Lauree triennali 2022 Progettazione e sviluppo di un'applicazione mobile Android con backend RESTful AWS Design and development of an Android mobile application with AWS RESTful backend RAVAGNAN, NICOLA
Lauree triennali 2021 Realizzazione di un'applicazione nativa Android in C++/Qt per la gestione di interventi di post vendita Design of a native Android application in C++/Qt for the management of post-sales interventions BARBARESCO, MARCO
Lauree magistrali 2021 Robustness Verification of k-Nearest Neighbor Classifiers by Abstract Interpretation Robustness Verification of k-Nearest Neighbor Classifiers by Abstract Interpretation FASSINA, NICOLÒ
Mostrati risultati da 1 a 20 di 36
Legenda icone

  •  file ad accesso aperto
  •  file ad accesso riservato
  •  file sotto embargo
  •  nessun file disponibile