Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
Z-80 Microprocessor: Architecture, Interfacing, Programming ...
Ramesh Gaonkar
Game Programming Gems 3
Dante Treglia
Negating Negation: Against the Apophatic Abandonment of the ...
Timothy D. Knepper
The Bullet Journal Method: Track Your Past, Order Your Present, ...
Carroll, Ryder
Algorithms to Live By
Brian Christian