Documents disponibles chez cet éditeur

Types and Programming Languages / Pierce, Benjamin C.

Public ISBD Titre : Types and Programming Languages : a comprehensive introduction to type systems and programming languages Type de document : texte imprimé Auteurs : Pierce, Benjamin C. ; Kinnear, Kenneth E. Eds. ; Angeline, Peter J. 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 (eng) 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. ; Kinnear, Kenneth E. Eds. ; Angeline, Peter J. . - MIT Press, 2002 . - 645 p.. - (Advances in Genetic Programming; 02) . ISBN : 978-0-262-16209-8 Langues : Anglais (eng) 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

Numerica / van Hentenryck, Pascal

Public ISBD 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 (eng) 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 (eng) 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

Basic Category Theory for Computer Scientists / Pierce, Benjamin C.

Public ISBD Titre : Basic Category Theory for Computer Scientists Type de document : texte imprimé Auteurs : Pierce, Benjamin C. Editeur : Cambridge, MA : MIT Press Année de publication : 1991 Collection : MIT Press Series in the Foundations of Computing Importance : xiv - 100 p. ISBN/ISSN/EAN : 978-0-262-66071-6 Langues : Anglais (eng) Catégories : 18-XX Category theory; homological algebra :18-01 Instructional exposition (textbooks, tutorial papers, etc.) 18-XX Category theory; homological algebra :18BXX Special categories:18B20 Categories of machines, automata, operative categories Mots-clés : category theory  categories of automata Index. décimale : 18A Basic Category Theory for Computer Scientists [texte imprimé] / Pierce, Benjamin C. . - MIT Press, 1991 . - xiv - 100 p.. - (MIT Press Series in the Foundations of Computing) . ISBN : 978-0-262-66071-6 Langues : Anglais (eng) Catégories : 18-XX Category theory; homological algebra :18-01 Instructional exposition (textbooks, tutorial papers, etc.) 18-XX Category theory; homological algebra :18BXX Special categories:18B20 Categories of machines, automata, operative categories Mots-clés : category theory  categories of automata Index. décimale : 18A

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
13854	18A47	imprimé / autre	CRDM	18/THEORIE DES CATEGORIES, ALGEBRE HOMOLOGIQUE	Disponible

Introduction to Algorithms / Cormen, Thomas H.

Public ISBD Titre : Introduction to Algorithms Type de document : texte imprimé Auteurs : Cormen, Thomas H. ; Stein, Clifford ; Rivest, Ronald L. ; Leiserson, Charles E. Mention d'édition : 2nd Ed. Editeur : Cambridge, MA : MIT Press Année de publication : 2001 ISBN/ISSN/EAN : 978-0-262-53196-2 Langues : Anglais (eng) Catégories : 05-XX Combinatorics :05-01 Instructional exposition (textbooks, tutorial papers, etc.) 05-XX Combinatorics :05CXX Graph theory :05C85 Graph algorithms 68-XX Computer science :68-01 Instructional exposition (textbooks, tutorial papers, etc.) 68-XX Computer science :68PXX Theory of data:68P05 Data structures 68-XX Computer science :68PXX Theory of data:68P10 Searching and sorting 68-XX Computer science :68QXX Theory of computing:68Q25 Analysis of algorithms and problem complexity 68-XX Computer science :68WXX Algorithms Mots-clés : graphic algorithms  searching and sorting  analysis of algorithms and problem complexity  algorithms Index. décimale : 68C Monographie Introduction to Algorithms [texte imprimé] / Cormen, Thomas H. ; Stein, Clifford ; Rivest, Ronald L. ; Leiserson, Charles E.  . -  2nd Ed. . - Cambridge, MA : MIT Press, 2001. ISBN : 978-0-262-53196-2 Langues : Anglais (eng) Catégories : 05-XX Combinatorics :05-01 Instructional exposition (textbooks, tutorial papers, etc.) 05-XX Combinatorics :05CXX Graph theory :05C85 Graph algorithms 68-XX Computer science :68-01 Instructional exposition (textbooks, tutorial papers, etc.) 68-XX Computer science :68PXX Theory of data:68P05 Data structures 68-XX Computer science :68PXX Theory of data:68P10 Searching and sorting 68-XX Computer science :68QXX Theory of computing:68Q25 Analysis of algorithms and problem complexity 68-XX Computer science :68WXX Algorithms Mots-clés : graphic algorithms  searching and sorting  analysis of algorithms and problem complexity  algorithms Index. décimale : 68C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
13855	68C79	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 (eng) 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 (eng) 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	indéterminé	Disponible

an Introduction to semantics / Chierchia, Gennaro

Permalink

Collected papers Vol. II / Brauer, Richard

Permalink

Essentials of programming languages / Friedman, Daniel P.

Permalink

Foundations of statistical natural language processing / Manning, Christopher D.

Permalink

System modeling in cellular biology / Szallasi, Zoltan Ed.

Permalink