Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
Real-Time Rendering, Fourth Edition
Tomas Akenine-Mo ̀ˆller & Eric Haines & Naty Hoffman
The Toxin Solution
Joseph Pizzorno
Electrochemical Methods Fundamentals & Applications-Wiley
Allen J. Bard, Larry R. Faulkner
Design and Implementation of the FreeBSD Operating System, The, ...
Marshall Kirk McKusick & George V. Neville-Neil & Robert N. M. Watson