Title: High Speed Digital Design: A Handbook of Black Magic, Author: Howard Johnson
Title: Handbook of Practical Logic and Automated Reasoning, Author: John Harrison
Title: Advanced ASIC Chip Synthesis: Using Synopsys' Design Compiler and PrimeTime, Author: Himanshu Bhatnagar
Title: Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification, Author: Zhe Hou
Title: Principles of Verilog Digital Design, Author: Wen-Long Chin
Title: Field-Programmable Gate Array Technology, Author: Stephen M. Trimberger
Title: Sequential Logic Synthesis, Author: Pranav Ashar
Title: Structural Health Monitoring: A Machine Learning Perspective, Author: Charles R. Farrar
Title: Synthesis of Finite State Machines: Logic Optimization, Author: Tiziano Villa
Title: Integrating Functional and Temporal Domains in Logic Design: The False Path Problem and Its Implications, Author: Patrick C. McGeer
Title: Symbolic Model Checking, Author: Kenneth L McMillan
Title: Parallel and Distributed Logic Programming: Towards the Design of a Framework for the Next Generation Database Machines, Author: Alakananda Bhattacharya
Title: Decision Theory With Imperfect Information, Author: Rafik Aziz Aliev
Title: Logic Synthesis and Optimization, Author: Tsutomu Sasao
Title: Digital Logic Design: A Rigorous Approach, Author: Guy Even
Title: Advances in Computational and Stochastic Optimization, Logic Programming, and Heuristic Search: Interfaces in Computer Science and Operations Research, Author: David L. Woodruff
Title: Multiprocessor Execution of Logic Programs, Author: Gopal Gupta
Title: Field-Programmable Gate Arrays: Reconfigurable Logic for Rapid Prototyping and Implementation of Digital Systems, Author: John V. Oldfield
Title: Logics for Emerging Applications of Databases, Author: Jan Chomicki
Title: VHDL: A logic synthesis approach, Author: D. Naylor

Pagination Links