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 descending order Title Sort by title in descending order
1996 Étude et réalisation d'un système conseiller
1996 Contributions à l'étude du non-déterminisme restreint
1996 Décomposition semi-automatique de diagramme de flot des données (DFD)
1996 Un détermineur permettant la réexécution d'un langage de programmation parallèle de type acteur
1996 Automatisation de plans de chargement en transport aérien commercial
1996 Formal method for the design of real-time communicating subsystems and controllers
1996 Environnement auteur exploitant les bases de connaissances dans un système tutoriel intelligent
1996 Multiway decision graphs and their applications in automatic formal verification of RTL designs
1996 Application d'une méthode exacte pour la génération d'horaire en soins infirmiers
1996 Un outil pour la spécification de matériel et la génération de modèles exécutables
Number of results : 1492