Bücher online kaufen
-
EbookSofort lieferbarAn introduction to writing proofs about computer programs, written in an accessible question-and-...
-
EbookSofort lieferbar
The notion that "e;thinking about computing is one of the most exciting things the human mind...
-
EbookSofort lieferbar
An introduction to dependent types, demonstrating the most beautiful aspects, one step at a time....
-
-
-
-
TaschenbuchBesorgungstitel - wird vorgemerkt
An introduction to dependent types, demonstrating the most beautiful aspects, one step at a time.
-
BuchBesorgungstitel - wird vorgemerkt
The typesetting system TeX, invented by Donald Knuth, is thirty-two years old in 2010. For this a...
-
TaschenbuchBesorgungstitel - wird vorgemerkt
Contains complete score to Knuth's Fantasia Apocalyptica, for organ with video, presented on faci...
- 1