Home Advanced Search

Advanced Search - Page 1

Abstraction Refinement for Large Scale Model Checking
  • PDF
  • English
  • Year: 2006
  • Author: Chao Wang, Gary D. Hachtel, Fabio Somenzi
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.
Battery Systems Engineering
  • PDF
  • English
  • Year: 2013
  • Author: Christopher D. Rahn, Chao-Yang Wang
High Performance Computing for Big Data: Methodologies and Applications
  • PDF
  • English
  • Year: 2017
  • Author: Chao Wang
High Performance Computing for Big Data: Methodologies and Applications
  • PDF
  • English
  • Year: 2018
  • Author: Chao Wang
High performance computing for big data : methodologies and applications
  • PDF
  • English
  • Year: 2018
  • Author: Wang, Chao
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.)
Engineering Design under Uncertainty and Health Prognostics
  • PDF
  • English
  • Year: 2019
  • Author: Chao Hu, Byeng D. Youn, Pingfeng Wang
search