4044 résultats  enregistrer la recherche


...
tel-00343205v1  Thèse
Jean-Paul AlloucheVibrations de classe Cs/2 des tores plats Ts et théorie des nombres
Mathématiques [math]. Université Paris Sud - Paris XI, 1978. Français
...
tel-00416558v1  Thèse
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-00343206v1  HDR
Jean-Paul AlloucheThéorie des nombres et automates
Mathématiques [math]. Université Sciences et Technologies - Bordeaux I, 1983
...
tel-00431825v1  Thèse
Christine Paulin-MohringExtraction de programmes dans le Calcul des Constructions
Génie logiciel [cs.SE]. Université Paris-Diderot - Paris VII, 1989. Français
...
pastel-00838224v1  Thèse
Jean-Baptiste PometSur 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  Thèse
Hubert GaravelCompilation et vérification de programmes LOTOS
Autre [cs.OH]. Université Joseph-Fourier - Grenoble I, 1989. Français
...
tel-00529718v1  Thèse
Xiao Chun Zhao Épouse BouryMé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  Thèse
Didier ChargyEtude numérique d'écoulements réactifs transsoniques
Mécanique [physics.med-ph]. Ecole Nationale des Ponts et Chaussées, 1991. Français
...
tel-00410686v1  Thèse
J. R. LobryRE-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  Thèse
Ghassan ChehaibarMé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  Thèse
Monique TeillaudVers 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  Thèse
Xiaohua LeImplé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  Thèse
Isaac CohenModè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  Thèse
Xavier LeroyTypage polymorphe d'un langage algorithmique
Langage de programmation [cs.PL]. Université Paris 7, 1992. Français
...
tel-01432876v1  Thèse
Stéfane ParisReconnaissance par indexation en vision par ordinateur
Multimédia [cs.MM]. INPL - INP de LORRAINE, 1992. Français
...
tel-00784857v1  Thèse
Yves PapegayOutils Formels pour la Modélisation en Mécanique
Mécanique [physics.med-ph]. Université Nice Sophia Antipolis, 1992. Français
...
tel-00068012v1  HDR
Xavier Rousset de PinaConception et construction de noyaux de systèmes opératoires
Réseaux et télécommunications [cs.NI]. Université Joseph-Fourier - Grenoble I, 1993
...
tel-01064604v1  Thèse
Georges-Pierre BonneauVariational Design of Rational Bezier Curves and Surfaces
Graphics [cs.GR]. University of Kaiserslautern, Germany, 1993. English
...
tel-00614660v1  Thèse
Philippe DumasRécurrences mahlériennes, suites automatiques, études asymptotiques
Mathématiques [math]. Université Sciences et Technologies - Bordeaux I, 1993. Français
...
tel-00005126v1  Thèse
Jose Guadalupe Escamilla de Los SantosShood : 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-00338329v1  HDR
Olivier DevillersRandomisation, sphères et déplacements de robots
Informatique [cs]. Université Nice Sophia Antipolis, 1993
...
tel-00572335v1  Thèse
Paulo GonçalvesReprésentations Temps-Fréquence et Temps-Echelle Bilinéaires: Synthèse et Contributions
Traitement du signal et de l'image. Institut National Polytechnique de Grenoble - INPG, 1993. Français
...
tel-00723227v1  Thèse
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  Thèse
Jutta WillamowskiModelisation 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  Thèse
Benjamin WernerUne Théorie des Constructions Inductives
Génie logiciel [cs.SE]. Université Paris-Diderot - Paris VII, 1994. Français
...
tel-00137866v1  Thèse
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