A partir de cette page vous pouvez :
Retourner au premier écran avec les recherches... |
. CRDM
68/INFORMATIQUE
Dans le rayon 68/INFORMATIQUE il y a différentes étagères, cliquez dessus pour les explorer...Monographie | Non classé | Publication collective |
Affiner la recherche
Bioinformatics / Ouellette, B. F. Francis Eds. ; Baxevanis, A. D.
Titre : Bioinformatics : a practical guide to the analysis of genes and proteins Type de document : texte imprimé Auteurs : Ouellette, B. F. Francis Eds. ; Baxevanis, A. D. Mention d'édition : 2nd ed. Editeur : New York, NY : Wiley-Interscience Année de publication : 2001 Importance : xviii - 470 p. ISBN/ISSN/EAN : 978-0-471-38391-8 Langues : Anglais Mots-clés : large-scale genome analysis phylogenetic analysis sequence tags sequence alignement biological databases genomic mapping dna sequence genbank sequence ncbi data model bioinformatics Index. décimale : IRIN Bioinformatics : a practical guide to the analysis of genes and proteins [texte imprimé] / Ouellette, B. F. Francis Eds. ; Baxevanis, A. D. . - 2nd ed. . - New York, NY : Wiley-Interscience, 2001 . - xviii - 470 p.
ISBN : 978-0-471-38391-8
Langues : AnglaisExemplaires
Code-barres Cote Support Localisation Section Disponibilité 13930 IRIN/68C89 imprimé / autre CRDM 68/INFORMATIQUE Disponible Bioinformatique / Dardel, F.
Titre : Bioinformatique : génomique et post-génomique Type de document : texte imprimé Auteurs : Dardel, F. ; Képès, F. Editeur : Palaiseau : Les Éditions de l'École Polytechnique Année de publication : 2002 Importance : 346 p. ISBN/ISSN/EAN : 978-2-7302-0927-4 Langues : Français Mots-clés : bioinformatique Index. décimale : LIN Bioinformatique : génomique et post-génomique [texte imprimé] / Dardel, F. ; Képès, F. . - Palaiseau : Les Éditions de l'École Polytechnique, 2002 . - 346 p.
ISBN : 978-2-7302-0927-4
Langues : Français
Mots-clés : bioinformatique Index. décimale : LIN Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 17561 LINA/68C330 imprimé / autre CRDM 68/INFORMATIQUE Disponible a Biologist's guide to analysis of DNA microarray data / Knudsen, Steen
Titre : a Biologist's guide to analysis of DNA microarray data Type de document : texte imprimé Auteurs : Knudsen, Steen Editeur : New York, NY : Wiley-Interscience Année de publication : 2002 Importance : xii - 125 p. ISBN/ISSN/EAN : 978-0-471-22490-7 Langues : Anglais Mots-clés : genotyping chips molecular classifiers cluster analysis significance data analysis Index. décimale : IRIN a Biologist's guide to analysis of DNA microarray data [texte imprimé] / Knudsen, Steen . - New York, NY : Wiley-Interscience, 2002 . - xii - 125 p.
ISBN : 978-0-471-22490-7
Langues : Anglais
Mots-clés : genotyping chips molecular classifiers cluster analysis significance data analysis Index. décimale : IRIN Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 13928 IRIN/68C85 imprimé / autre CRDM 68/INFORMATIQUE Disponible Brains, machines and mathematics / Arbib, Michael A.
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 13940 68C92 imprimé / autre CRDM 68/INFORMATIQUE Disponible Building reliable component-based software systems / Magnus Larsson ; Ivica Crnkovic
Titre : Building reliable component-based software systems Type de document : texte imprimé Auteurs : Magnus Larsson, Editeur scientifique ; Ivica Crnkovic, Editeur scientifique Editeur : London : Artech House Année de publication : 2002 Importance : xxxvii - 413 p. ISBN/ISSN/EAN : 978-1-58053-327-0 Langues : Anglais Catégories : 00-XX General:00BXX Conference proceedings and collections of papers:00B15 Collections of articles of miscellaneous specific content
68-XX Computer science :68-06 Proceedings, conferences, collections, etc.
68-XX Computer science :68NXX Software:68N01 GeneralMots-clés : software architecture software systems component-based software systems Index. décimale : LIN Building reliable component-based software systems [texte imprimé] / Magnus Larsson, Editeur scientifique ; Ivica Crnkovic, Editeur scientifique . - London : Artech House, 2002 . - xxxvii - 413 p.
ISBN : 978-1-58053-327-0
Langues : Anglais
Catégories : 00-XX General:00BXX Conference proceedings and collections of papers:00B15 Collections of articles of miscellaneous specific content
68-XX Computer science :68-06 Proceedings, conferences, collections, etc.
68-XX Computer science :68NXX Software:68N01 GeneralMots-clés : software architecture software systems component-based software systems Index. décimale : LIN Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 17555 LINA/68B46 imprimé / autre CRDM 68/INFORMATIQUE Disponible C++ and object-oriented numeric computing for scientists and engineers / Daoqi Yang
Titre : C++ and object-oriented numeric computing for scientists and engineers Type de document : texte imprimé Auteurs : Daoqi Yang, Auteur Editeur : New York, NY : Springer Année de publication : 2001 Importance : xviii - 440 p. Format : 24 cm ISBN/ISSN/EAN : 978-0-387-98990-7 Langues : Anglais Catégories : 65-XX Numerical analysis:65YXX Computer aspects of numerical algorithms:65Y99 None of the above, but in this section
68-XX Computer science :68-01 Instructional exposition (textbooks, tutorial papers, etc.)
68-XX Computer science :68NXX Software:68N15 Programming languagesMots-clés : C++ object-oriented language classes, inheritance templates exception handling Index. décimale : 68C Monographie C++ and object-oriented numeric computing for scientists and engineers [texte imprimé] / Daoqi Yang, Auteur . - New York, NY : Springer, 2001 . - xviii - 440 p. ; 24 cm.
ISBN : 978-0-387-98990-7
Langues : Anglais
Catégories : 65-XX Numerical analysis:65YXX Computer aspects of numerical algorithms:65Y99 None of the above, but in this section
68-XX Computer science :68-01 Instructional exposition (textbooks, tutorial papers, etc.)
68-XX Computer science :68NXX Software:68N15 Programming languagesMots-clés : C++ object-oriented language classes, inheritance templates exception handling Index. décimale : 68C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 19747 68C384 imprimé / autre CRDM 68/INFORMATIQUE Disponible C++ FAQs / Cline, Marshall P.
Titre : C++ FAQs : frequently asked questions Type de document : texte imprimé Auteurs : Cline, Marshall P. ; Lomow, Greg A. Editeur : Reading, MA : Addison-Wesley Publishing Company, Inc. Année de publication : 1995 Importance : xxvii - 461 p. ISBN/ISSN/EAN : 978-0-201-58958-0 Langues : Anglais Mots-clés : c++ Index. décimale : 68C Monographie C++ FAQs : frequently asked questions [texte imprimé] / Cline, Marshall P. ; Lomow, Greg A. . - Reading, MA : Addison-Wesley Publishing Company, Inc., 1995 . - xxvii - 461 p.
ISBN : 978-0-201-58958-0
Langues : Anglais
Mots-clés : c++ Index. décimale : 68C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 4156 68C260 imprimé / autre CRDM 68/INFORMATIQUE Disponible C++ primer / Lippman, Stanley B.
Titre : C++ primer Type de document : texte imprimé Auteurs : Lippman, Stanley B. Mention d'édition : 2nd ed. Editeur : Reading, MA : Addison-Wesley Publishing Company, Inc. Année de publication : 1991 Importance : xvi - 614 p. ISBN/ISSN/EAN : 978-0-201-54848-8 Langues : Anglais Mots-clés : computer program language c++ primer Index. décimale : 68C Monographie C++ primer [texte imprimé] / Lippman, Stanley B. . - 2nd ed. . - Reading, MA : Addison-Wesley Publishing Company, Inc., 1991 . - xvi - 614 p.
ISBN : 978-0-201-54848-8
Langues : Anglais
Mots-clés : computer program language c++ primer Index. décimale : 68C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 11266 68C177 imprimé / autre CRDM 68/INFORMATIQUE Disponible C++ programming style / Cargill, Tom
Titre : C++ programming style Type de document : texte imprimé Auteurs : Cargill, Tom Editeur : Reading, MA : Addison-Wesley Publishing Company, Inc. Année de publication : 1992 Importance : xi - 233 p. ISBN/ISSN/EAN : 978-0-201-56365-8 Langues : Anglais Mots-clés : cargill c++ Index. décimale : 68C Monographie C++ programming style [texte imprimé] / Cargill, Tom . - Reading, MA : Addison-Wesley Publishing Company, Inc., 1992 . - xi - 233 p.
ISBN : 978-0-201-56365-8
Langues : Anglais
Mots-clés : cargill c++ Index. décimale : 68C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 866 68C206 imprimé / autre CRDM 68/INFORMATIQUE Disponible C++ toolbox for verified computing 1 / R. Hammer
Titre : C++ toolbox for verified computing 1 : basic numerical problems. Theory algorithms and programs Type de document : texte imprimé Auteurs : R. Hammer ; Ratz, Dietmar ; Ulrich Kulisch ; Hocks, Matthias Editeur : Springer-Verlag Année de publication : 1995 Importance : xvi - 380 p. ISBN/ISSN/EAN : 978-3-540-59110-8 Langues : Anglais Catégories : 68-XX Computer science :68-01 Instructional exposition (textbooks, tutorial papers, etc.)
68-XX Computer science :68MXX Computer system organization:68M15 Reliability, testing and fault tolerance
68-XX Computer science :68NXX Software:68N15 Programming languagesMots-clés : computational reliability c-xsc library Index. décimale : 68C Monographie C++ toolbox for verified computing 1 : basic numerical problems. Theory algorithms and programs [texte imprimé] / R. Hammer ; Ratz, Dietmar ; Ulrich Kulisch ; Hocks, Matthias . - [S.l.] : Springer-Verlag, 1995 . - xvi - 380 p.
ISBN : 978-3-540-59110-8
Langues : Anglais
Catégories : 68-XX Computer science :68-01 Instructional exposition (textbooks, tutorial papers, etc.)
68-XX Computer science :68MXX Computer system organization:68M15 Reliability, testing and fault tolerance
68-XX Computer science :68NXX Software:68N15 Programming languagesMots-clés : computational reliability c-xsc library Index. décimale : 68C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 11911 68C03 imprimé / autre CRDM 68/INFORMATIQUE Disponible Calcul formel avec MuPAD (avec CD-ROM) / Maltey, François
Titre : Calcul formel avec MuPAD (avec CD-ROM) Type de document : texte imprimé Auteurs : Maltey, François Editeur : Springer-Verlag Année de publication : 2002 Importance : xv - 424 p. ISBN/ISSN/EAN : 978-2-287-59708-4 Langues : Français Catégories : 68-XX Computer science :68-01 Instructional exposition (textbooks, tutorial papers, etc.)
68-XX Computer science :68WXX Algorithms :68W30 Symbolic computation and algebraic computationMots-clés : mupad Index. décimale : 68C Monographie Calcul formel avec MuPAD (avec CD-ROM) [texte imprimé] / Maltey, François . - [S.l.] : Springer-Verlag, 2002 . - xv - 424 p.
ISBN : 978-2-287-59708-4
Langues : Français
Catégories : 68-XX Computer science :68-01 Instructional exposition (textbooks, tutorial papers, etc.)
68-XX Computer science :68WXX Algorithms :68W30 Symbolic computation and algebraic computationMots-clés : mupad Index. décimale : 68C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 14015 68C98 imprimé / autre CRDM 68/INFORMATIQUE Disponible Calcul formel / Davenport, J.
Titre : Calcul formel : systèmes et algorithmes de manipulations algébriques Type de document : texte imprimé Auteurs : Davenport, J. ; Siret, Y. Tournier, E Editeur : Paris : Masson Année de publication : 1987 Collection : Etudes et Recherches en Informatique Importance : 263 p. ISBN/ISSN/EAN : 978-2-225-80990-3 Langues : Français Mots-clés : manipulations algebriques systemes algorithmes calcul formel Index. décimale : 68C Monographie Calcul formel : systèmes et algorithmes de manipulations algébriques [texte imprimé] / Davenport, J. ; Siret, Y. Tournier, E . - Paris : Masson, 1987 . - 263 p.. - (Etudes et Recherches en Informatique) .
ISBN : 978-2-225-80990-3
Langues : Français
Mots-clés : manipulations algebriques systemes algorithmes calcul formel Index. décimale : 68C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 3511 68C267 imprimé / autre CRDM 68/INFORMATIQUE Disponible Categorical combinators, sequential algorithms, and functional programming / Pierre-Louis Curien
Titre : Categorical combinators, sequential algorithms, and functional programming Type de document : texte imprimé Auteurs : Pierre-Louis Curien Mention d'édition : 2nd ed. Editeur : Birkhäuser Verlag Année de publication : 1993 Collection : Progress in Theoretical Computer Science. Importance : xx - 403 p. ISBN/ISSN/EAN : 978-0-8176-3654-8 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03BXX General logic:03B40 Combinatory logic and lambda-calculus
03-XX Mathematical logic and foundations:03GXX Algebraic logic:03G30 Categorical logic, topoi
68-XX Computer science :68QXX Theory of computing:68Q55 SemanticsMots-clés : categorical abstract machine combinatory logic lambda-calculus Index. décimale : 68C Monographie Categorical combinators, sequential algorithms, and functional programming [texte imprimé] / Pierre-Louis Curien . - 2nd ed. . - [S.l.] : Birkhäuser Verlag, 1993 . - xx - 403 p.. - (Progress in Theoretical Computer Science.) .
ISBN : 978-0-8176-3654-8
Langues : Anglais
Catégories : 03-XX Mathematical logic and foundations:03BXX General logic:03B40 Combinatory logic and lambda-calculus
03-XX Mathematical logic and foundations:03GXX Algebraic logic:03G30 Categorical logic, topoi
68-XX Computer science :68QXX Theory of computing:68Q55 SemanticsMots-clés : categorical abstract machine combinatory logic lambda-calculus Index. décimale : 68C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 13096 68C49 imprimé / autre CRDM 68/INFORMATIQUE Disponible Causality / Judea Pearl
Titre : Causality : models, reasoning, and inference Type de document : texte imprimé Auteurs : Judea Pearl, Auteur Mention d'édition : 2nd ed. Editeur : Cambridge University Press Année de publication : 2009 Importance : xix - 464 p. Format : 26 cm ISBN/ISSN/EAN : 978-0-521-89560-6 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03BXX General logic:03B48 Probability and inductive logic
68-XX Computer science :68TXX Artificial intelligence:68T20 Problem solving (heuristics, search strategies, etc.)
68-XX Computer science :68TXX Artificial intelligence:68T37 Reasoning under uncertaintyMots-clés : causality causal reasoning do(X=x) operator causal models predictions counterfactuals Bayesian networks directed acyclic graphs Index. décimale : 68C Monographie Causality : models, reasoning, and inference [texte imprimé] / Judea Pearl, Auteur . - 2nd ed. . - [S.l.] : Cambridge University Press, 2009 . - xix - 464 p. ; 26 cm.
ISBN : 978-0-521-89560-6
Langues : Anglais
Catégories : 03-XX Mathematical logic and foundations:03BXX General logic:03B48 Probability and inductive logic
68-XX Computer science :68TXX Artificial intelligence:68T20 Problem solving (heuristics, search strategies, etc.)
68-XX Computer science :68TXX Artificial intelligence:68T37 Reasoning under uncertaintyMots-clés : causality causal reasoning do(X=x) operator causal models predictions counterfactuals Bayesian networks directed acyclic graphs Index. décimale : 68C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 21437 68C422 imprimé / autre CRDM 68/INFORMATIQUE Disponible Certified programming with dependent types / Adam Chlipala
Titre : Certified programming with dependent types : a pragmatic introduction to the Coq proof assistant Type de document : texte imprimé Auteurs : Adam Chlipala (1981-....), Auteur Editeur : Cambridge (Mass.) : The MIT Press Année de publication : cop. 2013 Importance : 1 vol. (XII-424 p.) Présentation : couv. ill. en coul. Format : 24 cm ISBN/ISSN/EAN : 978-0-262-02665-9 Langues : Anglais Catégories : 68-XX Computer science :68-02 Research exposition (monographs, survey articles)
68-XX Computer science :68TXX Artificial intelligence:68T15 Theorem proving (deduction, resolution, etc.)Mots-clés : computer science Coq Index. décimale : 68C Monographie Certified programming with dependent types : a pragmatic introduction to the Coq proof assistant [texte imprimé] / Adam Chlipala (1981-....), Auteur . - Cambridge (Mass.) : The MIT Press, cop. 2013 . - 1 vol. (XII-424 p.) : couv. ill. en coul. ; 24 cm.
ISBN : 978-0-262-02665-9
Langues : Anglais
Catégories : 68-XX Computer science :68-02 Research exposition (monographs, survey articles)
68-XX Computer science :68TXX Artificial intelligence:68T15 Theorem proving (deduction, resolution, etc.)Mots-clés : computer science Coq Index. décimale : 68C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 21812 68C448 imprimé / autre CRDM 68/INFORMATIQUE Disponible