1- 20 of 91 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Handbook of Logic and Proof Techniques for Computer Science, Author: Steven G. Krantz
QUICK ADD
Handbook of Logic and Proof…
by Steven G. Krantz
Hardcover $54.99
Title: Fundamentals of Switching Theory and Logic Design: A Hands on Approach / Edition 1, Author: Jaakko Astola
QUICK ADD
Fundamentals of Switching…
by Jaakko Astola, Radomir S. Stankovic
Hardcover $54.99
Title: Logic for Learning: Learning Comprehensible Theories from Structured Data, Author: John W. Lloyd
QUICK ADD
Logic for Learning: Learning…
by John W. Lloyd
Explore Series
Hardcover $54.99
Title: Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification, Author: Zhe Hou
QUICK ADD
Fundamentals of Logic and…
by Zhe Hou
Explore Series
Hardcover $64.99
Title: Constraint Handling Rules, Author: Thom Frühwirth
QUICK ADD
Constraint Handling Rules
by Thom Frühwirth
Hardcover $69.00
Title: Digital Logic Design: A Rigorous Approach, Author: Guy Even
QUICK ADD
Digital Logic Design: A…
by Guy Even, Moti Medina
Hardcover $74.00
Title: The Clausal Theory of Types, Author: D. A. Wolfram
QUICK ADD
The Clausal Theory of Types
by D. A. Wolfram
#21 in Series
Hardcover $77.99
Title: Digital Logic for Computing, Author: John Seiffertt
QUICK ADD
Digital Logic for Computing
by John Seiffertt
Hardcover $84.99
Title: Synthesis of Finite State Machines: Logic Optimization / Edition 1, Author: Tiziano Villa
QUICK ADD
Synthesis of Finite State…
by Tiziano Villa, Timothy Kam, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
Hardcover $109.99
Title: Cooperating Heterogeneous Systems / Edition 1, Author: David G. Schwartz
QUICK ADD
Cooperating Heterogeneous…
by David G. Schwartz
#299 in Series
Hardcover $109.99
Title: Implementations of Logic Programming Systems / Edition 1, Author: Evan Tick
QUICK ADD
Implementations of Logic…
by Evan Tick, Giancarlo Succi
Hardcover $109.99
Title: Timed Boolean Functions: A Unified Formalism for Exact Timing Analysis / Edition 1, Author: William K.C. Lam
QUICK ADD
Timed Boolean Functions: A…
by William K.C. Lam, Robert K. Brayton
#270 in Series
Hardcover $109.99
Title: Logical Structures for Representation of Knowledge and Uncertainty / Edition 1, Author: Ellen Hisdal
QUICK ADD
Logical Structures for…
by Ellen Hisdal
#14 in Series
Hardcover $109.99
Title: Separation Logic for High-level Synthesis, Author: Felix Winterstein
QUICK ADD
Separation Logic for…
by Felix Winterstein
Explore Series
Hardcover $109.99
Title: Logics for Emerging Applications of Databases / Edition 1, Author: Jan Chomicki
QUICK ADD
Logics for Emerging…
by Jan Chomicki, Ron van der Meyden, Gunter Saake
Hardcover $109.99
Title: Autonomous, Model-Based Diagnosis Agents / Edition 1, Author: Michael Schroeder
QUICK ADD
Autonomous, Model-Based…
by Michael Schroeder
#442 in Series
Hardcover $109.99
Title: Sequential Logic Synthesis, Author: Pranav Ashar
QUICK ADD
Sequential Logic Synthesis
by Pranav Ashar, S. Devadas, A. Richard Newton
#162 in Series
Hardcover $109.99
Title: Logic-Based 0-1 Constraint Programming / Edition 1, Author: Peter Barth
QUICK ADD
Logic-Based 0-1 Constraint…
by Peter Barth
#5 in Series
Hardcover $109.99
Title: Sequential Optimization of Asynchronous and Synchronous Finite-State Machines: Algorithms and Tools / Edition 1, Author: Robert M. Fuhrer
QUICK ADD
Sequential Optimization of…
by Robert M. Fuhrer, Steven M. Nowick
Hardcover $109.99
Title: Synthesis Techniques and Optimizations for Reconfigurable Systems / Edition 1, Author: Ryan Kastner
QUICK ADD
Synthesis Techniques and…
by Ryan Kastner, Adam Kaplan, Majid Sarrafzadeh
Hardcover $109.99

Pagination Links