The Little Typer
1536 Kč 1 591 Kč
Sleva až 70% u třetiny knih
An introduction to dependent types, demonstrating the most beautiful aspects, one step at a time.
| Autor: | Friedman, Daniel |
| Nakladatel: | MIT Press Ltd |
| ISBN: | 9780262536431 |
| Rok vydání: | 2018 |
| Jazyk : | Angličtina |
| Vazba: | Paperback / softback |
| Počet stran: | 424 |
Mohlo by se vám také líbit..
-
The Little Schemer
Friedman, Daniel
-
The Reasoned Schemer
Friedman, Daniel
-
The Deep Learning Revolution
Sejnowski, Terrence J. (Francis Crick Professor, Salk Institute for Biological Studies)
-
Real-World Algorithms
Louridas, Panos (Athens University of Economics and Business)
-
The OpenMP Common Core
Munshi, Aaftab; Gaster, Benedict; Mattson, Timothy G.; Fung, James; Ginsburg, Dan
-
How to Design Programs
Felleisen, Matthias
-
Types and Programming Languages
Pierce, Benjamin A.
-
Introduction to Natural Language Pro...
Eisenstein, Jacob (Assistant Professor, 20 Aloha Street)
-
Cloud Computing for Machine Learning...
Hwang, Kai (Professor of Electrical Engineering and Computer Science, University of Southern California)
-
Spotify Teardown
Baaz, Maria Eriksson; Stern, Maria
-
Security Requirements Engineering
Dalpiaz, Fabiano (Assistant Professor, Utrecht University); Paja, Elda (University of Trento); Giorgini, Paolo (Universi
-
Artificial Unintelligence
Broussard, Meredith
-
From Fingers to Digits
Boden, Margaret A.
-
Reinforcement Learning
Richard Sutton
-
Deep Learning
Kelleher, John D.
-
The Software Arts
Sack, Warren (Chair + Professor, University of California, Santa Cruz)