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.

 

 

For a detailed search
Visit Papyrus
Date Sort by date in ascending order Title Sort by title in ascending order
2000 Développement de cours pour un environnement distribué de formation à distance
1998 Développement de tests à partir d'une spécification formelle en SDL : le protocole de signalisation ATM/PNNI
1989 Développement de tests pour le protocole de signalisation du Réseau numérique à intégration de services
2011 Développement d’un algorithme de branch-and-price-and-cut pour le problème de conception de réseau avec coûts fixes et capacités
2022 Développement d’un serveur LSP pour Typer
2016 Développement d’un système d’appariement pour l’e-recrutement
2014 Développement et implémentation du jeu des vingt questions
2009 Développement logiciel par transformation de modèles
2000 Diagnostic des protocoles de communication fondé sur les automates à états finis étendus
2002 Diagnostic des systèmes temps réel modélisés par des automates à entrées sorties temporisées