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,204
Logic Synthesis and Verification Algorithms
Springer
Logic Synthesis and Verification Algorithms
R 1,016
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,995
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,385
Formal Verification of Floating-Point Hardware Design: A Mathematical Approach
Springer
Formal Verification of Floating-Point Hardware Design: A Mathematical Approach
R 850
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,337
Modern Logic: A Text in Elementary Symbolic Logic
Oxford University Press, USA
Modern Logic: A Text in Elementary Symbolic Logic
R 933
Digital Design with Chisel
Majosta
Digital Design with Chisel
R 629
Contemporary Logic Design
PEARSON EDUCATION
Contemporary Logic Design
R 1,016
The Calculus of Computation: Decision Procedures with Applications to Verification
Springer
The Calculus of Computation: Decision Procedures with Applications to Verification
R 2,854