Formal/methods-Spécification et Vérification formelles des systèmes
year
2025
semester_course
spring
Enseignement Technique
technical
Code
technical
Méthodes de calcul pour les Communications Numériques
Teacher
year
2025
semester_course
spring
Technologies d'accès sans fil
Teacher
year
2025
semester_course
spring
Systèmes numériques, intégration matériel - logiciel
Teacher
year
2025
semester_course
spring
Traitement de la parole et de l'audio
Teacher
year
2025
semester_course
spring
Cybercriminalité et Forensique Informatique
Teacher
year
2025
semester_course
spring
Aspects algorithmiques de l'apprentissage automatique
Teacher
year
2025
semester_course
spring
Techniques avancées d'inference statistique
Teacher
year
2025
semester_course
spring
