Digital Design and Computer Architecture, RISC-V Edition
Introduction to Logic Circuits & Logic Design with Verilog
Logical Fallacies for Testers
The Little Typer
The Mathematical Analysis of Logic
Mastering Software Development: From Fundamentals to the Future
Semantic Modeling for Data: Avoiding Pitfalls and Breaking Dilemmas
The Problems of Philosophy