Sfoglia per Relatore
Mostrati risultati da 1 a 7 di 7
Introduzione di O-grande in Isabelle
2019/2020 SCIANDRA, LORENZO
L'algoritmo di Simon: Analisi e Implementazione
2021/2022 TOSIN, NICOLÒ
Problemi di complessità ammortizzata verificati con Isabelle
2018/2019 FRANCO, ANTONIO
Sicurezza e privacy nelle WBAN per applicazioni mediche
2019/2020 SCIORTINO, GIANMARCO
Simulazione di Algoritmi Quantistici usando lo strumento Q#
2021/2022 BIASIOTTO, DANIEL
Simulazione di circuiti costruiti tramite Gates Reversibili
2021/2022 MALA, ALESSANDRO
Test di Primalità
2021/2022 CACIOLI, ANDREA
| collection | Anno | Titolo | Autore | file(s) |
|---|---|---|---|---|
| Corso di Laurea | 2019/2020 | Introduzione di O-grande in Isabelle | SCIANDRA, LORENZO | |
| Corso di Laurea | 2021/2022 | L'algoritmo di Simon: Analisi e Implementazione | TOSIN, NICOLÒ | |
| Corso di Laurea | 2018/2019 | Problemi di complessità ammortizzata verificati con Isabelle | FRANCO, ANTONIO | |
| Corso di Laurea | 2019/2020 | Sicurezza e privacy nelle WBAN per applicazioni mediche | SCIORTINO, GIANMARCO | |
| Corso di Laurea | 2021/2022 | Simulazione di Algoritmi Quantistici usando lo strumento Q# | BIASIOTTO, DANIEL | |
| Corso di Laurea | 2021/2022 | Simulazione di circuiti costruiti tramite Gates Reversibili | MALA, ALESSANDRO | |
| Corso di Laurea | 2021/2022 | Test di Primalità | CACIOLI, ANDREA |
Mostrati risultati da 1 a 7 di 7
Legenda icone
- file disponibili solo agli amministratori
- nessun file disponibile