Formal System Verification: State-of the-Art and Future Trends

Just Enough Software Architecture: A Risk-Driven Approach

Teach Yourself VISUALLY WordPress: Edition 3

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

Algorithms: Edition 4

Information Storage: A Multidisciplinary Perspective

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

Recent Findings in Boolean Techniques: Selected Papers from the 14th International Workshop on Boolean Problems

Software Engineering at Google: Lessons Learned from Programming Over Time

Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2015

Advanced Boolean Techniques: Selected Papers from the 13th International Workshop on Boolean Problems

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

Natural Language Processing for Electronic Design Automation

Domain-Driven Design in PHP

Advanced Logic Synthesis

Domain-Driven Design Reference: Definitions and Pattern Summaries

Advanced BDD Optimization

Facilitating Software Architecture: Empowering Teams to Make Architectural Decisions