Title: Switching Theory for Logic Synthesis / Edition 1, Author: Tsutomu Sasao
Title: Synchronous Precharge Logic, Author: Marek Smoszna
Title: Synthesis of Arithmetic Circuits: FPGA, ASIC and Embedded Systems / Edition 1, Author: Jean-Pierre Deschamps
Title: Synthesis of Finite State Machines: Logic Optimization / Edition 1, Author: Tiziano Villa
Title: Synthesis Techniques and Optimizations for Reconfigurable Systems / Edition 1, Author: Ryan Kastner
Title: The Clausal Theory of Types, Author: D. A. Wolfram
Title: Timed Boolean Functions: A Unified Formalism for Exact Timing Analysis / Edition 1, Author: William K.C. Lam
Title: Transactions and Change in Logic Databases: International Seminar on Logic Databases and the Meaning of Change, Schloss Dagstuhl, Germany, September 23-27, 1996 and ILPS'97 Post-Conference Workshop on (Trans)Actions and Change in Logic Programming and Ded / Edition 1, Author: Burkhard Freitag
Title: Transactions on High-Performance Embedded Architectures and Compilers V, Author: Cristina Silvano
Title: Types for Proofs and Programs: International Workshop TYPES'96, Aussois, France, December 15-19, 1996 Selected Papers / Edition 1, Author: Eduardo Gimenez
Title: VHDL: A logic synthesis approach / Edition 1, Author: D. Naylor

Pagination Links