Slides

Tutte le slide

• Verification of Neural Networks

  Pubblicato:5 lug 2024

  Verifica formale di reti neurali usando dlinear

• Pubblicare un package su Ubuntu PPA

  Pubblicato:18 feb 2024

  Guida per creare e pubblicare un Debian source package su PPA

• Reti di calcolatori - Esercizi

  Pubblicato:20 giu 2023

  Esercizi di teoria

• Ingegneria del Software - Esercizi

  Pubblicato:7 giu 2023

  Esercizi presi dai compiti in classe