Find Student theses

Search in all content

Filters for Student theses

Search concepts
Selected filters

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

Author: Mukankomeje, R., 1992

Student thesis: Doc typesDoctor of Sciences

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

Author: Bourgeois, A., 1992

Supervisor: Le Charlier, B. (Supervisor)

Student thesis: Master typesMaster in Computer science

File

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

Supervisor: Brunin, (External person) (Supervisor)

Student thesis: Master typesMaster in Computer science

File

Un interpréteur abstrait Prolog par grammaire attribuée

Author: Gos, P., 1994

Supervisor: Le Charlier, B. (Supervisor)

Student thesis: Master typesMaster in Computer science

File

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

Author: Kreusch, P., 1994

Supervisor: Le Charlier, B. (Supervisor)

Student thesis: Master typesMaster in Computer science

File

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

Author: Nélis, P., 1992

Supervisor: Le Charlier, B. (Supervisor)

Student thesis: Master typesMaster in Computer science

File

Logique et bases de données

Author: Vanhentenryck, P., 1985

Supervisor: Van Lamsweerde, A. (External person) (Supervisor)

Student thesis: Master typesMaster in Computer science

File

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

Author: Berthet, P., 1986

Supervisor: Van Lamsweerde, A. (External person) (Supervisor)

Student thesis: Master typesMaster in Computer science

File

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

Author: Waterkeyn, P., 1985

Supervisor: Van Lamsweerde, A. (External person) (Supervisor)

Student thesis: Master typesMaster in Computer science

File

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

Author: Terryn, H., 1984

Student thesis: Master typesMaster in Computer science

File

Techniques d'implémentation du langage prolog.

Author: Clantin, M., 1985

Supervisor: Leroy, H. (External person) (Supervisor)

Student thesis: Master typesMaster in Computer science

File

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

Author: Nelissen, J., 1991

Supervisor: Le Charlier, B. (Supervisor)

Student thesis: Master typesMaster in Computer science

File

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

Supervisor: Le Charlier, B. (Supervisor)

Student thesis: Master typesMaster in Computer science

File

Theory Development in an Automated Theorem Prover

Author: Ricour, S., 1991

Supervisor: Le Charlier, B. (Supervisor)

Student thesis: Master typesMaster in Computer science

File

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

Author: Lepers, P., 1977

Supervisor: Baily, J. (External person) (Supervisor)

Student thesis: Master typesMaster in Computer science

File

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

Author: Titeca, E., 1990

Supervisor: Van Lamsweerde, A. (External person) (Supervisor)

Student thesis: Master typesMaster in Computer science

File

Étude et évaluation d'un outil de prototypage

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

Supervisor: Van Lamsweerde, A. (External person) (Jury)

Student thesis: Master typesMaster in Computer science

File

Implémentation d'un debugger Prolog

Author: van Rossum, E., 1989

Supervisor: Le Charlier, B. (Supervisor)

Student thesis: Master typesMaster in Computer science

File

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

Author: De Raedemacker, P., 1989

Supervisor: Le Charlier, B. (Supervisor)

Student thesis: Master typesMaster in Computer science

File

É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

Supervisor: Le Charlier, B. (Supervisor)

Student thesis: Master typesMaster in Computer science

File

Présentation du langage C

Author: Perquy, F., 1988

Supervisor: Le Charlier, B. (Supervisor)

Student thesis: Master typesMaster in Computer science

File

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

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

Supervisor: Brunin, (External person) (Supervisor)

Student thesis: Master typesMaster in Computer science

File