The Little Typer
1579 Kč 1 635 Kč
Odesíláme do 5 až 7 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 Reasoned Schemer
Friedman, Daniel
-
Resonant Games
Klopfer, Eric (Professor and Director of the MIT Scheller Teacher Education Program and Education Arcade, Massachusetts
-
Critical Thinking
Haber, Jonathan (Educational Researcher, Degree of Freedom Project)
-
Handbook of Game-Based Learning
-
Engineering and the Mind's Eye
Ferguson, Eugene S.
-
Building the Intentional University
-
Playful Visions
Bak, Meredith A. (Assistant Professor of Childhood Studies, Rutgers University)
-
Blended Learning in Practice
-
Harvesting the Biosphere
Václav Smil
-
Power Density
Václav Smil
-
MATERIAL WITNESS
Schuppli, Susan (Senior Research Fellow, Goldsmiths, University of London)
-
The Smart Enough City
Sefton-Green, Julian (Deakin University, Australia); Watkins, S Craig; Kirshner, Ben
-
Urban Code
Mikoleit, Anne; Purckhauer, Moritz
-
The Prime Number Conspiracy
-
Photo Forensics
Farid, Hany (Professor of Computer Science, Dartmouth College)
-
Spotify Teardown
Baaz, Maria Eriksson; Stern, Maria