登录
机构网站
切换导航
首页
到馆服务
学科服务
研究支持
情报产品
数据资源
科学传播
关于我们
首页
馆藏纸本
图书详情
New data structures and algorithms for logic synthesis and verification
出版社:
Switzerland : Springer, 2017.
ISBN:
9783319431734
出版年:
2017
作者:
Amaru,Luca Gaetano,
资源类型:
图书
细分类型:
西文文献
1浏览量
问图书管理员
馆际互借
点赞
收藏
访问借阅管理系统
分享
相关推荐
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
×
访问借阅管理系统