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
1989 Développement de tests pour le protocole de signalisation du Réseau numérique à intégration de services
1989 Testabilité et tolérance aux fautes des circuits logiques à structure régulière
1989 Système de conception symbolique pour circuits intégrés à très grande échelle
1989 Analyse automatique de résultats de tests appliquée aux protocoles de communication
1989 Dérivation de protocoles à partir de services de communication écrits dans un sous-ensemble de LOTOS
1989 La puissance de tests d'ajustement avec des données censurées
1989 Générateur d'itinéraires d'enlèvement de la neige
1989 Modélisation d'objets filiformes pour la synthèse d'images réalistes
1989 Méthodes d'échanges pour problèmes d'affectation
1989 Implantation exacte de transactions à l'aide de machines séquentielles
Nombre de résultats : 1649