Factfulness
Hans Rosling & Ola Rosling & Anna Rosling Rönnlund
Real-Time Rendering, Fourth Edition
Tomas Akenine-Mo ̈ller & Eric Haines & Naty Hoffman
Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
3D Game Engine Programming
Stefan Zerbst & Oliver Düvel
Modern Processor Design: Fundamentals of Superscalar Processors
John Paul Shen, Mikko H. Lipasti