Principles and practice of constraint programming / Vijay Saraswat ; van Hentenryck, Pascal

Public ISBD Titre : Principles and practice of constraint programming Titre original : papers from the first workshop on the principles and practice of constraint programming, held in Newport, RI (USA) April 1993 Type de document : texte imprimé Auteurs : Vijay Saraswat, Editeur scientifique ; van Hentenryck, Pascal, Editeur scientifique Editeur : Cambridge, MA : The Mit Press Année de publication : 1995 Importance : xvi - 475 p. ISBN/ISSN/EAN : 978-0-262-19361-0 Langues : Anglais Catégories : 68-XX Computer science :68NXX Software:68N15 Programming languages Mots-clés : newport (usa) 1993  workshop  papers  constraint logic language Index. décimale : IRIN Principles and practice of constraint programming = papers from the first workshop on the principles and practice of constraint programming, held in Newport, RI (USA) April 1993 [texte imprimé] / Vijay Saraswat, Editeur scientifique ; van Hentenryck, Pascal, Editeur scientifique . - Cambridge, MA : The Mit Press, 1995 . - xvi - 475 p. ISBN : 978-0-262-19361-0 Langues : Anglais Catégories : 68-XX Computer science :68NXX Software:68N15 Programming languages Mots-clés : newport (usa) 1993  workshop  papers  constraint logic language Index. décimale : IRIN

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
14690	IRIN/68B11	imprimé / autre	CRDM	68/INFORMATIQUE	Disponible

Principles of constraint programming / Krzysztof R. Apt

Public ISBD 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 programming Mots-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 programming Mots-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

Programming with constraints / Marriott, Kim

Public ISBD 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

la Recherche d'informations / Lefèvre, Philippe

Public ISBD Titre : la Recherche d'informations : du texte intégral au thésaurus Type de document : texte imprimé Auteurs : Lefèvre, Philippe Editeur : Paris : Hermes Année de publication : 2000 Importance : 253 p. ISBN/ISSN/EAN : 978-2-7462-0173-6 Langues : Français Mots-clés : traitement des donnees  technique documentaire  gestion electronique Index. décimale : IRIN la Recherche d'informations : du texte intégral au thésaurus [texte imprimé] / Lefèvre, Philippe . - Paris : Hermes, 2000 . - 253 p. ISBN : 978-2-7462-0173-6 Langues : Français Mots-clés : traitement des donnees  technique documentaire  gestion electronique Index. décimale : IRIN

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
12958	IRIN/68C33	imprimé / autre	CRDM	68/INFORMATIQUE	Disponible

la Recherche intelligente sur l'internet et l'intranet / Samier, Henri

Public ISBD Titre : la Recherche intelligente sur l'internet et l'intranet : outils et méthodes Type de document : texte imprimé Auteurs : Samier, Henri ; Sandoval, Victor Mention d'édition : 2e ed. Editeur : Paris : Hermes Année de publication : 1999 ISBN/ISSN/EAN : 978-2-7462-0070-8 Mots-clés : agents intelligents  veille technologique  ouitls de recherche  internet Index. décimale : IRIN la Recherche intelligente sur l'internet et l'intranet : outils et méthodes [texte imprimé] / Samier, Henri ; Sandoval, Victor  . -  2e ed. . - Paris : Hermes, 1999. ISBN : 978-2-7462-0070-8 Mots-clés : agents intelligents  veille technologique  ouitls de recherche  internet Index. décimale : IRIN

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
12957	IRIN/68C32	imprimé / autre	CRDM	68/INFORMATIQUE	Disponible

la Représentation des connaissances / Kayser, Daniel

Permalink

Software architectures / Barroca, Leonor

Permalink

Spécification formelle avec B / Habrias, Henri

Permalink

Sweet reason / Tymoczko, Tom

Permalink

the Probabilistic method / Noga Alon

Permalink

Theory of relations / Fraïssé, Roland

Permalink

Towards the semantic web / Fensel, D. ; Davies, J. ; F. van Harmelenv

Permalink

Troisièmes rencontres nationales des jeunes chercheurs en intelligence artificielle / IRIN

Permalink

---

page /4