Title: Advanced ASIC Chip Synthesis: Using Synopsys' Design Compiler and PrimeTime, Author: Himanshu Bhatnagar
Title: Advanced Techniques in Logic Synthesis, Optimizations and Applications, Author: Kanupriya Gulati
Title: Advances in Computational and Stochastic Optimization, Logic Programming, and Heuristic Search: Interfaces in Computer Science and Operations Research, Author: David L. Woodruff
Title: Advances in Temporal Logic, Author: Howard Barringer
Title: Applications of Logic Databases, Author: Raghu Ramakrishnan
Title: Architecture and CAD for Deep-Submicron FPGAS, Author: Vaughn Betz
Title: Arithmetic and Logic in Computer Systems, Author: Mi Lu
Title: Artificial Intelligence in Logic Design, Author: Svetlana N. Yanushkevich
Title: Autonomous, Model-Based Diagnosis Agents, Author: Michael Schroeder
Title: Circuit Synthesis with VHDL, Author: Roland Airiau
Title: CMOS Logic Circuit Design, Author: John P. Uyemura
Title: Compressed Data Structures for Strings: On Searching and Extracting Strings from Compressed Textual Data, Author: Rossano Venturini
Title: Computation Engineering: Applied Automata Theory and Logic, Author: Ganesh Gopalakrishnan
Title: Computational Logic, Author: Ulrich Berger
Title: Computer-Aided Design Techniques for Low Power Sequential Logic Circuits, Author: José Monteiro
Title: Constraint Handling Rules, Author: Thom Frühwirth
Title: Cooperating Heterogeneous Systems, Author: David G. Schwartz
Title: Cooperation in Heterogeneous Theorem Prover Networks, Author: Dirk Fuchs
Title: Decision Theory With Imperfect Information, Author: Rafik Aziz Aliev
Title: Digital Design and Implementation with Field Programmable Devices, Author: Zainalabedin Navabi

Pagination Links