Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
Planned Chaos
Ludwig Von Mises
Newton's Principia : the mathematical principles of natural ...
Newton, Isaac, Sir, 1642-1727
Game Programming Gems 5
Kim Pallister
CMOS Digital Integrated Circuits: Analysis and Deisgn
Sung-Mo (Steve) Ang & Yusuf Leblebgi