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 Multiway decision graphs and their applications in automatic formal verification of RTL designs
1996 Réseaux de neurones à faible précision et réalisation sur ordinateur à logique programmable
1996 Developing network management applications using application frameworks and literate programming
1996 Formal method for the design of real-time communicating subsystems and controllers
1996 Problèmes multicritère avec contraintes d'affectation
1996 Estimation fonctionnelle dans le cadre de politiques de remplacement dans un système à plusieurs composantes
1996 Application d'une méthode exacte pour la génération d'horaire en soins infirmiers
1996 Satisfaction incrémentielle de contraintes par le biais de la réécriture
1996 Décomposition semi-automatique de diagramme de flot des données (DFD)
1996 La sécurité des protocoles de la cryptographie quantique
Number of results : 1474