Intuitionistic Type Theory
Per Martin-Lof
Soft Skills: The software developer's life manual
John Sonmez
Euripides III: Heracles, the Trojan Women, Iphigenia Among the ...
Euripides
Art & Illusion
E. H. Gombrich
A DSP Primer: With Applications to Digital Audio and Computer ...
Kenneth Steiglitz