Rechercher concepts
|
Filtres sélectionnés
|
- 150 - 175 sur 8 506 résultats
Résultats de recherche
-
Vers un analyseur statique générique de Java par interprétation abstraite: un analyseur statique simple et un utilitaire d'affichage de l'environnement et du store
Auteur: Noben, K., 2000Superviseur: Le Charlier, B. (Promoteur)
Student thesis: Master types › Master en sciences informatiques
Fichier -
Strictness analysis for a class of second order functional languages
Auteur: Burlet, F., 2002Superviseur: Le Charlier, B. (Promoteur)
Student thesis: Master types › Master en sciences informatiques
Fichier -
Définition et implémentation d'un langage déclaratif pour l'analyse d'audit trails
Auteur: Gérard, F., 1998Superviseur: Le Charlier, B. (Promoteur)
Student thesis: Master types › Master en sciences informatiques
Fichier -
Vers un analyseur statique générique de Java par interprétation abstraite: un utilitaire d'affichage de l'environnement et du store
Auteur: Pirotte, C., 2001Superviseur: Le Charlier, B. (Promoteur)
Student thesis: Master types › Master en sciences informatiques
Fichier -
Towards a generic static analyser for Java: a compiler and a simple analyser for two sub-languages of Java
Auteur: Hayez, C. & Hendrickx, P., 2000Superviseur: Le Charlier, B. (Promoteur)
Student thesis: Master types › Master en sciences informatiques
Fichier -
Étude et mise en œuvre d'une infrastructure de connexion sécurisée par Ipsec
Auteur: Landrain, C., 2002Superviseur: Le Charlier, B. (Promoteur)
Student thesis: Master types › Master en sciences informatiques
Fichier -
Réalisation d'un langage graphique pour ASAX
Auteur: Gumiro, L., 1999Superviseur: Le Charlier, B. (Promoteur)
Student thesis: Master types › Master en sciences informatiques
Fichier -
Automated verification of Prolog programs: an implementation
Auteur: Gobert, F., 2003Superviseur: Le Charlier, B. (Promoteur) & Leclère, C. (Copromoteur)
Student thesis: Master types › Master en sciences informatiques
Fichier -
Invariance des équations différentielles par rapport à des groupes de transformations
Auteur: Plaitin, R. & Regnier, C., 1977Student thesis: Master types › Master en sciences mathématiques
Fichier -
Comment les représentations sociales des travailleurs en CISP vis-à-vis des chômeurs impactent leur accompagnement ?
Auteur: SCHIPPERS, L., 28 août 2023Superviseur: Canzittu, D. (Promoteur)
Student thesis: Master types › Master de spécialisation en accompagnement des professionnels de l’éducation, du management, de la santé et de l’action sociale
Fichier -
Surveys and models to forecast travel behaviour
Auteur: Cirillo, C., 1998Student thesis: Doc types › Docteur en Sciences
-
Etude exploratoire du marché chinois des compléments alimentaires
Auteur: de Halleux, V., 2007Superviseur: Van Wymeersch, C. (Promoteur)
Student thesis: Master types › Master en sciences de gestion
-
Recherche de solutions périodiques de systèmes d'équations différentielles perturbées
Auteur: Carpent, V. & Hubin, J., 1976Superviseur: Plotnikova, G. (Promoteur)
Student thesis: Master types › Master en sciences mathématiques
Fichier -
Les Stromatopores dans l'évolution d'un paléoenvironnement biostromal frasnien de Tailfer (Nord de Dinant)
Auteur: Mergen, P., 1995Superviseur: Gillet, C. (Promoteur)
Student thesis: Master types › Master en sciences biologiques
Fichier -
Imagerie médicale: étude et développement d'un système de télémicroscopie virtuelle
Auteur: Jadoul, C., 2005Superviseur: Leclercq, J. (Promoteur)
Student thesis: Master types › Master en sciences informatiques
Fichier -
La reconnaissance des formes en imagerie médicale: une approche disciplinaire
Auteur: Clement, F., 1999Superviseur: Leclercq, J. (Promoteur)
Student thesis: Master types › Master en sciences informatiques
-
La capital social en droit belge, américain et anglais
Auteur: Groux, A., 2000Superviseur: Coipel, M. (Promoteur)
Student thesis: Master types › Master en sciences de gestion
-
Les zéros des polynômes de Faber pour une hypocycloïde à m points de rebroussement
Auteur: LABOUL, J., juin 1995Superviseur: Thiran, J. (Promoteur)
Student thesis: Master types › Master en sciences mathématiques
-
Approximation de Padé multivariable
Auteur: Chapon, I., 2000Superviseur: Thiran, J. (Promoteur)
Student thesis: Master types › Master en sciences mathématiques
-
Etude des systèmes de vote électronique: E-vote et I-vote
Auteur: Henrioulle, B., 2001Superviseur: Ramaekers, J. (Promoteur)
Student thesis: Master types › Master en sciences informatiques
Fichier -
Microscopie virtuelle: amélioration d'une plate-forme de microscopie virtuelle
Auteur: Bocken, X., 2008Superviseur: Leclercq, J. (Promoteur)
Student thesis: Master types › Master en sciences informatiques
Fichier -
La question de la confiance dans le commerce électronique et quelques moyens pour la développer
Auteur: Dumont de Chassart, G., 2004Superviseur: Coipel, M. (Promoteur)
Student thesis: Master types › Master en sciences de gestion
-
Un algorithme d'approximation rationnelle généralisée au sens de Tchebycheff
Auteur: HENRY, F., juin 1993Superviseur: Thiran, J. (Promoteur)
Student thesis: Master types › Master en sciences mathématiques
-
La responsabilité pénale des personnes morales
Auteur: Borcy, V., 2000Superviseur: Coipel, M. (Promoteur)
Student thesis: Master types › Master en sciences de gestion
-
Solution L1 d'un système surdéterminé par une méthode de point intérieur
Auteur: BERTRAND, J., juin 1993Superviseur: Thiran, J. (Promoteur)
Student thesis: Master types › Master en sciences mathématiques