Proofs and Computations

Just Enough Software Architecture: A Risk-Driven Approach

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

Computer Science Logic: 14th International Workshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21-26, 2000 Proceedings

Algorithms: Edition 4

Crafting Interpreters

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

Proof And Computation Ii: From Proof Theory And Univalent Mathematics To Program Extraction And Verification

Software Engineering at Google: Lessons Learned from Programming Over Time

Proof And Computation: Digitization In Mathematics, Computer Science And Philosophy

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

Handbook of Constructive Mathematics

Domain-Driven Design in PHP

Revolutions and Revelations in Computability: 18th Conference on Computability in Europe, CiE 2022, Swansea, UK, July 11–15, 2022, Proceedings

Domain-Driven Design Reference: Definitions and Pattern Summaries

Logical Approaches to Computational Barriers: Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006, Proceedings

Facilitating Software Architecture: Empowering Teams to Make Architectural Decisions