PLP An introduction to mathematical proof
Seckin Demibras, Andrew Rechnitzer
The Emperor's New Mind: Concerning Computers, Minds, and the ...
Penrose, Roger
Mathematics for 3D Game Programming and Computer Graphics, Third ...
Eric Lengyel
Four lectures on relativity and space
Steinmetz, Charles Proteus, 1865-1923
Modern Processor Design: Fundamentals of Superscalar Processors
John Paul Shen, Mikko H. Lipasti