Intuitionistic Type Theory
Giovanni Sambin, Per Martin-Lof
Hidden Hand
Clive Hamilton & Mareike Ohlberg
The Box: How the Shipping Container Made the World Smaller and ...
Marc Levinson
Computational Geometry - Convex Hulls
Jeff Erickson
Z-80 Microprocessor: Architecture, Interfacing, Programming ...
Ramesh Gaonkar