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
Auteur principal : Ghoniem Mohammad (Auteur)
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)
Autres auteurs : Boizumault Patrice (Directeur de 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.)
Note de thèse : Thèse doctorat : Informatique. Interaction homme-machine : Nantes : 2005
Disponibilité : Publication autorisée apr le jury
Sujets :
Programmation par contraintes > Thèses et écrits académiques

BU Sciences

Informations d'exemplaires de BU Sciences
‌ Cote Prêt Statut
Magasin aérotherme 2005 NANT 2064 Empruntable Disponible
Magasin aérotherme 2005 NANT 2064 Exclu du prêt Disponible