☰
Home Page
Appliances Arts, Crafts & Sewing Automotive Baby Beauty Books CDs & Vinyl Collectibles & Fine Arts Cell Phones & Accessories Clothing, Shoes & Jewellery Computers Electronics Health & Personal Care Home & Kitchen Industrial & Scientific Luggage & Travel Gear Musical Instruments Office Products Patio, Lawn & Garden Pet Supplies Software Sports & Outdoors Tools & Home Improvement Toys Video Games
Books > Subjects > Computers & Technology > Programming > Software Design, Testing & Engineering > Logic

Logic Synthesis and Verification Algorithms
R 3,622
Logic Synthesis and Verification Algorithms

Mind, Body, World: Foundations of Cognitive Science (OPEL: Open Paths to Enriched Learning)
R 1,977
Mind, Body, World: Foundations of Cognitive Science (OPEL: Open Paths to Enriched Learning)

Rigorous Software Development: An Introduction to Program Verification (Undergraduate Topics in Computer Science)
R 1,977
Rigorous Software Development: An Introduction to Program Verification (Undergraduate Topics in Computer Science)

Guide to Discrete Mathematics: An Accessible Introduction to the History, Theory, Logic and Applications (Texts in Computer Science)
R 2,000
Guide to Discrete Mathematics: An Accessible Introduction to the History, Theory, Logic and Applications (Texts in Computer Science)

Clocking in Modern VLSI Systems (Integrated Circuits and Systems)
R 4,041
Clocking in Modern VLSI Systems (Integrated Circuits and Systems)

Catastrophe Modeling: A New Approach to Managing Risk (Huebner International Series on Risk, Insurance and Economic Security, 25)
R 5,141
Catastrophe Modeling: A New Approach to Managing Risk (Huebner International Series on Risk, Insurance and Economic Security, 25)

An Object-Oriented Approach to Programming Logic and Design
R 3,906
An Object-Oriented Approach to Programming Logic and Design

Advanced ASIC Chip Synthesis: Using Synopsys® Design Compiler™ and PrimeTime®
R 1,433
Advanced ASIC Chip Synthesis: Using Synopsys® Design Compiler™ and PrimeTime®

Building Recommendation Systems in Python and JAX: Hands-On Production Systems at Scale
R 1,523
Building Recommendation Systems in Python and JAX: Hands-On Production Systems at Scale

Universal Logic: An Anthology: From Paul Hertz to Dov Gabbay (Studies in Universal Logic)
R 2,542
Universal Logic: An Anthology: From Paul Hertz to Dov Gabbay (Studies in Universal Logic)

80 - 90 of 100 Results