Just Enough Software Architecture: A Risk-Driven Approach

Proofs and Computations

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

How to Solve It: A New Aspect of Mathematical Method

Fundamentals of Software Architecture: An Engineering Approach

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

Short Tricks of Math

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

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

Handbook of Constructive Mathematics

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

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

Software Engineering at Google: Lessons Learned from Programming Over Time