Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
The Divine Proportion
H. E. Huntley
10% Human : How Your Body's Microbes Hold the Key to Health ...
Collen, Alanna
Soft Skills: The software developer's life manual
John Sonmez
Projective Geometric Algebra
Eric Lengyel