Process Algebra and Probabilistic Methods: Performance Modeling and Verification: Second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 Proceedings

Just Enough Software Architecture: A Risk-Driven Approach

CONCUR 2006 - Concurrency Theory: 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006

Algorithms: Edition 4

Computer Aided Verification: 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings

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

Fundamentals of Software Architecture: An Engineering Approach

Lectures on Formal Methods and Performance Analysis: First EEF/Euro Summer School on Trends in Computer Science Berg en Dal, The Netherlands, July 3-7, 2000. Revised Lectures

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

Dependable Software Engineering. Theories, Tools, and Applications: 9th International Symposium, SETTA 2023, Nanjing, China, November 27–29, 2023, Proceedings

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

Validation of Stochastic Systems: A Guide to Current Research

Software Engineering at Google: Lessons Learned from Programming Over Time

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

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

Domain-Driven Design Reference: Definitions and Pattern Summaries

100 Dos and Dont's UI/UX Design Tips eBook- Professional research based

Implementing Domain-Driven Design

Adventures in Rule-Based Programming: A CLIPS Tutorial

Kubernetes for Full-Stack Developers