Le moteur de recherche
des thèses françaises
Benoît Caillaud
IdRefMots clés
FR |
EN
Systèmes dynamiques hybrides
Modèles mathématiques
Modélisation des données (informatique)
Représentation canonique
Fonction booléenne
Diagrammes de Décision Binaire (BDD)
Graphe Dirigé Acylique (DAG)
Fonctions booléennes
Modèles acycliques
Complémentarité linéaire
Q-Matricité
P-Matricité
Géometrie convexe
Problèmes de la complémentarité linéaire
Géométrie convexe
Logiciels -- Vérification
Systèmes stochastiques
SDL (langage de programmation)
Conception de systèmes informatiques
Ensembles ordonnés