Just Announced: The Children's & YA Book Awards Winners Explore Now
1- 20 of 78 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Logic Program Synthesis from Incomplete Information / Edition 1, Author: Pierre Flener
QUICK ADD
Logic Program Synthesis from…
by Pierre Flener
#295 in Series
Hardcover $169.99
Title: Cooperation in Heterogeneous Theorem Prover Networks / Edition 1, Author: Dirk Fuchs
QUICK ADD
Cooperation in Heterogeneous…
by Dirk Fuchs
Hardcover $36.00
Title: Circuit Synthesis with VHDL / Edition 1, Author: Roland Airiau
QUICK ADD
Circuit Synthesis with VHDL /…
by Roland Airiau, Jean-Michel Bergï, Vincent Olive
#261 in Series
Hardcover $169.99
Title: Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 1: Logical Foundations, Author: Dov M. Gabbay
QUICK ADD
Handbook of Logic in…
by Dov M. Gabbay, C. J. Hogger, J. A. Robinson, J. Siekmann
Explore Series
Hardcover $490.00
Title: Introduction to Logic Design / Edition 3, Author: Alan B. Marcovitz
QUICK ADD
Introduction to Logic Design /…
by Alan B. Marcovitz
Hardcover from $164.91 $244.75 Current price is $164.91, Original price is $244.75.
Title: Separation Logic for High-level Synthesis, Author: Felix Winterstein
QUICK ADD
Separation Logic for…
by Felix Winterstein
Explore Series
Hardcover $109.99
Title: Self-Checking and Fault-Tolerant Digital Design / Edition 1, Author: Parag K. Lala
QUICK ADD
Self-Checking and…
by Parag K. Lala
Explore Series
Hardcover $115.00
Title: Synthesis of Arithmetic Circuits: FPGA, ASIC and Embedded Systems / Edition 1, Author: Jean-Pierre Deschamps
QUICK ADD
Synthesis of Arithmetic…
by Jean-Pierre Deschamps, Gery J.A. Bioul, Gustavo D. Sutter
Hardcover $211.95
Title: Computational Logic / Edition 1, Author: Ulrich Berger
QUICK ADD
Computational Logic / Edition…
by Ulrich Berger, Helmut Schwichtenberg
#165 in Series
Hardcover $169.99
Title: Reasoning in Boolean Networks: Logic Synthesis and Verification Using Testing Techniques / Edition 1, Author: Wolfgang Kunz
QUICK ADD
Reasoning in Boolean Networks:…
by Wolfgang Kunz, Dominik Stoffel
#9 in Series
Hardcover $169.99
Title: Integrating Functional and Temporal Domains in Logic Design: The False Path Problem and Its Implications / Edition 1, Author: Patrick C. McGeer
QUICK ADD
Integrating Functional and…
by Patrick C. McGeer, Robert K. Brayton
#139 in Series
Hardcover $109.99
Title: Parallel and Constraint Logic Programming: An Introduction to Logic, Parallelism and Constraints / Edition 1, Author: Ioannis Vlahavas
QUICK ADD
Parallel and Constraint Logic…
by Ioannis Vlahavas, Panagiotis Tsarchopoulos, Ilias Sakellariou
#875 in Series
Hardcover $169.99
Title: Advances in Inductive Logic Programming / Edition 1, Author: L. De Raedt
QUICK ADD
Advances in Inductive Logic…
by L. De Raedt
#32 in Series
Hardcover $145.00
Title: Quantum Theoretic Machines: What is thought from the point of view of Physics?, Author: A. Stern
QUICK ADD
Quantum Theoretic Machines:…
by A. Stern
Hardcover $260.00
Title: Field-Programmable Gate Array Technology / Edition 1, Author: Stephen M. Trimberger
QUICK ADD
Field-Programmable Gate Array…
by Stephen M. Trimberger
Hardcover $169.99
Title: Logics for Databases and Information Systems / Edition 1, Author: Jan Chomicki
QUICK ADD
Logics for Databases and…
by Jan Chomicki, Gunter Saake
#436 in Series
Hardcover $219.99
Title: Advanced Signal Integrity for High-Speed Digital Designs / Edition 1, Author: Stephen H. Hall
QUICK ADD
Advanced Signal Integrity for…
by Stephen H. Hall, Howard L. Heck
Explore Series
Hardcover $175.95
Title: Handbook of Practical Logic and Automated Reasoning, Author: John Harrison
QUICK ADD
Handbook of Practical Logic…
by John Harrison
Hardcover $161.00
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: 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

Pagination Links