HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation


...
tel-01727485v1  Theses
Raymond A. Marie. Modélisation par réseaux de files d'attente
Réseaux et télécommunications [cs.NI]. Université de Rennes, 1978. Français
...
tel-00416558v1  Theses
Luc Bougé. Modélisation de la notion de test de programmes; application à la production de jeux de tests
Génie logiciel [cs.SE]. Université Pierre et Marie Curie - Paris VI, 1982. Français
...
tel-00416184v1  Theses
Luc Bougé. Modularité et symétrie pour les systèmes répartis; application au langage CSP
Génie logiciel [cs.SE]. Université Paris-Diderot - Paris VII, 1987. Français
...
tel-00172858v1  Theses
Philippe Matherat. Contribution à l'augmentation de puissance des architectures de visus graphiques
Autre [cs.OH]. Université Pierre et Marie Curie - Paris VI, 1988. Français
...
tel-00772857v1  Theses
Olivier Devillers. Méthodes d'optimisation du tracé de rayons
Synthèse d'image et réalité virtuelle [cs.GR]. Université Paris Sud - Paris XI, 1988. Français
...
tel-00431825v1  Theses
Christine Paulin-Mohring. Extraction de programmes dans le Calcul des Constructions
Génie logiciel [cs.SE]. Université Paris-Diderot - Paris VII, 1989. Français
...
pastel-00838224v1  Theses
Jean-Baptiste Pomet. Sur la commande adaptative des systèmes non linéaires
Automatique / Robotique. École Nationale Supérieure des Mines de Paris, 1989. Français. ⟨NNT : 1989ENMP0165⟩
...
tel-00004339v1  Theses
Hubert Garavel. Compilation et vérification de programmes LOTOS
Autre [cs.OH]. Université Joseph-Fourier - Grenoble I, 1989. Français
...
tel-00529718v1  Theses
Xiao Chun Zhao Épouse Boury. Méthodologie de conception d'un système expert pour la généralisation cartographique
Interface homme-machine [cs.HC]. Ecole Nationale des Ponts et Chaussées, 1990. Français
...
tel-00523155v1  Theses
Didier Chargy. Etude numérique d'écoulements réactifs transsoniques
Mécanique [physics.med-ph]. Ecole Nationale des Ponts et Chaussées, 1991. Français
...
tel-00410686v1  Theses
Jean R Lobry. RE-EVALUATION DU MODELE DE CROISSANCE DE MONOD. EFFET DES ANTIBIOTIQUES SUR L'ENERGIE DE MAINTENANCE
Ecologie, Environnement. Université Claude Bernard - Lyon I, 1991. Français
...
tel-00519683v1  Theses
Ghassan Chehaibar. Méthodes d'analyse hiérarchique des réseaux de Petri
Modélisation et simulation. Ecole Nationale des Ponts et Chaussées, 1991. Français
...
tel-00832312v1  Theses
Monique Teillaud. Vers des algorithmes dynamiques randomisés en géométrie algorithmique
Géométrie algorithmique [cs.CG]. Université Paris Sud - Paris XI, 1991. Français
...
tel-00529467v1  Theses
Xiaohua Le. Implémentation d'un modèle d'acteur, application au traitement de données partielles en audit thermique de bâtiment
Modélisation et simulation. Ecole Nationale des Ponts et Chaussées, 1992. Français
...
tel-00631474v1  Theses
Isaac Cohen. Modèles déformables 2-D et 3-D : application à la segmentation d'images médicales
Interface homme-machine [cs.HC]. Université Paris Dauphine - Paris IX, 1992. Français
...
tel-01499951v1  Theses
Xavier Leroy. Typage polymorphe d'un langage algorithmique
Langage de programmation [cs.PL]. Université Paris 7, 1992. Français
...
tel-01432876v1  Theses
Stéfane Paris. Reconnaissance par indexation en vision par ordinateur
Multimédia [cs.MM]. INPL - INP de LORRAINE, 1992. Français
...
tel-00784857v1  Theses
Yves Papegay. Outils Formels pour la Modélisation en Mécanique
Mécanique [physics.med-ph]. Université Nice Sophia Antipolis, 1992. Français
...
tel-00614660v1  Theses
Philippe Dumas. Récurrences mahlériennes, suites automatiques, études asymptotiques
Mathématiques [math]. Université Sciences et Technologies - Bordeaux I, 1993. Français
...
tel-00005126v1  Theses
Jose Guadalupe Escamilla de los Santos. Shood : un modéle méta-circulaire de représentation de connaissances
Interface homme-machine [cs.HC]. Institut National Polytechnique de Grenoble - INPG, 1993. Français
...
tel-00572335v1  Theses
Paulo Gonçalves. Représentations Temps-Fréquence et Temps-Echelle Bilinéaires: Synthèse et Contributions
Traitement du signal et de l'image [eess.SP]. Institut National Polytechnique de Grenoble - INPG, 1993. Français
...
tel-00723227v1  Theses
Daniel Augot. Étude algèbrique des mots de poids minimum des codes cycliques, méthodes d'algèbre linéaire sur les corps finis.
Théorie de l'information [cs.IT]. Université Pierre et Marie Curie - Paris VI, 1993. Français
...
tel-00005114v1  Theses
Jutta Willamowski. Modelisation de taches pour la resolution de problemes en cooperation systeme-utilisateur
Interface homme-machine [cs.HC]. Université Joseph-Fourier - Grenoble I, 1994. Français
...
tel-00196524v2  Theses
Benjamin Werner. Une Théorie des Constructions Inductives
Génie logiciel [cs.SE]. Université Paris-Diderot - Paris VII, 1994. Français