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 2 di 2
Tipologia Anno Titolo Titolo inglese Autore File
Lauree magistrali 2024 Deep Learning Meets Formal Methods: A Certified Neural Network Synthesis Approach for Airborne Collision Avoidance Deep Learning Meets Formal Methods: A Certified Neural Network Synthesis Approach for Airborne Collision Avoidance MURARO, ENRICO
Lauree magistrali 2023 Modular Supervisory Control of Business Processes with Resource Constraints Modular Supervisory Control of Business Processes with Resource Constraints TANIOS, MELISSA
Mostrati risultati da 1 a 2 di 2
Legenda icone

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