The Little Typer
1088 Kč 1 126 Kč
Odesíláme do 1 až 2 týdnů
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
-
Spotify Teardown
Baaz, Maria Eriksson; Stern, Maria
-
Deep Learning
Kelleher, John D.
-
Reinforcement Learning
Richard Sutton
-
The Sciences of the Artificial
Bangert, Simon Herbert
-
Machine Learning
Murphy, Kevin P.
-
The Scheme Programming Language
Dybvig, R.Kent
-
Interactive Task Learning
-
Artificial Unintelligence
Broussard, Meredith
-
How to Grow a Robot
Greenblatt, Mark Lee
-
From Fingers to Digits
Boden, Margaret A.
-
Advanced Topics in Types and Program...
-
Java Precisely
Sestoft, Peter (IT University of Copenhagen); Hansen, Henrik I. (University of Copenhagen)
-
The AI Advantage
Davenport, Thomas H.
-
The Problem With Software
Adams Barry