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

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

Digital Design and Computer Architecture: Edition 2

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

Decoding the Universe: How the New Science of Information Is Explaining Everythingin the Cosmos, fromOur Brains to Black Holes

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

Mastering AI Prompts: A Comprehensive Guide to Becoming an AI Prompt Expert

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

Neural3000: The Next-Gen AI Technology: The World-Changer

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

Software Engineering at Google: Lessons Learned from Programming Over Time

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

Generative AI in Action

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

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

Facilitating Software Architecture: Empowering Teams to Make Architectural Decisions

Arduino Projects For Dummies

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