登录
机构网站
切换导航
首页
到馆服务
学科服务
研究支持
情报产品
数据资源
科学传播
关于我们
首页
馆藏纸本
图书详情
Correct hardware design and verification methods : 13th IFIP WG 10.5 advanced research working confe
出版社：
Berlin ; New York : Springer, c2005.
ISBN：
3540291059
出版年：
2005
作者：
Borrione,Dominique.
资源类型：
图书
细分类型：
西文文献
1浏览量
问图书管理员
馆际互借
点赞
收藏
访问借阅管理系统
分享
相关推荐
Correct hardware design and verification methods : 12th IFIP WG 10.5 Advanced Research Working Confe
作者：
CHARME 2003
ISBN：
354020363X
出版社：
Berlin ; New York : Springer-Verlag, c2003.
出版年：
2003
Correct hardware design and verification methods : 11th IFIP WG10.5 Advanced Research Working Confer
作者：
Margaria,Tiziana,
ISBN：
3540425411
出版社：
Berlin : New York : Springer, c2001.
出版年：
2001
Correct hardware design and verification methods : IFIP WG10.5 Advanced Research Working Conference,
作者：
Camurati,Paolo,
ISBN：
3540603859
出版社：
Berlin ; New York : Springer, c1995.
出版年：
1995
Correct hardware design and verification methods : IFIP WG10.2 Advanced Research Working Conference,
作者：
Milne,George J.,
ISBN：
354056778X
出版社：
Berlin ; New York : Springer-Verlag, c1993.
出版年：
1993
Formal methods for VLSI design : IFIP WG 10.5 lecture notes
作者：
Staunstrup,J.
ISBN：
0444888586
出版社：
Amsterdam ; New York : North-Holland ; New York, N.Y., U.S.A. : Distributors for the U.S. and Canada
出版年：
1990
Collaborative networks in the internet of services : 13th IFIP WG 5.5 Working Conference on Virtual
作者：
IFIP TC5 WG5.5 Working Conference on Virtual Enterprises
ISBN：
9783642327742
出版社：
Heidelberg ; New York : Springer, c2012.
出版年：
2012
×
访问借阅管理系统
问图书管理员
馆际互借