les Agents intelligents / Sallantin, Jean

Public ISBD Titre : les Agents intelligents : essai sur la rationalite des calculs Type de document : texte imprimé Auteurs : Sallantin, Jean Editeur : Paris : Hermes Année de publication : 1997 Collection : collection informatique Importance : 298 p. ISBN/ISSN/EAN : 978-2-86601-643-2 Langues : Français Mots-clés : agents  intelligent Index. décimale : IRIN les Agents intelligents : essai sur la rationalite des calculs [texte imprimé] / Sallantin, Jean . - Paris : Hermes, 1997 . - 298 p.. - (collection informatique) . ISBN : 978-2-86601-643-2 Langues : Français Mots-clés : agents  intelligent Index. décimale : IRIN

Exemplaires

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

Algorithms and theory of computation handbook / Mikhail J. Atallah

Public ISBD Titre : Algorithms and theory of computation handbook Type de document : texte imprimé Auteurs : Mikhail J. Atallah Editeur : Boca Raton, FL : CRC press Année de publication : 1999 Importance : pag. mult. ISBN/ISSN/EAN : 978-0-8493-2649-3 Langues : Anglais Mots-clés : cryptography  scheduling algorithms  vlsi layout algorithms  algorithmic design  computation handbook  algorithms Index. décimale : IRIN Algorithms and theory of computation handbook [texte imprimé] / Mikhail J. Atallah . - Boca Raton, FL : CRC press, 1999 . - pag. mult. ISBN : 978-0-8493-2649-3 Langues : Anglais Mots-clés : cryptography  scheduling algorithms  vlsi layout algorithms  algorithmic design  computation handbook  algorithms Index. décimale : IRIN

Exemplaires

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

an Introduction to semantics / Chierchia, Gennaro

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

Applied interval analysis / Jaulin, L.

Public ISBD Titre : Applied interval analysis : with examples in parameter and state estimation, robust control and robotics Type de document : texte imprimé Auteurs : Jaulin, L. ; Walter, E. ; O. Didrit ; Kieffer, M. Editeur : Springer-Verlag Année de publication : 2001 Importance : xvi - 379 p. ISBN/ISSN/EAN : 978-1-85233-219-8 Langues : Anglais Catégories : 65-XX Numerical analysis:65-99 Numerical analysis (not classified at a more specific level) Mots-clés : interval analysis Index. décimale : IRIN Applied interval analysis : with examples in parameter and state estimation, robust control and robotics [texte imprimé] / Jaulin, L. ; Walter, E. ; O. Didrit ; Kieffer, M. . - [S.l.] : Springer-Verlag, 2001 . - xvi - 379 p. ISBN : 978-1-85233-219-8 Langues : Anglais Catégories : 65-XX Numerical analysis:65-99 Numerical analysis (not classified at a more specific level) Mots-clés : interval analysis Index. décimale : IRIN

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
13363	IRIN/65C298	imprimé / autre	CRDM	65/ANALYSE NUMERIQUE	Disponible

Automated reasoning with analytic tableaux and related methods / TABLEAUX

Public ISBD Titre : Automated reasoning with analytic tableaux and related methods Titre original : International conference, TABLEAUX '97 Type de document : texte imprimé Auteurs : TABLEAUX ; Galmiche, Didier Ed. Editeur : Springer-Verlag Année de publication : 1997 Collection : Lecture Notes in Computer Science. Lecture Notes in Artificial Intelligence num. 1227 Importance : xi - 373 p. ISBN/ISSN/EAN : 978-3-540-62920-7 Langues : Anglais Mots-clés : related methods  analytical tableaux  automated reasoning  tableaux '97  conference  proceedings  pont-a-mousson (france) Index. décimale : IRIN Automated reasoning with analytic tableaux and related methods = International conference, TABLEAUX '97 [texte imprimé] / TABLEAUX ; Galmiche, Didier Ed. . - [S.l.] : Springer-Verlag, 1997 . - xi - 373 p.. - (Lecture Notes in Computer Science. Lecture Notes in Artificial Intelligence; 1227) . ISBN : 978-3-540-62920-7 Langues : Anglais Mots-clés : related methods  analytical tableaux  automated reasoning  tableaux '97  conference  proceedings  pont-a-mousson (france) Index. décimale : IRIN

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
12964	IRIN/03C63	imprimé / autre	CRDM	03/MATHEMATICAL LOGIC AND FOUNDATIONS	Disponible

Bioinformatics / Ouellette, B. F. Francis Eds. ; Baxevanis, A. D.

Permalink

a Biologist's guide to analysis of DNA microarray data / Knudsen, Steen

Permalink

Combinatorial matrix theory / Brualdi, Richard A.

Permalink

Constraint-based agents / Nareyek, Alexander

Permalink

Constraint processing / Dechter, Rina

Permalink

Constraint solving over multi-value logics / Azevedo, Francisco

Permalink

Developing java software / Winder, Russel

Permalink

Distributed constraint satisfaction / Yokoo, Makoto

Permalink

Elements de logique floue / Gacôgne, Louis

Permalink

Essentials of constraint programming / Frühwirt, Thom

Permalink

---

page /4