Home Advanced Search

Advanced Search - Page 1

Logic Synthesis and Verification Algorithms
  • PDF
  • English
  • Year: 2002
  • Author: Gary D. Hachtel, Fabio Somenzi (auth.)
Logic Synthesis and Verification Algorithms
  • DJVU
  • English
  • Year: 1996
  • Author: Hachtel G.D., Somenzi F.
Logic Synthesis and Verification Algorithms
  • DJVU
  • English
  • Year: 1996
  • Author: Hachtel G.D., Somenzi F.
Logic Minimization Algorithms for VLSI Synthesis
  • PDF
  • English
  • Year: 1984
  • Author: Robert K. Brayton, Gary D. Hachtel, Curtis T. McMullen, Alberto L. Sangiovanni-Vincentelli (auth.)
Computer Aided Verification: 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003. Proceedings
  • PDF
  • English
  • Year: 2003
  • Author: Simon N. Foley (auth.), Warren A. Hunt Jr., Fabio Somenzi (eds.)
The Nanoscale Optical Properties of Complex Nanostructures
  • PDF
  • English
  • Year: 2018
  • Author: Jordan A. Hachtel (auth.)
Management für Ingenieure: Technisches Management für Ingenieure in Produktion und Logistik
  • PDF
  • German
  • Year: 2010
  • Author: Günther Hachtel, Ulrich Holzbaur (auth.)
Management fur Ingenieure: Technisches Management fur Ingenieure in Produktion und Logistik
  • PDF
  • German
  • Year: 2010
  • Author: Günther Hachtel, Ulrich Holzbaur (auth.)
Interpolating Cubic Splines
  • DJVU
  • English
  • Year: 2000
  • Author: Gary D. Knott (auth.)