A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Catégories
> 68-XX Computer science > 68-00 General reference works (handbooks, dictionaries, bibliographies, etc.)
68-00 General reference works (handbooks, dictionaries, bibliographies, etc.)
Affiner la recherche
Le grand trucage / Lorraine Data
Titre : Le grand trucage : comment le gouvernement manipule les statistiques Type de document : texte imprimé Auteurs : Lorraine Data, Auteur Editeur : Paris : Editions La Découverte Année de publication : 2009 Importance : 180 p. ISBN/ISSN/EAN : 978-2-7071-5793-5 Langues : Français Catégories : 00-XX General:00AXX General and miscellaneous specific topics:00A69 General applied mathematics
68-XX Computer science :68-00 General reference works (handbooks, dictionaries, bibliographies, etc.)Mots-clés : statistics Index. décimale : 00H Le grand trucage : comment le gouvernement manipule les statistiques [texte imprimé] / Lorraine Data, Auteur . - Paris : Editions La Découverte, 2009 . - 180 p.
ISBN : 978-2-7071-5793-5
Langues : FrançaisExemplaires
Code-barres Cote Support Localisation Section Disponibilité 19295 00H76 imprimé / autre CRDM 00/GENERALITES Disponible Handbook of cluster analysis / Christian M. Hennig ; Marina MeilIJa ; Fionn Murtagh ; Roberto Rocci
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 22400 62B48 imprimé / autre CRDM 62/STATISTIQUES Disponible Handbook of practical logic and automated reasoning / John Harrison
Titre : Handbook of practical logic and automated reasoning Type de document : texte imprimé Auteurs : John Harrison, Auteur Editeur : Cambridge University Press Année de publication : 2009 Importance : xix - 681 p. ISBN/ISSN/EAN : 978-0-521-89957-4 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-00 General reference works (handbooks, dictionaries, bibliographies, etc.)
03-XX Mathematical logic and foundations:03BXX General logic:03B35 Mechanization of proofs and logical operations
68-XX Computer science :68-00 General reference works (handbooks, dictionaries, bibliographies, etc.)
68-XX Computer science :68TXX Artificial intelligence:68T15 Theorem proving (deduction, resolution, etc.)Mots-clés : mathematical logic automated reasoning automated theorem proving Index. décimale : 03C Monographie Handbook of practical logic and automated reasoning [texte imprimé] / John Harrison, Auteur . - [S.l.] : Cambridge University Press, 2009 . - xix - 681 p.
ISBN : 978-0-521-89957-4
Langues : Anglais
Catégories : 03-XX Mathematical logic and foundations:03-00 General reference works (handbooks, dictionaries, bibliographies, etc.)
03-XX Mathematical logic and foundations:03BXX General logic:03B35 Mechanization of proofs and logical operations
68-XX Computer science :68-00 General reference works (handbooks, dictionaries, bibliographies, etc.)
68-XX Computer science :68TXX Artificial intelligence:68T15 Theorem proving (deduction, resolution, etc.)Mots-clés : mathematical logic automated reasoning automated theorem proving Index. décimale : 03C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 19580 03C178 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible Maple V / Bruce W. Char
Titre : Maple V : language reference manual Type de document : texte imprimé Auteurs : Bruce W. Char ; Leong, Benton L. ; Gonnet, Gaston H. ; Keith O. Geddes Editeur : Springer-Verlag Année de publication : 1991 Importance : xv - 267 p. ISBN/ISSN/EAN : 978-0-387-97622-8 Langues : Anglais Catégories : 68-XX Computer science :68-00 General reference works (handbooks, dictionaries, bibliographies, etc.)
68-XX Computer science :68NXX Software:68N15 Programming languages
68-XX Computer science :68WXX Algorithms :68W30 Symbolic computation and algebraic computationMots-clés : maple computer algebra system maple language Index. décimale : 68C Monographie Maple V : language reference manual [texte imprimé] / Bruce W. Char ; Leong, Benton L. ; Gonnet, Gaston H. ; Keith O. Geddes . - [S.l.] : Springer-Verlag, 1991 . - xv - 267 p.
ISBN : 978-0-387-97622-8
Langues : Anglais
Catégories : 68-XX Computer science :68-00 General reference works (handbooks, dictionaries, bibliographies, etc.)
68-XX Computer science :68NXX Software:68N15 Programming languages
68-XX Computer science :68WXX Algorithms :68W30 Symbolic computation and algebraic computationMots-clés : maple computer algebra system maple language Index. décimale : 68C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 10928 68C307 imprimé / autre CRDM 68/INFORMATIQUE Disponible Maple V / Bruce W. Char
Titre : Maple V : library reference manual Type de document : texte imprimé Auteurs : Bruce W. Char ; Leong, Benton L. ; Gonnet, Gaston H. ; Keith O. Geddes Editeur : Springer-Verlag Année de publication : 1991 Importance : xxv - 698 p. ISBN/ISSN/EAN : 978-0-387-97592-4 Langues : Anglais Catégories : 65-XX Numerical analysis:65-04 Explicit machine computation and programs (not the theory of computation or programming)
68-XX Computer science :68-00 General reference works (handbooks, dictionaries, bibliographies, etc.)
68-XX Computer science :68WXX Algorithms :68W30 Symbolic computation and algebraic computationMots-clés : symbolic computation computer algebra mathematical software Index. décimale : 68C Monographie Maple V : library reference manual [texte imprimé] / Bruce W. Char ; Leong, Benton L. ; Gonnet, Gaston H. ; Keith O. Geddes . - [S.l.] : Springer-Verlag, 1991 . - xxv - 698 p.
ISBN : 978-0-387-97592-4
Langues : Anglais
Catégories : 65-XX Numerical analysis:65-04 Explicit machine computation and programs (not the theory of computation or programming)
68-XX Computer science :68-00 General reference works (handbooks, dictionaries, bibliographies, etc.)
68-XX Computer science :68WXX Algorithms :68W30 Symbolic computation and algebraic computationMots-clés : symbolic computation computer algebra mathematical software Index. décimale : 68C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 10927 68C191 imprimé / autre CRDM 68/INFORMATIQUE Disponible Maple V. Release 3
PermalinkMaple V. Release 3
Permalinkle Système X window / Jones, Oliver
Permalinkthe Maple handbook / Redfern, Darren
PermalinkTraitement de données numériques avec Fortran 90 / Michel Olagnon
Permalink