1- 20 of 96 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: The Origins of Digital Computers: Selected Papers / Edition 3, Author: B. Randell
QUICK ADD
The Origins of Digital…
by B. Randell
Explore Series
Hardcover $219.99
Title: Logic Minimization Algorithms for VLSI Synthesis / Edition 1, Author: Robert K. Brayton
QUICK ADD
Logic Minimization Algorithms…
by Robert K. Brayton, Gary D. Hachtel, C. McMullen, Alberto L. Sangiovanni-Vincentelli
#2 in Series
Hardcover $199.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: 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: Sequential Logic Testing and Verification / Edition 1, Author: Abhijit Ghosh
QUICK ADD
Sequential Logic Testing and…
by Abhijit Ghosh, Srinivas Devadas, A. Richard Newton
#163 in Series
Hardcover $169.99
Title: Logic Programming - New Frontiers, Author: D.R. Brough
QUICK ADD
Logic Programming - New…
by D.R. Brough (Editor)
Explore Series
Hardcover $189.00
Title: The Logic Programming Tutor, Author: Jocelyn Paine
QUICK ADD
The Logic Programming Tutor
by Jocelyn Paine
Hardcover $169.99
Title: Godel's Incompleteness Theorems / Edition 1, Author: Raymond M. Smullyan
QUICK ADD
Godel's Incompleteness…
by Smullyan, Raymond M. Smullyan
#19 in Series
Hardcover $385.00
Title: Multiple-Valued Logic Design: an Introduction / Edition 1, Author: G Epstein
QUICK ADD
Multiple-Valued Logic Design:…
by G Epstein
Hardcover $475.00
Title: Logic Synthesis and Optimization / Edition 1, Author: Tsutomu Sasao
QUICK ADD
Logic Synthesis and…
by Tsutomu Sasao
#212 in Series
Hardcover $169.99
Title: Logic Circuit Design / Edition 1, Author: Alan W. Shaw
QUICK ADD
Logic Circuit Design / Edition…
by Alan W. Shaw
Explore Series
Hardcover $279.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: Symbolic Model Checking, Author: Kenneth L McMillan
QUICK ADD
Symbolic Model Checking
by Kenneth L McMillan
Hardcover $125.00
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: Logical Methods: In Honor of Anil Nerode's Sixtieth Birthday, Author: John N. Crossley
QUICK ADD
Logical Methods: In Honor of…
by John N. Crossley (Editor), Jeffrey B. Remmel (Editor), Richard Shore (Editor), Moss E. Sweedler (Editor)
#12 in Series
Hardcover $169.99
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: 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 3: Nonmonotonic Reasoning and Uncertain Reasoning, Author: Dov M. Gabbay
QUICK ADD
Handbook of Logic in…
by Dov M. Gabbay, C. J. Hogger, J. A. Robinson
Explore Series
Hardcover $540.00
Title: Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 2: Deduction Methodologies, Author: Dov M. Gabbay
QUICK ADD
Handbook of Logic in…
by Dov M. Gabbay, C. J. Hogger, J. A. Robinson
Explore Series
Hardcover $490.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

Pagination Links