3d  Abstraction  Accélérateur matériel  Adaptation  Agrégation  Algorithm  Algorithme  Algorithmes  Algèbre  Algèbre linéaire  Allocation de ressources  Analyse de défaillances  Analyse de régression  Analyse de signature  Analyse numérique  Animation  Application industrielle  Apprentissage  Approche heuristique  Approximation  Approximation numérique  Approximation, Théorie de l'  Architecture  Architecture des ordinateurs  Architecture parallèle  Architecture système  Atelier logiciel  Automate  Automates mathématiques, Théorie des  Automatic monitoring  B spline  B-splines  Base connaissance  Base de données  Bases de données -- Gestion  Bases de données  Bases de données orientées objet  Bases de données relationnelles  Bibliothèque  Breakdown  CAO de VLSI  CFAO, Systèmes de  Calcul formel  Cao  Capteurs  Cd  Chemin de données  Circuit VLSI  Circuit design  Circuit intégré  Circuit intégré monolithique  Circuit logique  Circuit numérique  Circuit précaractérisé  Circuits intégrés -- Masques  Circuits intégrés -- Simulation par ordinateur  Circuits intégrés  Circuits intégrés à très grande échelle  Classification  Cliques maximales  Code  Codes correcteurs d'erreurs  Communication  Compilateur de silicium  Compilateurs  Compilateurs de silicium  Compilation  Compilation  Compiler  Complexité  Complexité de calcul  Compression d'images  Compromis  Computer aided design  Computer program  Conception assistée  Conception assistée par ordinateur  Conception circuit  Conception orientée objets  Contrainte  Controller  Contrôle optimal  Contrôleur  Coopération  Decision making  Description  Diagnostic  Distributed system  Décomposition  Environnement programmation  Etude théorique  Fiabilité  Gestion  Graphes, Théorie des  Génie logiciel  Géométrie  Géométrie algorithmique  Imagerie médicale  Infographie  Informatique, automatique théorique, systèmes  Integrated circuit  Intelligence artificielle  Intelligence artificielle distribuée  Interpolation  Itération  Logiciel  Logiques temporelles  Lustre  Mathématiques  Maximums et minimums  Microprocesseur  Microprocesseurs  Microprocessor  Modeling  Modèle  Modélisation  Modélisation géométrique  Multiprocesseurs  Méthode numérique  Méthodologie  Numerical simulation  Ondelettes  Optimisation  Optimisation combinatoire  Optimisation mathématique  Ordinateurs -- Mémoires  Ordonnancement  Ordonnancement  Orienté objet  Parallelism  Parallelisme  Parallélisme  Parallélisme  Physique  Pla  Planification  Programmable logic array  Programmation  Programmation automatique  Programmation automatique des robots  Programmation logique  Programmation orientée objets  Programmation parallèle  Programme ordinateur  Prolog  Prolog  Protocoles de réseaux d'ordinateurs  Prototype  Raisonnement  Raisonnement géométrique  Recherche opérationnelle  Reconfiguration  Reconnaissance des formes  Recuit simulé  Reliability  Rendement  Représentation connaissances  Représentation des connaissances  Robotique  Robots industriels  Réseau d'interconnexion  Réseau logique programmable  Réseaux de neurones  Sciences appliquées  Sciences et techniques  Sciences et techniques communes  Segmentation  Silicium  Simd  Simulateur  Simulation  Simulation logique  Simulation numérique  Software  Specification  Splines, Théorie des  Spécification  Synchronisation  Synthèse circuit  Synthèse logique  System architecture  Système information  Système informatique  Système réparti  Systèmes experts  Systèmes experts  Systèmes homme-machine  Séries chronologiques  Temps réel  Test  Test en ligne  Traitement d'image  Traitement d'images  Traitement réparti  Transputer  VLSI circuit  Verification  Vhdl  Vision par ordinateur  Vérification  Wsi  

382 thèses soutenues ayant pour partenaire de recherche Institut d'informatique et mathématiques appliquées (Grenoble)
Extrait des plus récentes :

informatique
Soutenue en 2001
thèse
Informatique
Soutenue en 2000
thèse
Recherche opérationnelle, combinatoire et optimisation. Informatique
Soutenue en 2000
thèse
Informatique. Systèmes et communications
Soutenue en 2000
thèse

Informatique, communication et système
Soutenue en 1999
thèse
Informatique
Soutenue en 1999
thèse
Mathématiques appliquées
Soutenue en 1999
thèse
Informatique
Soutenue en 1999
thèse