Proofs and Computations

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

Algorithms: Edition 4

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

Just Enough Software Architecture: A Risk-Driven Approach

How to Solve It: A New Aspect of Mathematical Method

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

Fundamentals of Software Architecture: An Engineering Approach

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

Short Tricks of Math

Handbook of Constructive Mathematics

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

Logically Fallacious: The Ultimate Collection of Over 300 Logical Fallacies (Academic Edition)

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

Software Engineering at Google: Lessons Learned from Programming Over Time

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