Title: Handbook of Practical Logic and Automated Reasoning, Author: John Harrison
Title: Introduction to Logic Design / Edition 3, Author: Alan B. Marcovitz
Title: Principles and Structures of FPGAs, Author: Hideharu Amano
Title: Fundamentals of Digital Logic with Verilog Design / Edition 3, Author: Zvonko Vranesic
Title: Synthesis of Arithmetic Circuits: FPGA, ASIC and Embedded Systems / Edition 1, Author: Jean-Pierre Deschamps
Title: The Clausal Theory of Types, Author: D. A. Wolfram
Title: Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification, Author: Zhe Hou
Title: Circuit Synthesis with VHDL / Edition 1, Author: Roland Airiau
Title: Advances in Computational and Stochastic Optimization, Logic Programming, and Heuristic Search: Interfaces in Computer Science and Operations Research / Edition 1, Author: David L. Woodruff
Title: Formal Verification of Floating-Point Hardware Design: A Mathematical Approach, Author: David M. Russinoff
Title: Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 3: Nonmonotonic Reasoning and Uncertain Reasoning, Author: Dov M. Gabbay
Title: Handbook of Logic and Proof Techniques for Computer Science, Author: Steven G. Krantz
Title: Constraint Handling Rules, Author: Thom Frühwirth
Title: Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 5: Logic ProgrammingVolume 5: Logic Programming, Author: Dov M. Gabbay
Title: Artificial Intelligence in Logic Design / Edition 1, Author: Svetlana N. Yanushkevich
Title: Architecture and CAD for Deep-Submicron FPGAS / Edition 1, Author: Vaughn Betz
Title: Integrating Functional and Temporal Domains in Logic Design: The False Path Problem and Its Implications / Edition 1, Author: Patrick C. McGeer
Title: Computation Engineering: Applied Automata Theory and Logic / Edition 1, Author: Ganesh Gopalakrishnan
Title: Introduction to Logic Design / Edition 1, Author: Svetlana N. Yanushkevich
Title: Multiple-Valued Logic Design: an Introduction / Edition 1, Author: G Epstein

Pagination Links