Passer au contenu

/ Département d'informatique et de recherche opérationnelle

Je donne

Rechercher

Thèses et mémoires

Des thèses et mémoires de nos étudiants sont conservés et consultables dans Papyrus, le dépôt institutionnel de l'Université de Montréal.

 

 

Pour une recherche détaillée
 Visiter Papyrus
Date Trier par date en ordre décroissant Titre Trier par titre en ordre décroissant
2007 Reconstruction active et passive en vision par ordinateur
1990 Transformations de programmes logiques : Bases sémantiques et applications
1999 Informatique quantique : algorithmes et complexité de la communication
1995 Évaluation de fonctions sur données privées
1996 Formal method for the design of real-time communicating subsystems and controllers
2009 Eyes Of Darwin : une fenêtre ouverte sur l'évolution du logiciel
2025 Neural architectures for compositional generalisation
2018 Latent variable language models
1997 On conformance testing of systems communicating by Rendezvous
2024 Quotient Types in Typer
Nombre de résultats : 1659