The Little Typer
1526 Kč 1 580 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
-
Energy and Civilization
Václav Smil
-
Made in the USA
Václav Smil
-
Power Density
Václav Smil
-
Spotify Teardown
Baaz, Maria Eriksson; Stern, Maria
-
Artificial Unintelligence
Broussard, Meredith
-
Reinforcement Learning
Richard Sutton
-
A Brain for Numbers
Nieder, Andreas (Professor of Animal Physiology, University of Tubingen)
-
Power in a Warming World
Ciplet, David (Assistant Professor, University of Colorado Boulder); Roberts, J. Timmons (Director, Brown University); K
-
The Smart Enough City
Sefton-Green, Julian (Deakin University, Australia); Watkins, S Craig; Kirshner, Ben
-
The Sciences of the Artificial
Bangert, Simon Herbert
-
Enlivenment
Andreas Weber
-
The Promise of Artificial Intelligence
Smith, Brian
-
The Deep Learning Revolution
Sejnowski, Terrence J. (Francis Crick Professor, Salk Institute for Biological Studies)
-
Economics of Regulation and Antitrust
Viscusi, W. Kip (University Distinguished Professor); Vernon, John M.; Harrington, Joseph E., Jr. (Professor of Economic
-
Machine Learning
Murphy, Kevin P.