Domain Modeling and the Duration Calculus: International Training School, Shanghai, China, September 17-21, 2007, Advanced Lectures

Just Enough Software Architecture: A Risk-Driven Approach

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

AI Engineering: Building Applications with Foundation Models

Theoretical Aspects of Computing - ICTAC 2004: First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers

Domain-Driven Design: Tackling Complexity in the Heart of Software

Algorithms: Edition 4

Unifying Theories of Programming: 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers

Prompt Engineering - The Ultimate Guide for Success in Artificial Intelligence

Industrial-Strength Formal Methods in Practice

Modern Software Engineering: Doing What Works to Build Better Software Faster

Formal Methods and Software Engineering: 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings

Audio Engineering - Dynamic Processing

Automated Technology for Verification and Analysis: 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings

Software Engineering at Google: Lessons Learned from Programming Over Time

LLM Engineer's Handbook: Master the art of engineering large language models from concept to production

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

Microsoft Power Platform Enterprise Architecture: Design tailor-made solutions for architects and decision makers to meet complex business requirements, Edition 2

Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday