Le moteur de recherche
des thèses françaises
Pascal Schreck
IdRefMots clés
FR |
EN
Algorithmes
Coq (logiciel)
Modélisation géométrique
Modélisation tridimensionnelle
Contraintes (intelligence artificielle)
Modèles géométriques
Théorie des graphes topologiques
Prototypage rapide
Modèles mathématiques
Topologie
Consensus
Systèmes Distribués asynchrones
Tolérance aux pannes
Télédiagnostic Collaboratif
Télédiagnostic
Tolérance aux fautes (ingénierie)
Traitement réparti
Programmes impératifs
Preuve de programmes
Langage C