The Legend Of Koizumi 64
Unknown
Foundations of Programming
Karl Seguin
Specifying Systems: The TLA+ Language and Tools for Hardware ...
Leslie Lamport
Lauren Ipsum
Carlos Bueno
Mathematics for Computer Science
Eric Lehman & F. Thomson Leighton & Albert R. Meyer
The Manga Guide to Statistics
Shin Takahashi
Anathem
Neal Stephenson
Categories for the Working Mathematician
Saunders Mac Lane