| QUANTUM COMPUTING (10620565 ↗) | 1º - 1º | ENG | Computer Science - Informatica (33508) | Curriculum unico |
| QUANTUM COMPUTING (10620565 ↗) | 1º - 1º | ENG | Computer Science - Informatica (33508) | Curriculum unico |
| FORMAL METHODS FOR AI-BASED SYSTEMS ENGINEERING (10607006 ↗) | 1º - 2º | ENG | Computer Science - Informatica (33508) | Curriculum unico |
| FORMAL METHODS FOR AI-BASED SYSTEMS ENGINEERING (10607006 ↗) | 1º - 2º | ENG | Computer Science - Informatica (33508) | Curriculum unico |
| SISTEMI OPERATIVI - II MODULO (1020422 ↗) | 2º - 2º | ITA | Informatica (33503) | Metodologico |
| FORMAL METHODS FOR AI-BASED SYSTEMS ENGINEERING (10607006 ↗) | 2º - 2º | ENG | Computer Science - Informatica (33508) | Curriculum unico |
| FORMAL METHODS FOR AI-BASED SYSTEMS ENGINEERING (10607006 ↗) | 2º - 2º | ENG | Computer Science - Informatica (33508) | Curriculum unico |
| SISTEMI OPERATIVI - II MODULO (1020422 ↗) | 2º - 2º | ITA | Informatica (33503) | Tecnologico |
