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
1989 Modélisation des circuits VLSI et conception en vue de leur testabilité
1989 Dérivation de protocoles à partir de services de communication écrits dans un sous-ensemble de LOTOS
1989 Analyse automatique de résultats de tests appliquée aux protocoles de communication
1989 Un environnement de mise au point de programmes écrits dans un langage fonctionnel à évaluation paresseuse
1989 Méthodes d'échanges pour problèmes d'affectation
1989 Réalisation d'un système intelligent de manipulation de bases de données
1989 Un simulateur distribué de circuits intégrés à synchronisation mixte
1989 Le problème des reines : thème et variations
1989 Testabilité et tolérance aux fautes des circuits logiques à structure régulière
1989 Mise au point d'un système interactif-graphique pour la planification tactique du transport des marchandises
Number of results : 1619