登录
机构网站
切换导航
首页
到馆服务
学科服务
研究支持
情报产品
数据资源
科学传播
关于我们
首页
馆藏纸本
图书详情
2010 Ninth International Workshop on Parallel and Distributed Methods in VerifiCation and Second In
出版社:
Piscataway, N.J. : IEEE, c2010.
ISBN:
9781424487530
出版年:
2010
作者:
International Workshop on Parallel and Distributed Methods in VerifiCation
资源类型:
图书
细分类型:
西文文献
1浏览量
问图书管理员
馆际互借
点赞
收藏
访问借阅管理系统
分享
相关推荐
2010 Ninth International Symposium on Parallel and Distributed Computing (ISPDC 2010) : Istanbul, Tu
作者:
International Symposium on Parallel and Distributed Computing
ISBN:
9781424476022
出版社:
Piscataway, N.J. : IEEE Computer Society, c2010.
出版年:
2010
Parallel and distributed processing : proceedings of the Second Workshop on Parallel and Distributed
作者:
Workshop on Parallel and Distributed Processing
ISBN:
0444888683
出版社:
Amsterdam ; New York : North-Holland ; New York, N.Y., U.S.A. : Distributors for the U.S. and Canada
出版年:
1991
Second Euromicro Workshop on Parallel and Distributed Processing
作者:
Werner,Robert
ISBN:
0818653701
出版社:
Los Alamitos: IEEE Computer Society Press, 1994.
出版年:
1994
2011 IEEE Ninth International Symposium on Parallel and Distributed Processing with Applications Wor
作者:
International Symposium on Parallel and Distributed Processing with Applications Workshops
ISBN:
9781457705243
出版社:
Piscataway, NJ : IEEE, c2011.
出版年:
2011
2011 IEEE Ninth International Symposium on Parallel and Distributed Processing with Applications (IS
作者:
ISPA 2011
ISBN:
9781457703911
出版社:
Piscataway, N.J. : IEEE, c2011.
出版年:
2011
Ninth International Conference on Parallel and Distributed Computing, Applications and Technologies
作者:
International Conference on Parallel and Distributed Computing,Applications and Technologies
ISBN:
9781424436606
出版社:
Los Alamitos, Calif. : IEEE Computer Society, c2008.
出版年:
2008
×
访问借阅管理系统