Rechercher des thèses d'étudiants

Rechercher dans tous les contenus

Filtres concernant Thèses de l'étudiant

Rechercher concepts
Filtres sélectionnés

Production algale et consommation par le tilapia, Oreochromis niloticus L., au lac Muhazi (Rwanda)

Author: Mukankomeje, R., 1992

Thèse de l'étudiant: Doc typesDocteur en Sciences

Implémentation d'un interpréteur abstrait de programmes prolog

Author: Bourgeois, A., 1992

Superviseur: Le Charlier, B. (Promoteur)

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

Fichier

Les couches supérieures de l'ISO: Compatibilité avec différents types de réseau. Projet d'implémentation

Author: Henrion, P. & Waltzing, M., 1983

Superviseur: Brunin, (Personne externe) (Promoteur)

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

Fichier

Un interpréteur abstrait Prolog par grammaire attribuée

Author: Gos, P., 1994

Superviseur: Le Charlier, B. (Promoteur)

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

Fichier

Réalisation d'un compilateur CCS dans les langages MEC et Toupie

Author: Kreusch, P., 1994

Superviseur: Le Charlier, B. (Promoteur)

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

Fichier

Étude et Comparaison de deux Modèles d'Interprétation Abstraite

Author: Nélis, P., 1992

Superviseur: Le Charlier, B. (Promoteur)

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

Fichier

Logique et bases de données

Author: Vanhentenryck, P., 1985

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

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

Fichier

Un environnement d'aide à la programmation d'un robot: "La couche objet"

Author: Berthet, P., 1986

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

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

Fichier

Concevoir et réaliser l'interface usager des applications interactives

Author: Waterkeyn, P., 1985

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

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

Fichier

Logiciel d'aide à la gestion des stages d'étudiants en médecine

Author: Terryn, H., 1984

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

Fichier

Techniques d'implémentation du langage prolog.

Author: Clantin, M., 1985

Superviseur: Leroy, H. (Personne externe) (Promoteur)

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

Fichier

Interprétation Abstraite : Analyse de Mode au moyen de Formules Logiques

Author: Nelissen, J., 1991

Superviseur: Le Charlier, B. (Promoteur)

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

Fichier

Description et analyse des différentes stratégies de récupération dans les systèmes de Calcul Formel : l'exemple de PAC

Author: Olikier, J., 1991

Superviseur: Le Charlier, B. (Promoteur)

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

Fichier

Theory Development in an Automated Theorem Prover

Author: Ricour, S., 1991

Superviseur: Le Charlier, B. (Promoteur)

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

Fichier

Étude d'un système transactionnel. Évaluation des performances par simulation

Author: Lepers, P., 1977

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

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

Fichier

Développement systématique d'une librairie de spécifications algébriques et de son implémentation en Prolog

Author: Titeca, E., 1990

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

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

Fichier

Étude et évaluation d'un outil de prototypage

Author: Langelez, F. & Paris, C., 1986

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

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

Fichier

Implémentation d'un debugger Prolog

Author: van Rossum, E., 1989

Superviseur: Le Charlier, B. (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

Author: De Raedemacker, P., 1989

Superviseur: Le Charlier, B. (Promoteur)

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

Fichier

Étude des méthodes d'estimation du coût de développement de logiciels, en particulier la méthode des points de fonction

Author: Albrecq, J. & Belle, J., 1988

Superviseur: Le Charlier, B. (Promoteur)

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

Fichier

Présentation du langage C

Author: Perquy, F., 1988

Superviseur: Le Charlier, B. (Promoteur)

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

Fichier

Commutation numérique et temporelle: Tome Premier : Étude des fondements théoriques

Author: Evrard, M., Vangaver, R. & Trigaux, B., 1985

Superviseur: Brunin, (Personne externe) (Promoteur)

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

Fichier