New data structures and algorithms for logic synthesis and verification

出版社:Switzerland : Springer, 2017.
ISBN:9783319431734
出版年:2017
作者:Amaru,Luca Gaetano,
资源类型:图书
细分类型:西文文献
相关推荐

Logic synthesis and verification algorithms

  • 作者:Hachtel,Gary D.
  • ISBN:0387310045
  • 出版社:Boston : Kluwer Academic Publishers, c1996.
  • 出版年:1996

Logic synthesis and verification

  • 作者:Hassoun,Soha.
  • ISBN:0792376064
  • 出版社:Boston : Kluwer Academic Publishers, c2002.
  • 出版年:2002

Data structures and algorithms

  • 作者:Chang,S. K.
  • ISBN:9812383484 RMB
  • 出版社:Singapore ; River Edge, NJ : World Scientific, c2003.
  • 出版年:2003

Handbook of algorithms and data structures

  • 作者:Gonnet,G. H.
  • ISBN:020114218X
  • 出版社:London ; Reading, Mass. : Addison-Wesley Pub. Co., c1984.
  • 出版年:1984

Algorithms + data structures=programs

  • 作者:Wirth,Niklaus.
  • ISBN:0130224189
  • 出版社:Englewood Cliffs, N.J. : Prentice-Hall, c1976.
  • 出版年:1976

Logic minimization algorithms for VLSI synthesis

  • 作者:Brayton,Robert King.
  • ISBN:0898381649
  • 出版社:Boston : Kluwer Academic Publishers, c1984.
  • 出版年:1984