A partir de cette page vous pouvez :
| Retourner au premier écran avec les dernières notices... |
Résultat de la recherche
4 résultat(s) recherche sur le mot-clé 'models'
Affiner la recherche Générer le flux rss de la rechercheIntroduction to combinators and lambda-calculus / Hindley, J. Roger
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 16612 03C163 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible
Titre : Mathematical foundations of neuroscience Type de document : texte imprimé Auteurs : Bard Ermentrout, Auteur ; David H. Terman, Auteur Editeur : New York, NY : Springer Année de publication : 2010 Collection : Interdisciplinary Applied Mathematics num. 35 Importance : xv - 422 p. Format : 24 cm ISBN/ISSN/EAN : 978-0-387-87707-5 Langues : Anglais Catégories : 92-XX Biology and other natural sciences:92-01 Instructional exposition (textbooks, tutorial papers, etc.) Mots-clés : neuroscience nonlinear dynamics mathematical methods computational methods models Index. décimale : 92C Monographie Mathematical foundations of neuroscience [texte imprimé] / Bard Ermentrout, Auteur ; David H. Terman, Auteur . - New York, NY : Springer, 2010 . - xv - 422 p. ; 24 cm. - (Interdisciplinary Applied Mathematics; 35) .
ISBN : 978-0-387-87707-5
Langues : Anglais
Catégories : 92-XX Biology and other natural sciences:92-01 Instructional exposition (textbooks, tutorial papers, etc.) Mots-clés : neuroscience nonlinear dynamics mathematical methods computational methods models Index. décimale : 92C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 20584 92C63 imprimé / autre CRDM 92/BIOLOGIE ET SCIENCES HUMAINES, SCIENCES DES COMPORTEMENTS Disponible
Titre : Petite initiation aux mathématiques Type de document : texte imprimé Auteurs : Timothy Gowers, Auteur Editeur : Paris : Vuibert Année de publication : 2011 Importance : xi - 128 p. Format : 21 cm ISBN/ISSN/EAN : 978-2-7117-2249-5 Langues : Français Langues originales : Anglais Catégories : 00-XX General:00AXX General and miscellaneous specific topics:00A05 General mathematics Mots-clés : elementary mathematics Models Numbers and abstraction Limits and infinity Dimension Geometry Estimates and approximations Index. décimale : 00F Petite initiation aux mathématiques [texte imprimé] / Timothy Gowers, Auteur . - Paris : Vuibert, 2011 . - xi - 128 p. ; 21 cm.
ISBN : 978-2-7117-2249-5
Langues : Français Langues originales : Anglais
Catégories : 00-XX General:00AXX General and miscellaneous specific topics:00A05 General mathematics Mots-clés : elementary mathematics Models Numbers and abstraction Limits and infinity Dimension Geometry Estimates and approximations Index. décimale : 00F Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 20745 00F65 imprimé / autre CRDM 00/GENERALITES Disponible
Titre : the Lambda calculus : its syntax and semantics Type de document : texte imprimé Auteurs : H. P. Barendregt Mention d'édition : rev. ed. Editeur : Amtsterdam : North-Holland Publishing Company Année de publication : 2001 Collection : Studies in Logic and the Foundations of Mathematics num. 103 Importance : xv - 621p. ISBN/ISSN/EAN : 978-0-444-87508-2 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.)
03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles)
03-XX Mathematical logic and foundations:03BXX General logic:03B40 Combinatory logic and lambda-calculus
68-XX Computer science :68QXX Theory of computing:68Q55 Semantics
68-XX Computer science :68QXX Theory of computing:68Q65 Abstract data types; algebraic specificationMots-clés : models type-free lambda calculus reduction systems semantics syntax Index. décimale : 68C Monographie the Lambda calculus : its syntax and semantics [texte imprimé] / H. P. Barendregt . - rev. ed. . - Amtsterdam : North-Holland Publishing Company, 2001 . - xv - 621p.. - (Studies in Logic and the Foundations of Mathematics; 103) .
ISBN : 978-0-444-87508-2
Langues : Anglais
Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.)
03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles)
03-XX Mathematical logic and foundations:03BXX General logic:03B40 Combinatory logic and lambda-calculus
68-XX Computer science :68QXX Theory of computing:68Q55 Semantics
68-XX Computer science :68QXX Theory of computing:68Q65 Abstract data types; algebraic specificationMots-clés : models type-free lambda calculus reduction systems semantics syntax Index. décimale : 68C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 13233 68C76 imprimé / autre CRDM 68/INFORMATIQUE Disponible
