Intuitionistic Type Theory
Giovanni Sambin, Per Martin-Lof
Blood, Sweat, and Pixels
Jason Schreier
Game Physics
Eberly, David H.
Introduction to Quantum Mechanics & Applications to Chemistry
Linus Pauling, E. Bright Wilson Jr.
Linkers and Loaders
John R. Levine
Design and Implementation of the FreeBSD Operating System, The, ...
Marshall Kirk McKusick & George V. Neville-Neil & Robert N. M. Watson