50% Off The Criterion Collection Shop Now
1- 20 of 302 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: VHDL: A logic synthesis approach / Edition 1, Author: D. Naylor
QUICK ADD
VHDL: A logic synthesis…
by D. Naylor, S. Jones
Hardcover $169.99
Title: Verilog HDL Synthesis: A Practical Primer, Author: J. Bhasker
QUICK ADD
Verilog HDL Synthesis: A…
by J. Bhasker
Paperback $74.95
Title: Using Microsoft Paint To Design Book Covers: A Guide for e-book and print book cover designs, Author: John Monyjok Maluth
QUICK ADD
Using Microsoft Paint To…
by John Monyjok Maluth
#10 in Series
Paperback $38.99
Title: Types for Proofs and Programs: International Workshop TYPES'96, Aussois, France, December 15-19, 1996 Selected Papers / Edition 1, Author: Eduardo Gimenez
QUICK ADD
Types for Proofs and Programs:…
by Eduardo Gimenez, Christine Paulin-Mohring
#1512 in Series
Paperback $54.99
Title: Transactions on High-Performance Embedded Architectures and Compilers V, Author: Cristina Silvano
QUICK ADD
Transactions on…
by Cristina Silvano, Koen Bertels, Michael Schulte
#11225 in Series
Paperback $54.99
Title: Transactions and Change in Logic Databases: International Seminar on Logic Databases and the Meaning of Change, Schloss Dagstuhl, Germany, September 23-27, 1996 and ILPS'97 Post-Conference Workshop on (Trans)Actions and Change in Logic Programming and Ded / Edition 1, Author: Burkhard Freitag
QUICK ADD
Transactions and Change in…
by Burkhard Freitag, Hendrik Decker, Michael Kifer, Andrei Voronkov
#1472 in Series
Paperback $54.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: The Tbilisi Symposium on Logic, Language and Computation: Selected Papers, Author: Jonathan Ginzburg
QUICK ADD
The Tbilisi Symposium on Logic…
by Jonathan Ginzburg (Editor), Zurab Khasidashvili (Editor), Carl Vogel (Editor), Jean-Jacques Levy (Editor)
Explore Series
eBook $21.00
Title: The Logician and the Engineer: How George Boole and Claude Shannon Created the Information Age, Author: Paul Nahin
QUICK ADD
The Logician and the Engineer:…
by Paul Nahin
Paperback $19.95
Title: The Logic Programming Tutor, Author: Jocelyn Paine
QUICK ADD
The Logic Programming Tutor
by Jocelyn Paine
Hardcover $169.99
Title: The Logic Programming Paradigm: A 25-Year Perspective, Author: Krzysztof R. Apt
QUICK ADD
The Logic Programming Paradigm…
by Krzysztof R. Apt (Editor), Victor W. Marek (Editor), Mirek Truszczynski (Editor), David S. Warren (Editor)
Explore Series
Paperback $109.99
Title: The Logic of Typed Feature Structures: With Applications to Unification Grammars, Logic Programs and Constraint Resolution, Author: Robert L. Carpenter
QUICK ADD
The Logic of Typed Feature…
by Robert L. Carpenter
#32 in Series
Paperback $55.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
Title: Termination Proofs for Logic Programs, Author: Lutz Plümer
QUICK ADD
Termination Proofs for Logic…
by Lutz Plümer
#446 in Series
Paperback $54.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
Paperback $109.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: 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: Synchronous Precharge Logic, Author: Marek Smoszna
QUICK ADD
Synchronous Precharge Logic
by Marek Smoszna
Paperback $79.95
Title: Symbolic Model Checking, Author: Kenneth L. McMillan
QUICK ADD
Symbolic Model Checking
by Kenneth L. McMillan
Paperback $54.99
Title: Switching Theory for Logic Synthesis / Edition 1, Author: Tsutomu Sasao
QUICK ADD
Switching Theory for Logic…
by Tsutomu Sasao
Hardcover $169.99

Pagination Links