TOCCATA - 2023 Inria teams activity reports
Concurrency and Directed Algebraic Topology - LIX
Concevoir, rédiger et corriger un sujet d'informatique
Rapport de l'épreuve orale d'informatique fondamentale - ENS
TP - Preuve de programmes avec Why3
Final Exam Compilation and Program Analysis ... - Laure Gonnord
Outils logiques et algorithmiques - CNRS
TD 2 - Spécification des opérations
complexité amortie
spécialité Numérique et sciences informatiques
Algorithme des k-plus proches voisins
spécialité Numérique et sciences informatiques - NSI Terminale
Rapport d'Activités - IRIF