Title: Sequential Logic Testing and Verification / Edition 1, Author: Abhijit Ghosh
Title: Synthesis of Finite State Machines: Logic Optimization / Edition 1, Author: Tiziano Villa
Title: Computation Engineering: Applied Automata Theory and Logic / Edition 1, Author: Ganesh Gopalakrishnan
Title: Advances in Inductive Logic Programming / Edition 1, Author: L. De Raedt
Title: Formal Logical Methods for System Security and Correctness, Author: Orna Grumberg
Title: Digital Design and Implementation with Field Programmable Devices / Edition 1, Author: Zainalabedin Navabi
Title: Fundamentals of Logic Design / Edition 7, Author: Jr.
Title: Logic Minimization Algorithms for VLSI Synthesis / Edition 1, Author: Robert K. Brayton
Title: Logic-Based 0-1 Constraint Programming / Edition 1, Author: Peter Barth
Title: Godel's Incompleteness Theorems / Edition 1, Author: Raymond M. Smullyan
Title: Logic Synthesis Using Synopsys� / Edition 2, Author: Pran Kurup
Title: Artificial Intelligence in Logic Design / Edition 1, Author: Svetlana N. Yanushkevich
Title: Self-Checking and Fault-Tolerant Digital Design / Edition 1, Author: Parag K. Lala
Title: Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 2: Deduction Methodologies, Author: Dov M. Gabbay
Title: Synthesis of Arithmetic Circuits: FPGA, ASIC and Embedded Systems / Edition 1, Author: Jean-Pierre Deschamps
Title: Timed Boolean Functions: A Unified Formalism for Exact Timing Analysis / Edition 1, Author: William K.C. Lam
Title: Discrete Structures, Logic, and Computability / Edition 3, Author: James L. Hein
Title: Decision Theory With Imperfect Information, Author: Rafik Aziz Aliev
Title: Synthesis Techniques and Optimizations for Reconfigurable Systems / Edition 1, Author: Ryan Kastner
Title: Circuit Synthesis with VHDL / Edition 1, Author: Roland Airiau

Pagination Links