Title: High Speed Digital Design: A Handbook of Black Magic, Author: Howard Johnson
Title: Introduction to Logic Design, Author: Alan B. Marcovitz
Title: Fundamentals of Digital Logic with Verilog Design, Author: Zvonko Vranesic
Title: Parallelism and Implementation of Logic and Constraint Logic Programming, Author: Ines de Castro Dutra
Title: Advanced Techniques in Logic Synthesis, Optimizations and Applications, Author: Kanupriya Gulati
Title: Logic and Language: Studies dedicated to Professor Rudolf Carnap on the Occasion of his Seventieth Birthday, Author: B.H. Kazemier
Title: Timed Boolean Functions: A Unified Formalism for Exact Timing Analysis, Author: William K.C. Lam
Title: Sequential Optimization of Asynchronous and Synchronous Finite-State Machines: Algorithms and Tools, Author: Robert M. Fuhrer
Title: Parallel and Constraint Logic Programming: An Introduction to Logic, Parallelism and Constraints, Author: Ioannis Vlahavas
Title: Separation Logic for High-level Synthesis, Author: Felix Winterstein
Title: Switching Theory for Logic Synthesis, Author: Tsutomu Sasao
Title: Logical Methods: In Honor of Anil Nerode's Sixtieth Birthday, Author: John N. Crossley
Title: Logic Design of NanoICS, Author: Svetlana N. Yanushkevich
Title: Logic Synthesis for Low Power VLSI Designs, Author: Sasan Iman
Title: Implementations of Logic Programming Systems, Author: Evan Tick
Title: Symbolic Model Checking, Author: Kenneth L McMillan
Title: Artificial Intelligence in Logic Design, Author: Svetlana N. Yanushkevich
Title: Handbook of Logic and Proof Techniques for Computer Science, Author: Steven G. Krantz
Title: Cooperation in Heterogeneous Theorem Prover Networks, Author: Dirk Fuchs
Title: Field-Programmable Gate Array Technology, Author: Stephen M. Trimberger

Pagination Links