Outils de visualisation et d'aide à la mise au point de programmes avec contraintes

Outils de visualisation et d'aide à la mise au point de programmes avec contraintes

La programmation par contraintes est une discipline informatique aux multiples applications dans l'industrie et la recherche. Elle s'attaque \'e0 des probl\'e8mes difficiles\par n\'e9cessitant souvent la mise au point d'algorithmes sophistiqu\'e9s. Or, jusqu'\...

Description complète

Enregistré dans:
Détails bibliographiques
Auteurs principaux : Ghoniem Mohammad (Auteur), Boizumault Patrice (Directeur de thèse)
Collectivités auteurs : Université de Nantes 1962-2021 (Organisme de soutenance), Université de Nantes Faculté des sciences et des techniques (Autre partenaire associé à la thèse), École doctorale sciences et technologies de l'information et des matériaux Nantes (Ecole doctorale associée à la thèse)
Format : Thèse ou mémoire
Langue : français
Titre complet : Outils de visualisation et d'aide à la mise au point de programmes avec contraintes / Mohammad Ghoniem; sous la direction de Patrice Boizumault
Publié : [S.l.] : [s.n.] , 2005
Description matérielle : 1 vol. (211 p.)
Condition d'utilisation et de reproduction : Publication autorisée apr le jury
Note de thèse : Thèse doctorat : Informatique. Interaction homme-machine : Nantes : 2005
Sujets :
Programmation par contraintes
Thèses et écrits académiques
Documents associés : Reproduit comme: Outils de visualisation et d'aide à la mise au point de programmes avec contraintes
Particularités de l'exemplaire : BU Sciences, Ex. 1 :
Titre temporairement indisponible à la communication
Table des matières indisponible