Title: VHDL: A logic synthesis approach / Edition 1, Author: D. Naylor
Title: Timed Boolean Functions: A Unified Formalism for Exact Timing Analysis / Edition 1, Author: William K.C. Lam
Title: The Clausal Theory of Types, Author: D. A. Wolfram
Title: Synthesis Techniques and Optimizations for Reconfigurable Systems / Edition 1, Author: Ryan Kastner
Title: Synthesis of Finite State Machines: Logic Optimization / Edition 1, Author: Tiziano Villa
Title: Synthesis of Arithmetic Circuits: FPGA, ASIC and Embedded Systems / Edition 1, Author: Jean-Pierre Deschamps
Title: Switching Theory for Logic Synthesis / Edition 1, Author: Tsutomu Sasao
Title: Structural Health Monitoring: A Machine Learning Perspective / Edition 1, Author: Charles R. Farrar
Title: Sequential Optimization of Asynchronous and Synchronous Finite-State Machines: Algorithms and Tools / Edition 1, Author: Robert M. Fuhrer
Title: Sequential Logic Testing and Verification / Edition 1, Author: Abhijit Ghosh
Title: Separation Logic for High-level Synthesis, Author: Felix Winterstein
Title: Representations of Discrete Functions / Edition 1, Author: Tsutomu Sasao
Title: Reasoning in Boolean Networks: Logic Synthesis and Verification Using Testing Techniques / Edition 1, Author: Wolfgang Kunz
Title: Quantum Theoretic Machines: What is thought from the point of view of Physics?, Author: A. Stern
Title: Principles of Modern Digital Design / Edition 1, Author: Parag K. Lala
Title: Principles and Structures of FPGAs, Author: Hideharu Amano
Title: Parallel and Distributed Logic Programming: Towards the Design of a Framework for the Next Generation Database Machines / Edition 1, Author: Alakananda Bhattacharya
Title: Parallel and Constraint Logic Programming: An Introduction to Logic, Parallelism and Constraints / Edition 1, Author: Ioannis Vlahavas
Title: Multiprocessor Execution of Logic Programs / Edition 1, Author: Gopal Gupta
Title: Multiple-Valued Logic Design: an Introduction / Edition 1, Author: G Epstein

Pagination Links