A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Détail de l'indexation
68C : Monographie
Ouvrages de la bibliothèque en indexation 68C
Affiner la recherche
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
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
PermalinkCertified programming with dependent types / Adam Chlipala
PermalinkClustering for data mining / Boris Mirkin
PermalinkCodes and automata / Jean Berstel
PermalinkCognitive Science / Stillings, N. A.
PermalinkCombinatorial complexes / Sellers, Peter H.
Permalinka Comparative study of programming languages / Higman, B.
PermalinkCompilerbau / Niklaus Wirth
PermalinkCompiling techniques / F. R. A. Hopgood
PermalinkCompleteness and reduction in algebraic complexity theory / Bürgisser, Peter
Permalink