Title: Logic Minimization Algorithms for VLSI Synthesis / Edition 1, Author: Robert K. Brayton
Title: Integrating Functional and Temporal Domains in Logic Design: The False Path Problem and Its Implications / Edition 1, Author: Patrick C. McGeer
Title: Sequential Logic Testing and Verification / Edition 1, Author: Abhijit Ghosh
Title: Godel's Incompleteness Theorems / Edition 1, Author: Raymond M. Smullyan
Title: Multiple-Valued Logic Design: an Introduction / Edition 1, Author: G Epstein
Title: Logic Synthesis and Optimization / Edition 1, Author: Tsutomu Sasao
Title: Logic Circuit Design / Edition 1, Author: Alan W. Shaw
Title: The Clausal Theory of Types, Author: D. A. Wolfram
Title: Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 1: Logical Foundations, Author: Dov M. Gabbay
Title: Field-Programmable Gate Array Technology / Edition 1, Author: Stephen M. Trimberger
Title: Circuit Synthesis with VHDL / Edition 1, Author: Roland Airiau
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 in Artificial Intelligence and Logic Programming: Volume 2: Deduction Methodologies, Author: Dov M. Gabbay
Title: Timed Boolean Functions: A Unified Formalism for Exact Timing Analysis / Edition 1, Author: William K.C. Lam
Title: Logic Synthesis for Control Automata / Edition 1, Author: Samary Baranov
Title: Implementations of Logic Programming Systems / Edition 1, Author: Evan Tick
Title: Multiprocessor Execution of Logic Programs / Edition 1, Author: Gopal Gupta
Title: Cooperating Heterogeneous Systems / Edition 1, Author: David G. Schwartz
Title: Applications of Logic Databases / Edition 1, Author: Raghu Ramakrishnan
Title: Logic Program Synthesis from Incomplete Information / Edition 1, Author: Pierre Flener

Pagination Links