Cover
R. Martin (Pearson, 2012) [eCV] WW
DoubleStar
Robert A. Heinlein
Real World OCaml: Functional Programming for the Masses
Yaron Minsky & Anil Madhavapeddy & Jason Hickey
Poor Daddy
Specifying Systems: The TLA+ Language and Tools for Hardware ...
Leslie Lamport
Mathematics for Computer Science
Eric Lehman & F. Thomson Leighton & Albert R. Meyer
Categories for the Working Mathematician
Saunders Mac Lane
The Manga Guide to Statistics
Shin Takahashi
Anathem
Neal Stephenson