The Seventeen Provers of the World: Foreword by Dana S. Scott

Digital Design and Computer Architecture: Edition 2

Software Engineering at Google: Lessons Learned from Programming Over Time

Types for Proofs and Programs: Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers

Computer Aided Verification: 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings

Arduino Projects For Dummies

Software Architecture Metrics: Case Studies to Improve the Quality of Your Architecture

Logics and Type Systems in Theory and Practice: Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday

Internet of Things with ESP8266: Build amazing Internet of Things projects using the ESP8266 Wi-Fi chip

Compositionality: The Significant Difference: International Symposium, COMPOS’97 Bad Malente, Germany, September 8–12, 1997 Revised Lectures

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

Interactive Theorem Proving: Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings

Facilitating Software Architecture: Empowering Teams to Make Architectural Decisions

Hybrid Systems Biology: Second International Workshop, HSB 2013, Taormina, Italy, September 2, 2013 and Third International Workshop, HSB 2014, Vienna, Austria, July 23-24, 2014, Revised Selected Papers

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

Intelligent Computer Mathematics: 9th International Conference, AISC 2008 15th Symposium, Calculemus 2008 7th International Conference, MKM 2008 Birmingham, UK, July 28 - August 1, 2008, Proceedings

Systems Engineering Demystified: A practitioner's handbook for developing complex systems using a model-based approach

System Performance Tuning: Help for Unix Administrators, Edition 2

Raspberry Pi User Guide: Edition 3

Solutions Architect's Handbook: Kick-start your career with architecture design principles, strategies, and generative AI techniques, Edition 3