Trouver les Thèses d'étudiant

Implémentation des suites et ensembles pour un langage de programmation permettant l'expression d'assertions

Auteur: Wenzi, M., 1977

Superviseur: Lecharlier, B. (Personne externe) (Promoteur)

Thèse de l'étudiant: Master typesMaster en sciences informatiques

Fichier

A new procedural semantics for prolog

Auteur: Trinon, J., 1987

Superviseur: Le Charlier, B. (Promoteur)

Thèse de l'étudiant: Master typesMaster en sciences informatiques

Fichier

Les performances et la sécurité d'un réseau local

Auteur: Donnen, D. & Delvaux, A., 1990

Superviseur: Ramaekers, J. (Promoteur)

Thèse de l'étudiant: Master typesMaster en sciences informatiques

Fichier

PARFOR. An experimental parallel environment for fortran programmers

Auteur: Noel, R., 1988

Superviseur: Ramaekers, J. (Promoteur)

Thèse de l'étudiant: Master typesMaster en sciences informatiques

Fichier

Infographie : Le réalisme des images de synthèse

Auteur: Arcuri, A., 1991

Superviseur: Le Charlier, B. (Promoteur)

Thèse de l'étudiant: Master typesMaster en sciences informatiques

Fichier

La créativité graphique de la personne ayant une déficience intellectuelle : un logiciel d'aide à l'élaboration de Bandes Dessinées

Auteur: Pequet, B. & Tillieux, M., 1992

Superviseur: Noirhomme, M. (Personne externe) (Promoteur) & Mercier, M. (Copromoteur)

Thèse de l'étudiant: Master typesMaster en sciences informatiques

Fichier

Proposition d'une démarche de dérivation d'une application informatique à partir de ses spécifications fonctionnelles

Auteur: Ruttens, P., 1990

Superviseur: Bodart, F. (Promoteur)

Thèse de l'étudiant: Master typesMaster en sciences informatiques

Fichier

Le traitement des contraintes sémantiques en édition syntaxique

Auteur: Bawin, C., 1988

Superviseur: Van Lamsweerde, A. (Personne externe) (Promoteur)

Thèse de l'étudiant: Master typesMaster en sciences informatiques

Fichier

Intégration de spécifications de bases de données

Auteur: Mynsberghe, V. & Vanackere, P., 1991

Superviseur: Hainaut, J. (Promoteur)

Thèse de l'étudiant: Master typesMaster en sciences informatiques

Fichier

Contribution à l'implémentation d'un langage graphique de description d'assertions

Auteur: Rulkin, J., 1989

Superviseur: Le Charlier, B. (Promoteur)

Thèse de l'étudiant: Master typesMaster en sciences informatiques

Fichier

La sécurisation des systèmes informatiques par la carte à micro-processeur

Auteur: Serpe, J., 1988

Superviseur: Ramaekers, J. (Promoteur)

Thèse de l'étudiant: Master typesMaster en sciences informatiques

Fichier

Contribution à l'étude de modèles de cycle de vie en programmation impérative et logique

Auteur: De Raedemacker, P., 1989

Superviseur: Le Charlier, B. (Promoteur)

Thèse de l'étudiant: Master typesMaster en sciences informatiques

Fichier

Intégration de mécanismes de chaînage avant dans un compilateur Prolog

Auteur: Rybowski, D., 1990

Superviseur: Le Charlier, B. (Promoteur)

Thèse de l'étudiant: Master typesMaster en sciences informatiques

Fichier

Une nouvelle approche du mécanisme de la réflexion d'un système d'intelligence artificielle, appliquée au jeu d'échec

Auteur: Marée, J., 1984

Superviseur: Cherton, C. (Promoteur)

Thèse de l'étudiant: Master typesMaster en sciences informatiques

Fichier

Simulation quantitative en robotique

Auteur: Conrard, E. & Darte, D., 1989

Superviseur: Barreto, J. (Personne externe) (Promoteur)

Thèse de l'étudiant: Master typesMaster en sciences informatiques

Fichier

Développement d'un S.I.A.D. dans le domaine de la vente automobile

Auteur: Di Donato, S., 1996

Superviseur: Leclercq, J. (Promoteur) & Vanderdonckt, J. (Promoteur)

Thèse de l'étudiant: Master typesMaster en sciences informatiques

Fichier

Contribution à l'étude de la facturation d'un fournisseur de services

Auteur: Bastin, P. & Mgba, J., 1996

Superviseur: Van Bastelaer, P. (Promoteur)

Thèse de l'étudiant: Master typesMaster en sciences informatiques

Fichier

Systèmes d'autorisations : différents modèles pour des approches différentes

Auteur: Claudy, T., 1988

Superviseur: Ramaekers, J. (Promoteur)

Thèse de l'étudiant: Master typesMaster en sciences informatiques

Fichier

Protocoles interactifs ("zero-knowledge") d'identification: Application à la carte à microprocesseur

Auteur: Staelens, Y., 1988

Superviseur: Ramaekers, J. (Promoteur)

Thèse de l'étudiant: Master typesMaster en sciences informatiques

Fichier

Analysis of the UN/EDIFACT Standard and Investigation of the Use of the Object-Oriented Approach to Overcome UN/EDIFACT Deficiencies

Auteur: Crémer, L., 1995

Superviseur: Van Bastelaer, P. (Promoteur)

Thèse de l'étudiant: Master typesMaster en sciences informatiques

Fichier

Rétro-Ingénierie des Applications de Gestion

Auteur: Bodart, S. & Lebrun, L., 1995

Superviseur: Hainaut, J. (Promoteur) & Habra, N. (Promoteur)

Thèse de l'étudiant: Master typesMaster en sciences informatiques

Fichier

Un système d'aide à la décision en culture de froment d'hiver

Auteur: Scharff, B., 1994

Superviseur: Fraiture, M. (Promoteur)

Thèse de l'étudiant: Master typesMaster en sciences informatiques

Fichier

Structure pour la conception de spécifications d'objets

Auteur: Liesenborghs, J. & Mottet, P., 1994

Superviseur: Schobbens, P. (Promoteur)

Thèse de l'étudiant: Master typesMaster en sciences informatiques

Fichier

Outils de gestion pour un laboratoire de biologie médicale

Auteur: De Pauw, F. & Burnay, J., 1985

Superviseur: Fichefet, J. (Promoteur)

Thèse de l'étudiant: Master typesMaster en sciences informatiques

Fichier

Contribution au Processus d'Optimisation de Base de Données

Auteur: Mathon, J., 1994

Superviseur: Hainaut, J. (Promoteur)

Thèse de l'étudiant: Master typesMaster en sciences informatiques

Fichier