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 Promise of Artificial Intelligence
Smith, Brian
-
Spotify Teardown
Baaz, Maria Eriksson; Stern, Maria
-
Artificial Unintelligence
Broussard, Meredith
-
Deep Learning
Kelleher, John D.
-
Reinforcement Learning
Richard Sutton
-
The Deep Learning Revolution
Sejnowski, Terrence J. (Francis Crick Professor, Salk Institute for Biological Studies)
-
Machine Learning
Murphy, Kevin P.
-
A Composer's Guide to Game Music
Phillips, Winifred (Video game composer)
-
Handmade Pixels
Jesper Juul
-
International Relations in the Cyber...
Choucri, Nazli (Massachusetts Institute of Technology); Clark, David D. (Senior Research Scientist, MIT)
-
The Sciences of the Artificial
Bangert, Simon Herbert
-
Foundations of Machine Learning
Mohri, Mehryar (New York University); Rostamizadeh, Afshin (Google, Inc.); Talwalkar, Ameet (University of California, B
-
Foundations of 3D Computer Graphics
Gortler, Steven J.
-
Algorithms for Optimization
Kochenderfer, Mykel J.
-
Security Requirements Engineering
Dalpiaz, Fabiano (Assistant Professor, Utrecht University); Paja, Elda (University of Trento); Giorgini, Paolo (Universi
-
Essential Logic for Computer Science
Page, Rex (Professor (Emeritus), University of Oklahoma); Gamboa, Ruben (University of Wyoming)