Anathem
Neal Stephenson
The Roads Must Roll
Robert A. Heinlein
The Grand Design
Stephen Hawking & Leonard Mlodinow
Columbus Was A Dope
Mathematics for Computer Science
Eric Lehman & F. Thomson Leighton & Albert R. Meyer