Intuitionistic Type Theory
Giovanni Sambin, Per Martin-Lof
The Presocratic Philosophers
G. S. Kirk & J. E. Raven & M. Schofield
Linkers and Loaders
John R. Levine
Foundations of Game Engine Development, Volume 2: Rendering
Eric Lengyel
A DSP Primer: With Applications to Digital Audio and Computer ...
Kenneth Steiglitz
Game Engine Gems 2
Electrostatic Motors: Their History, Types, and Principles of ...
Oleg Jefimenko
Grounding and Shielding: Circuits and Interference
Ralph Morrison