Engineering a Compiler
Keith D. Cooper & Linda Torczon
No bullshit guide to linear algebra
Ivan Savov
Intuitionistic Type Theory
Giovanni Sambin, Per Martin-Lof
The Conservation of Orbital Symmetry
R B Woodward, Roald Hoffmann
Design and Implementation of the FreeBSD Operating System, The, ...
Marshall Kirk McKusick & George V. Neville-Neil & Robert N. M. Watson