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

Algorithms: Edition 4

Just Enough Software Architecture: A Risk-Driven Approach

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

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

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

Humble Pi: A Comedy of Maths Errors

Handbook of Constructive Mathematics

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

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