An introduction to functional programming through Lambda calculus / Greg Michaelson

Public ISBD Titre : An introduction to functional programming through Lambda calculus Type de document : texte imprimé Auteurs : Greg Michaelson, Auteur Editeur : Dover Publications Année de publication : 2011 Collection : Dover Books on Mathematics Importance : xv - 320 p. Format : 24 cm ISBN/ISSN/EAN : 978-0-486-47883-8 Langues : Anglais Catégories : 68-XX Computer science :68-01 Instructional exposition (textbooks, tutorial papers, etc.) 68-XX Computer science :68NXX Software:68N01 General 68-XX Computer science :68NXX Software:68N15 Programming languages Mots-clés : functional programming  -calculus  Standard ML  Common Lisp Index. décimale : 68C Monographie An introduction to functional programming through Lambda calculus [texte imprimé] / Greg Michaelson, Auteur . - [S.l.] : Dover Publications, 2011 . - xv - 320 p. ; 24 cm. - (Dover Books on Mathematics) . ISBN : 978-0-486-47883-8 Langues : Anglais Catégories : 68-XX Computer science :68-01 Instructional exposition (textbooks, tutorial papers, etc.) 68-XX Computer science :68NXX Software:68N01 General 68-XX Computer science :68NXX Software:68N15 Programming languages Mots-clés : functional programming  -calculus  Standard ML  Common Lisp Index. décimale : 68C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
21809	68C443	imprimé / autre	CRDM	68/INFORMATIQUE	Disponible

ANSI common Lisp / Graham, P.

Public ISBD Titre : ANSI common Lisp Type de document : texte imprimé Auteurs : Graham, P. Editeur : Englewood Cliffs, NJ : Prentice Hall Année de publication : 1996 Collection : Prentice Hall Series in Artificial Intelligence Importance : xiii - 432 p. ISBN/ISSN/EAN : 978-0-13-370875-2 Langues : Anglais Catégories : 68-XX Computer science :68NXX Software:68N15 Programming languages Mots-clés : symbol manipulation  lisp  natural language processing Index. décimale : 68C Monographie ANSI common Lisp [texte imprimé] / Graham, P. . - Englewood Cliffs, NJ : Prentice Hall, 1996 . - xiii - 432 p.. - (Prentice Hall Series in Artificial Intelligence) . ISBN : 978-0-13-370875-2 Langues : Anglais Catégories : 68-XX Computer science :68NXX Software:68N15 Programming languages Mots-clés : symbol manipulation  lisp  natural language processing Index. décimale : 68C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
16269	68C280	imprimé / autre	CRDM	68/INFORMATIQUE	Disponible

Beginning Python visualization / Shai Vaingast

Public ISBD Titre : Beginning Python visualization : crafting visual transformation scripts Type de document : texte imprimé Auteurs : Shai Vaingast, Auteur Editeur : Berkeley, CA : Apress, Inc. Année de publication : 2009 Importance : xx - 363 p. Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 978-1-4302-1843-2 Langues : Anglais Catégories : 68-XX Computer science :68-01 Instructional exposition (textbooks, tutorial papers, etc.) 68-XX Computer science :68NXX Software:68N15 Programming languages Mots-clés : Programming languages  computer science Index. décimale : 68C Monographie Beginning Python visualization : crafting visual transformation scripts [texte imprimé] / Shai Vaingast, Auteur . - Berkeley, CA : Apress, Inc., 2009 . - xx - 363 p. : ill. ; 24 cm. ISBN : 978-1-4302-1843-2 Langues : Anglais Catégories : 68-XX Computer science :68-01 Instructional exposition (textbooks, tutorial papers, etc.) 68-XX Computer science :68NXX Software:68N15 Programming languages Mots-clés : Programming languages  computer science Index. décimale : 68C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
19836	68C385	imprimé / autre	CRDM	68/INFORMATIQUE	Disponible

C++ and object-oriented numeric computing for scientists and engineers / Daoqi Yang

Public ISBD 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 languages Mots-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 languages Mots-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++ toolbox for verified computing 1 / R. Hammer

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

Computational geometry in C / O'Rourke, Joseph

Permalink

Computer algebra with symbolic C++ / Hardy, Yorick

Permalink

Eiffel, the language / Bertrand Meyer

Permalink

Elements of functional programming / Reade, Chris

Permalink

Essential Maple / Corless, Robert M.

Permalink

Essentials of programming languages / Friedman, Daniel P.

Permalink

a First course in computing and numerical methods / Jacquez,J.A.

Permalink

Fortan 77 / Lignelet, P.

Permalink

Fortran 95/2003 explained / Michael Metcalf

Permalink

Fortran 95/2003 for scientists and engineers / Stephen J. Chapman

Permalink

---

page /4