New Data Structures and Algorithms for Logic Synthesis and Verification

EISBN:9783319431741
PISBN:9783319431734
出版社:Springer International Publishing
出版类型:Monograph
出版时间:2017
版次:1st ed. 2017
作者:Luca Gaetano Amaru
主题词:Circuits and Systems,Processor Architectures,Logic Design
语种:英语
所属数据库:SpringerLink电子图书
相关推荐

Logic Synthesis and Verification Algorithms

  • 作者:Gary D. Hachtel,Fabio Somenzi
  • EISBN:9780387310053
  • 出版社:Springer US
  • 出版时间:1996

Logic Synthesis and Verification Algorithms

  • 作者:Gary D. Hachtel,Fabio Somenzi
  • EISBN:9780306475924
  • 出版社:Springer US
  • 出版时间:1996

Logic Synthesis and Verification Algorithms

  • 作者:Gary D. Hachtel,Fabio Somenzi
  • EISBN:9780306475924
  • 出版社:Springer US
  • 出版时间:1996

Logic Synthesis and Verification

  • 作者:Soha Hassoun,Tsutomu Sasao
  • EISBN:9781461508175
  • 出版社:Springer US
  • 出版时间:2002

Logic Synthesis and Verification

  • 作者:Soha Hassoun,Tsutomu Sasao
  • EISBN:9781461508175
  • 出版社:Springer US
  • 出版时间:2002

Algorithms and Data Structures

  • 作者:Frank Dehne,Arvind Gupta,Jörg-Rüdiger Sack,Roberto Tamassia
  • EISBN:9783540484479
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1999