Descriptional Complexity of Formal Systems: 14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012, Proceedings

Just Enough Software Architecture: A Risk-Driven Approach

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

Formal Methods for an Informal World: ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1–7, 2021, Tutorial Lectures

Algorithms: Edition 4

From Action Systems to Distributed Systems: The Refinement Approach

Cellular Automata and Discrete Complex Systems: 24th IFIP WG 1.5 International Workshop, AUTOMATA 2018, Ghent, Belgium, June 20–22, 2018, Proceedings

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

Formal Aspects of Component Software: 20th International Conference, FACS 2024, Milan, Italy, September 9–10, 2024, Proceedings

Software Engineering at Google: Lessons Learned from Programming Over Time

Formal Methods Teaching: 6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings

Domain-Driven Design in PHP

Integrated Formal Methods: 16th International Conference, IFM 2020, Lugano, Switzerland, November 16–20, 2020, Proceedings

Domain-Driven Design Reference: Definitions and Pattern Summaries

Program Development by Refinement: Case Studies Using the B Method

Facilitating Software Architecture: Empowering Teams to Make Architectural Decisions

Developments in Language Theory: 25th International Conference, DLT 2021, Porto, Portugal, August 16–20, 2021, Proceedings

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

Implementation and Application of Automata: 17th International Conference, CIAA 2012, Porto, Portugal, July 17-20, 2012. Proceedings

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