Acquisition automatique des données  Acquisition des connaissances  Algorithmes  Apprentissage automatique  Arbres  Automates cellulaires  Automates mathématiques, Théorie des  Automatismes séquentiels  Bases de données -- Conception  Bases de données -- Gestion  Calcul d'erreur  Cartes à mémoire  Circuits intégrés -- Simulation par ordinateur  Circuits intégrés  Circuits intégrés numériques  Circuits intégrés à grande échelle  Circuits intégrés à très grande échelle  Circuits logiques  Commande, Théorie de la  Compilation  Complexité de calcul  Conception assistée par ordinateur  Conception orientée objets  Connexionnisme  Diagnostic de fautes  Données sensorielles  Ensembles flous  Essais  Fastest  Formalisme  Frames  Graphes, Théorie des  Génie logiciel  Générateurs  Informatique -- Aspect cognitif  Intelligence artificielle  Interaction homme-ordinateur  Langages de programmation -- Sémantique  Logiciels -- Essais  Logiciels -- Vérification  Logique mathématique  Machines logiques  Machines séquentielles, Théorie des  Markov, Processus de  Model-based testing  Modèles mathématiques  Neurones  Optimisation mathématique  Parallélisme  Petri, Réseaux de  Possibilités, Théorie des  Productique  Programmation orientée objets  Recherche sur Internet  Recuit simulé  Relations clients-fournisseurs  Réseaux de Petri  Réseaux de Petri synchronisés  Réseaux de petri étiquetés  Réseaux neuronaux  Sciences appliquees  Sciences du comportement  Simulation par ordinateur -- Logiciels  Simulation par ordinateur  Simulation, Méthodes de  Sonar  Structure logique  Structures de données  Systèmes auto-organisés  Systèmes d'aide à la décision  Systèmes dynamiques hybrides  Systèmes experts  Systèmes holonomes  Systèmes à paramètres répartis  Systèmes à événement discret  Systèmes échantillonnés  Technique de la production  Temps entre défaillances, Analyse des  Temps réel  Test  Test template framework  Théorie de la démonstration  Traitement réparti  VHDL  Vision par ordinateur  Vérification  Z  Z notation  Électronique numérique  

Norbert Giambiasi a dirigé les 34 thèses suivantes :

Modélisation et conception des processus assistés par ordinateur
Soutenue en 2009
Thèse soutenue

Mathématiques et informatique. Modélisation et conception des processus assistés par ordinateur
Soutenue en 2008
Thèse soutenue

Modélisation et conception des processus assistés par ordinateur
Soutenue en 2007
Thèse soutenue

Mathématique et informatique. Modélisation et conception des processus assistés par ordinateur
Soutenue en 2007
Thèse soutenue

Productique et informatique
Soutenue en 2000
Thèse soutenue

Productique et informatique
Soutenue en 2000
Thèse soutenue

Productique et informatique
Soutenue en 1999
Thèse soutenue

Automatique, traitement du signal et génie informatique
Soutenue en 1996
Thèse soutenue

Génie informatique, automatique et traitement de signal
Soutenue en 1994
Thèse soutenue

Automatique, traitement du signal et génie informatique
Soutenue en 1993
Thèse soutenue

Automatique, traitement du signal et génie informatique
Soutenue en 1993
Thèse soutenue

Composants, signaux et systèmes
Soutenue en 1991
Thèse soutenue

Composants, signaux et systèmes
Soutenue en 1990
Thèse soutenue


Norbert Giambiasi a été membre de jury de la thèse suivante :