Rechercher des thèses d'étudiants

Résultats de recherche

• Comportement des systèmes d'exploitation a mémoire virtuelle paginée: étude des modes de gestion et simulateur de système a mémoire virtuelle paginée

  Author: verhaeghe, R., 1978

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

  Fichier

• Software de télétraitement pour un miniordinateur pédagogique

  Author: Debot, D., 1974

  Superviseur: Brunin, J. (Personne externe) (Jury)

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

  Fichier

• Génération automatique de données de test pour Mercury

  Author: Mweze Nabintu Feza, N., 2005

  Superviseur: Vanhoof, W. (Promoteur)

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

• Génération de contraintes pour le test de programmes manipulant une base de donnée

  Author: Hardenne, R., 3 sept. 2015

  Superviseur: Vanhoof, W. (Promoteur)

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

  Fichier

• Interprétation abstraite des programmes Prolog

  Author: Musumbu, K., 1990

  Thèse de l'étudiant: Doc types › Docteur en Sciences

• Définition d'un langage de programmation visuelle générique pour la programmation de prototypes de systèmes embarqués

  Author: Reiland, O., 3 sept. 2015

  Superviseur: Englebert, V. (Promoteur) & Dumas, B. (Copromoteur)

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

  Fichier

• Analyse d'un système de gestion de fichiers de données statistiques pour la mise au point de modèles économétriques: analyse réalisée dans le cadre du bureau du plan

  Author: Pletinckx, M., 1980

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

  Fichier

• Etude et comparaison de systèmes graphiques: mise en œuvre sous UNIX

  Author: Bossard, E., 1978

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

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

  Fichier

• Automates et logique pour la vérification de systèmes temps réel et multi-agents: HDR

  Author: Dima, C., 2010

  Superviseur: Schobbens, P. (Jury)

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

• From organizational to system requirements: the debit card purchase case study

  Author: Backes, C., 1997

  Superviseur: DUBOIS, E. (Promoteur)

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

  Fichier

• How computer science can assist theatrical practitioners?

  Author: Fontaine, V., 2000

  Superviseur: Berleur, J. (Promoteur)

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

  Fichier

• Contribution à l'élaboration d'une sémantique formelle pourCONGOO

  Author: Géron, J., 1996

  Superviseur: Dubois, É. (Jury)

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

  Fichier

• Les algorithmes de fourmilières et le problème du voyageur de commerce

  Author: Darquennes, D., 2005

  Superviseur: Leclercq, J. (Promoteur)

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

• Comparaison d'outils d'ingénierie des exigences dirigée par les modèles

  Author: Van Kerckhoven, M., 11 sept. 2012

  Superviseur: Heymans, P. (Promoteur) & Saval, G. (Copromoteur)

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

  Fichier

• Etude et réalisation d'un interface pour l'implémentation d'un système de gestion de base de données relationnelle: un exemple d'utilisation dans le cadre de la protection

  Author: Materne, C., 1977

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

  Fichier

• Système de génération interactif des coordonnées nucléaires de molécules et de polymères

  Author: Schepens, M., 1979

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

  Fichier

• dSL, a Language and Environment for the Design of Distributed Industrial Controllers

  Author: De Wachter, B., 2005

  Superviseur: Schobbens, P. (Jury)

  Thèse de l'étudiant: Doc types › Docteur en Sciences

• Normes et outils SGML pour le traitement de documents électroniques

  Author: Jaume, P. & Pire, A., 1997

  Superviseur: Berleur, J. (Promoteur)

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

  Fichier

• Contribution au développement du langage de description d'architecture MADL à travers une étude de cas: définition d'un mapping technologique vers CORBA IDL

  Author: Karlik, J., 2007

  Superviseur: Englebert, V. (Promoteur)

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

  Fichier

• Tool Support for Design by Contract

  Author: Houdart, A., 30 août 2016

  Superviseur: Schobbens, P. (Promoteur)

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

  Fichier

• L'université virtuelle et son application au contexte africain

  Author: Peters, D. & Hütten, T., 2001

  Superviseur: Berleur, J. (Promoteur)

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

  Fichier

• Les données spatiales sur le Web: représentation 3D de villes et de bâtiments

  Author: David, M., 31 août 2016

  Superviseur: Thiran, P. (Promoteur)

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

  Fichier

• Système de recherche bibliographique pour chimiste organicien : introduction graphique et codage des molécules

  Author: Chaboteaux, G., 1987

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

  Fichier

• Using Semi-Automated Topic Extractions to Generate Navigation Interfaces for Consumer Reviews

  Author: Tamazian, H., 29 août 2017

  Superviseur: Jacquet, J. (Président), Heymans, P. (Promoteur), Davril, J. (Copromoteur) & Cordy, M. (Copromoteur)

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

• Résultats de théorie abstraite des modèles dans le cadre des institutions : vers la combinaison de logiques

  Author: Barbier, F., 2005

  Superviseur: Aiguier, M. (Personne externe) (Promoteur) & Schobbens, P. (Jury)

  Thèse de l'étudiant: Doc types › Docteur en Sciences