Prolog Programming in Depth
Michael A. Covington
Hacker Monthly #42
Netizens Media
Hacker Monthly (42)
Hacker Monthly #41
Hacker Monthly (41)
Ghost in the Wires: My Adventures as the World’s Most Wanted ...
Kevin Mitnick, William L. Simon & Steve Wozniak
Specifying Systems: The TLA+ Language and Tools for Hardware ...
Leslie Lamport
Categories for the Working Mathematician
Saunders Mac Lane
Mathematics for Computer Science
Eric Lehman & F. Thomson Leighton & Albert R. Meyer
Anathem
Neal Stephenson
The Manga Guide to Statistics
Shin Takahashi