Theories of Programming: The Life and Works of Tony Hoare

Alan Turing: The Enigma: The Book That Inspired the Film The Imitation Game - Updated Edition

Crafting Interpreters

Theoretical Aspects of Computing - ICTAC 2007: 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings

Steve Jobs

Communicating Sequential Processes. The First 25 Years: Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers

XDA Developers' Android Hacker's Toolkit: The Complete Guide to Rooting, ROMs and Theming

Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays

5th Refinement Workshop: Proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8–10 January 1992

Elon Musk

Reflections on the Work of C.A.R. Hoare

The Innovators: How a Group of Hackers, Geniuses, and Geeks Created the Digital Revolution

Hijacking Bitcoin: The Hidden History of BTC

Methods, Models and Tools for Fault Tolerance

Kelly: More Than My Share of It All

The Code Book: The Science of Secrecy from Ancient Egypt to Quantum Cryptography

The New Digital Age: Transforming Nations, Businesses, and Our Lives

Wizard:: The Life and Times of Nikola Tesla