A partir de cette page vous pouvez :
| Retourner au premier écran avec les dernières notices... |
Détail de l'éditeur
Éditeur MIT Press
localisé à Cambridge, MA
Collections rattachées
Documents disponibles chez cet éditeur
Affiner la rechercheTypes and Programming Languages / Pierce, Benjamin C.
Titre : Types and Programming Languages : a comprehensive introduction to type systems and programming languages Type de document : texte imprimé Auteurs : Pierce, Benjamin C. ; Kenneth E. Kinnear ; Peter J. Angeline, Editeur scientifique Editeur : Cambridge, MA : MIT Press Année de publication : 2002 Collection : Advances in Genetic Programming num. 02 Importance : 645 p. ISBN/ISSN/EAN : 978-0-262-16209-8 Langues : Anglais Catégories : 68-XX Computer science :68QXX Theory of computing Mots-clés : programming intelligent systems computer science Index. décimale : 68C Monographie Types and Programming Languages : a comprehensive introduction to type systems and programming languages [texte imprimé] / Pierce, Benjamin C. ; Kenneth E. Kinnear ; Peter J. Angeline, Editeur scientifique . - Cambridge, MA : MIT Press, 2002 . - 645 p.. - (Advances in Genetic Programming; 02) .
ISBN : 978-0-262-16209-8
Langues : Anglais
Catégories : 68-XX Computer science :68QXX Theory of computing Mots-clés : programming intelligent systems computer science Index. décimale : 68C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 13800 68C73 imprimé / autre CRDM 68/INFORMATIQUE Disponible
Titre : Numerica : a modelling language for global optimization Type de document : texte imprimé Auteurs : van Hentenryck, Pascal ; Deville, Yves ; Michel, Laurent Editeur : Cambridge, MA : MIT Press Année de publication : 1997 Importance : xviii - 210 p. ISBN/ISSN/EAN : 978-0-262-72027-4 Langues : Anglais Catégories : 68-XX Computer science :68WXX Algorithms :68W30 Symbolic computation and algebraic computation Mots-clés : symbolic computation numerica global optimization problems Index. décimale : 68C Monographie Numerica : a modelling language for global optimization [texte imprimé] / van Hentenryck, Pascal ; Deville, Yves ; Michel, Laurent . - Cambridge, MA : MIT Press, 1997 . - xviii - 210 p.
ISBN : 978-0-262-72027-4
Langues : Anglais
Catégories : 68-XX Computer science :68WXX Algorithms :68W30 Symbolic computation and algebraic computation Mots-clés : symbolic computation numerica global optimization problems Index. décimale : 68C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 17849 68C21 imprimé / autre CRDM 68/INFORMATIQUE Disponible 12893 68C21 imprimé / autre CRDM 68/INFORMATIQUE Disponible
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 13855 68C79 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
Titre : an Introduction to semantics Type de document : texte imprimé Auteurs : Chierchia, Gennaro ; Sally McConnell-Ginet Editeur : Cambridge, MA : MIT Press Année de publication : 1992 Collection : meaning and grammar Importance : xiii - 476 p. ISBN/ISSN/EAN : 978-0-262-03162-2 Langues : Anglais Mots-clés : semantics Index. décimale : IRIN an Introduction to semantics [texte imprimé] / Chierchia, Gennaro ; Sally McConnell-Ginet . - Cambridge, MA : MIT Press, 1992 . - xiii - 476 p.. - (meaning and grammar) .
ISBN : 978-0-262-03162-2
Langues : Anglais
Mots-clés : semantics Index. décimale : IRIN Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 12992 IRIN/68C37 imprimé / autre CRDM 68/INFORMATIQUE Disponible
Permalink
Permalink
Permalink
Permalink
Permalink
Permalink
