How to Write Good Programs: A Guide for Students

The Software Engineer's Guidebook: Navigating senior, tech lead, and staff engineer positions at tech companies and startups

Generic and Indexed Programming

Software Engineering at Google: Lessons Learned from Programming Over Time

Arduino Projects For Dummies

Internet of Things with ESP8266

Mathematics of Program Construction: 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012, Proceedings

Google Cloud for DevOps Engineers: A practical guide to SRE and achieving Google's Professional Cloud DevOps Engineer certification

Teaching Formal Methods: Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings

Digital Design and Computer Architecture: Edition 2

Integrated Formal Methods: 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings

Raspberry Pi User Guide: Edition 3

Foundations of Health Information Engineering and Systems: Third International Symposium, FHIES 2013, Macau, China, August 21-23, 2013. Revised Selected Papers

System Performance Tuning: Help for Unix Administrators, Edition 2

Tools and Algorithms for the Construction and Analysis of Systems: 8th International Conference, TACAS 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002. Proceedings

Fundamental Approaches to Software Engineering: 19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

The Official BBC micro:bit User Guide

Algorithm Design with Haskell

Building Serverless Applications with Google Cloud Run