Biblioteche e Archivi
POLITesi - Archivio digitale delle tesi di laurea e di dottorato

Sfoglia per Correlatore BERSANI, MARCELLO MARIA

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 4 di 4
Fulltext Data Tipo Titolo Autore (i)
2018-07-17 Tesi di Dottorato Formal verification of timed properties for data-intensive applications MARCONI, FRANCESCO
2020-07-24 Tesi di laurea Magistrale Improving the code generation mechanism for the PuRSUE framework BONETTI, VALENTINA
2020-10-02 Tesi di laurea Magistrale Model checking through inductive partitioning of the state space FRANZINI, FRANCESCO
2023-12-19 Tesi di laurea Magistrale Towards the improvement of learning mechanisms for machine energy consumption models GUGGIARI, SOFIA
Mostrati risultati da 1 a 4 di 4
Legenda icone accesso al fulltext

  • File accessibili da tutti
  • File accessibili dagli utenti autorizzati
  • File accessibili da tutti o solo dagli utenti autorizzati, a partire dalla la data indicata nella scheda
  • File non accessibili