A partir de cette page vous pouvez :
| Retourner au premier écran avec les dernières notices... |
Résultat de la recherche
5 résultat(s) recherche sur le mot-clé 'constraint programming'
Affiner la recherche Générer le flux rss de la rechercheEssentials of constraint programming / Frühwirt, Thom
Titre : Essentials of constraint programming Type de document : texte imprimé Auteurs : Frühwirt, Thom ; Slim Abdennadher Editeur : Springer-Verlag Année de publication : 2003 Collection : Cognitive Technologies Importance : ix - 144 p. ISBN/ISSN/EAN : 978-3-540-67623-2 Langues : Anglais Catégories : 68-XX Computer science :68-99 Computer science (not classified at a more specific level) Mots-clés : constraint programming Index. décimale : IRIN Essentials of constraint programming [texte imprimé] / Frühwirt, Thom ; Slim Abdennadher . - [S.l.] : Springer-Verlag, 2003 . - ix - 144 p.. - (Cognitive Technologies) .
ISBN : 978-3-540-67623-2
Langues : Anglais
Catégories : 68-XX Computer science :68-99 Computer science (not classified at a more specific level) Mots-clés : constraint programming Index. décimale : IRIN Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 14913 IRIN/68C154 imprimé / autre CRDM 68/INFORMATIQUE Disponible
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 17559 LINA / 68B47 imprimé / autre CRDM 68/INFORMATIQUE Disponible
Titre : Principles of constraint programming Type de document : texte imprimé Auteurs : Krzysztof R. Apt Editeur : Cambridge : Cambridge University Press Année de publication : 2003 Importance : xii - 407 p. ISBN/ISSN/EAN : 978-0-521-82583-2 Langues : Anglais Catégories : 68-XX Computer science :68NXX Software:68N15 Programming languages
68-XX Computer science :68NXX Software:68N17 Logic programmingMots-clés : logic programming programming languages constraint programming Index. décimale : IRIN Principles of constraint programming [texte imprimé] / Krzysztof R. Apt . - Cambridge : Cambridge University Press, 2003 . - xii - 407 p.
ISBN : 978-0-521-82583-2
Langues : Anglais
Catégories : 68-XX Computer science :68NXX Software:68N15 Programming languages
68-XX Computer science :68NXX Software:68N17 Logic programmingMots-clés : logic programming programming languages constraint programming Index. décimale : IRIN Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 14915 IRIN/68C155 imprimé / autre CRDM 68/INFORMATIQUE Disponible
Titre : Constraint reasoning for differential models Type de document : texte imprimé Auteurs : Cruz, Jorge Editeur : Amsterdam : IOS Press Année de publication : 2005 Collection : Frontiers in Artificial Intelligence and Applications num. 126 Importance : xxv - 216 p. ISBN/ISSN/EAN : 978-1-58603-532-7 Langues : Anglais Catégories : 68-XX Computer science :68-02 Research exposition (monographs, survey articles)
68-XX Computer science :68TXX Artificial intelligence:68T20 Problem solving (heuristics, search strategies, etc.)
93-XX Systems theory; control :93-02 Research exposition (monographs, survey articles)Mots-clés : constraint satisfaction constraint propagation domain pruning interval analysis interval constraint framework constraint programming Index. décimale : LIN Constraint reasoning for differential models [texte imprimé] / Cruz, Jorge . - Amsterdam : IOS Press, 2005 . - xxv - 216 p.. - (Frontiers in Artificial Intelligence and Applications; 126) .
ISBN : 978-1-58603-532-7
Langues : Anglais
Catégories : 68-XX Computer science :68-02 Research exposition (monographs, survey articles)
68-XX Computer science :68TXX Artificial intelligence:68T20 Problem solving (heuristics, search strategies, etc.)
93-XX Systems theory; control :93-02 Research exposition (monographs, survey articles)Mots-clés : constraint satisfaction constraint propagation domain pruning interval analysis interval constraint framework constraint programming Index. décimale : LIN Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 17058 LINA/68C315 imprimé / autre CRDM 68/INFORMATIQUE Disponible
Titre : Programming with constraints : an introduction Type de document : texte imprimé Auteurs : Marriott, Kim ; Stuckey, Peter J. Editeur : Cambridge, MA : MIT Press Année de publication : 1998 Importance : xvi - 467 p. ISBN/ISSN/EAN : 978-0-262-13341-8 Langues : Anglais Catégories : 68-XX Computer science :68-01 Instructional exposition (textbooks, tutorial papers, etc.)
68-XX Computer science :68NXX Software:68N17 Logic programming
68-XX Computer science :68TXX Artificial intelligence:68T20 Problem solving (heuristics, search strategies, etc.)Mots-clés : logic programming constraint programming Index. décimale : IRIN Programming with constraints : an introduction [texte imprimé] / Marriott, Kim ; Stuckey, Peter J. . - Cambridge, MA : MIT Press, 1998 . - xvi - 467 p.
ISBN : 978-0-262-13341-8
Langues : Anglais
Catégories : 68-XX Computer science :68-01 Instructional exposition (textbooks, tutorial papers, etc.)
68-XX Computer science :68NXX Software:68N17 Logic programming
68-XX Computer science :68TXX Artificial intelligence:68T20 Problem solving (heuristics, search strategies, etc.)Mots-clés : logic programming constraint programming Index. décimale : IRIN Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 14332 IRIN/68C100 imprimé / autre CRDM 68/INFORMATIQUE Disponible
