Proofs and Computations

Just Enough Software Architecture: A Risk-Driven Approach

Algorithms: Edition 4

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

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

Software Engineering at Google: Lessons Learned from Programming Over Time

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

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

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

Domain-Driven Design in PHP

Handbook of Constructive Mathematics

Domain-Driven Design Reference: Definitions and Pattern Summaries

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

Java in AdTech

Kubernetes for Full-Stack Developers

Implementing Domain-Driven Design