Books > Subjects > Computers & Technology > Programming > Software Design, Testing & Engineering > Logic

Logic

Computer Architecture: A Quantitative Approach, 4th Edition
Morgan Kaufmann
Computer Architecture: A Quantitative Approach, 4th Edition
R 1,137
Logic Synthesis and Verification Algorithms
Springer
Logic Synthesis and Verification Algorithms
R 953
Neuro-Symbolic AI: Design transparent and trustworthy systems that understand the world as you do
Packt Publishing
Neuro-Symbolic AI: Design transparent and trustworthy systems that understand the world as you do
R 1,913
Learning Microsoft Power Automate: Improving Productivity for Business Processes and Workflows
O'Reilly
Learning Microsoft Power Automate: Improving Productivity for Business Processes and Workflows
R 2,298
Formal Verification of Floating-Point Hardware Design: A Mathematical Approach
Springer
Formal Verification of Floating-Point Hardware Design: A Mathematical Approach
R 788
The Designer's Guide to VHDL, Third Edition (Systems on Silicon)
Morgan Kaufmann
The Designer's Guide to VHDL, Third Edition (Systems on Silicon)
R 2,251
Modern Logic: A Text in Elementary Symbolic Logic
Oxford University Press, USA
Modern Logic: A Text in Elementary Symbolic Logic
R 870
Digital Design with Chisel
Majosta
Digital Design with Chisel
R 570
Contemporary Logic Design
PEARSON EDUCATION
Contemporary Logic Design
R 953
The Calculus of Computation: Decision Procedures with Applications to Verification
Springer
The Calculus of Computation: Decision Procedures with Applications to Verification
R 2,757