Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
How Do Space Energy Devices Work?
Dr. Horst Eckardt
The Box: How the Shipping Container Made the World Smaller and ...
Marc Levinson
A DSP Primer: With Applications to Digital Audio and Computer ...
Kenneth Steiglitz
Iamblichi Chalcidensis in Platonis Dialogos Commentariorum Fragmenta
John M. Dillon