Just Enough Software Architecture: A Risk-Driven Approach

Algorithms: Edition 4

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

Proofs and Computations

Short Tricks of Math

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

Alan Turing: The Enigma: The Book That Inspired the Film The Imitation Game - Updated Edition

Humble Pi: A Comedy of Maths Errors

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

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)

Software Engineering at Google: Lessons Learned from Programming Over Time