Language, Proof and Logic
Jon Barwise & John Etchemendy
Android Programming - The Big Nerd Ranch Guide
Bryan Sills, Brian Gardner, Kristin Marsicano & Chris Stewart
Wolf in the Shadows
Maria Vale
The History of the GPU - Eras and Environment
Jon Peddie