3d  Abstraction  Accélérateur matériel  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, 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-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  Connexionnisme  Construction modulaire  Contrainte  Controller  Contrôle automatique  Contrôle optimal  Contrôleur  Coopération  Costs  Courbe  Cryptographie  Cytométrie en images  Description  Description structurelle  Diagnostic  Diagramme de voronoï généralisé  Distributed system  Documents textuels  Dynamique  Décentralisation  Déclencheur  Décomposition  Décomposition technologique  Déduction automatique  Démonstration  Environnement programmation  Etude théorique  Fiabilité  Graphes, Théorie des  Génie logiciel  Géométrie  Géométrie algorithmique  Imagerie médicale  Infographie  Integrated circuit  Intelligence artificielle  Intelligence artificielle distribuée  Itération  Logiciel  Logiques temporelles  Mathématiques  Maximums et minimums  Microprocesseur  Microprocesseurs  Microprocessor  Modèle  Modélisation  Modélisation géométrique  Multiprocesseurs  Méthode numérique  Méthodologie  Ondelettes  Optimisation  Optimisation combinatoire  Optimisation mathématique  Ordinateurs -- Mémoires  Ordonnancement  Ordonnancement  Orienté objet  Parallelism  Parallelisme  Parallélisme  Parallélisme  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  Segmentation  Silicium  Simd  Simulateur  Simulation  Simulation logique  Simulation numérique  Software  Splines, Théorie des  Spécification  Synchronisation  Synthèse circuit  Synthèse logique  System architecture  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  Thèses et écrits académiques  Traitement d'image  Traitement d'images  Traitement réparti  Transputer  VLSI circuit  Verification  Vhdl  Vision par ordinateur  Vérification  Wsi  

381 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
Recherche opérationnelle, combinatoire et optimisation. Informatique
Soutenue en 2000
thèse
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
Informatique
Soutenue en 1999
thèse
Mathématiques appliquées
Soutenue en 1999
thèse

Recherche opérationnelle
Soutenue en 1996
thèse