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,155
Logic Synthesis and Verification Algorithms
Springer
Logic Synthesis and Verification Algorithms
R 968
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,945
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,336
Formal Verification of Floating-Point Hardware Design: A Mathematical Approach
Springer
Formal Verification of Floating-Point Hardware Design: A Mathematical Approach
R 800
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,288
Modern Logic: A Text in Elementary Symbolic Logic
Oxford University Press, USA
Modern Logic: A Text in Elementary Symbolic Logic
R 884
Digital Design with Chisel
Majosta
Digital Design with Chisel
R 578
Contemporary Logic Design
PEARSON EDUCATION
Contemporary Logic Design
R 968
The Calculus of Computation: Decision Procedures with Applications to Verification
Springer
The Calculus of Computation: Decision Procedures with Applications to Verification
R 2,804