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 Reasoned Schemer
Friedman, Daniel
-
The Little Schemer
Friedman, Daniel
-
Energy and Civilization
Václav Smil
-
Harvesting the Biosphere
Václav Smil
-
The Sciences of the Artificial
Bangert, Simon Herbert
-
A Brain for Numbers
Nieder, Andreas (Professor of Animal Physiology, University of Tubingen)
-
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
-
Deep Learning
Kelleher, John D.
-
Urban Code
Mikoleit, Anne; Purckhauer, Moritz
-
Power in a Warming World
Ciplet, David (Assistant Professor, University of Colorado Boulder); Roberts, J. Timmons (Director, Brown University); K
-
The Embodied Mind
Francisco Varela
-
The Puppet and the Dwarf
Slavoj Žižek
-
Anish Kapoor
-
Being No One
Metzinger, Thomas
-
Book from the Ground
Xu, Bing