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
-
Spotify Teardown
Baaz, Maria Eriksson; Stern, Maria
-
Out of the Crisis
Deming, W. Edwards
-
The New Economics for Industry, Gover...
Deming, W. Edwards
-
Portrait of the Manager as a Young A...
Schönthaler, Philipp
-
A Guide for the Young Economist
Thomson, William, Baron Kelvin (Elmer B. Milliman Professor of Economics)
-
Revolutionizing Innovation
-
How AI Is Transforming the Organization
Review, MIT Sloan Management (Paul Michelman)
-
Leading in the Digital World
Mukherjee, Amit S.
-
The AI Advantage
Davenport, Thomas H.
-
Spontaneous Venturing
Shepherd, Dean A. (Indiana University); Williams, Trenton (Indiana University); Wolfe, Marcus (Ball State University, In
-
Energy and Civilization
Václav Smil
-
Harvesting the Biosphere
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