Effective and flexible SMT-streamlined software model checking
Approximate Bayesian inference based on dense matrices using INLA
Bachelor Info Day, un'occasione per conoscere l'USI
XXVII Dies academicus
Decanato della Facoltà di scienze informatiche
+41 58 666 4690 [email protected]