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

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

Algorithms: Edition 4

Agent-Based Hybrid Intelligent Systems: An Agent-Based Framework for Complex Problem Solving

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

Industrial-Strength Formal Methods in Practice

Fundamentals of Software Architecture: An Engineering Approach

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

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

Learn Microsoft Power Apps: The definitive handbook for building solutions with Power Apps to solve your business needs, Edition 2

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

Software Engineering at Google: Lessons Learned from Programming Over Time

Knowledge Science, Engineering and Management: Second International Conference, KSEM 2007, Melbourne, Australia, November 28-30, 2007, Proceedings

NFC For Dummies

ZB 2002: Formal Specification and Development in Z and B: 2nd International Conference of B and Z Users Grenoble, France, January 23-25, 2002, Proceedings

Software Architecture: The Hard Parts: Modern Trade-Off Analyses for Distributed Architectures

Domain-Driven Design Reference: Definitions and Pattern Summaries

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