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-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
...
tel-00137866v1  Theses
François Boulier. Étude et implantation de quelques algorithmes en algèbre différentielle
Modélisation et simulation. Université des Sciences et Technologie de Lille - Lille I, 1994. Français