登录
机构网站
切换导航
首页
到馆服务
学科服务
研究支持
情报产品
数据资源
科学传播
关于我们
首页
馆藏纸本
图书详情
2010 8th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010)
出版社:
Piscataway, N.J. : Institute of Electrical and Electronics Engineers, c2010.
ISBN:
9781424478859
出版年:
2010
作者:
IEEE/ACM International Conference on Formal Methods and Models for Codesign
资源类型:
图书
细分类型:
西文文献
1浏览量
问图书管理员
馆际互借
点赞
收藏
访问借阅管理系统
分享
相关推荐
2012 10th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2012
作者:
IEEE/ACM International Conference on Formal Methods and Models for Codesign
ISBN:
9781467313148
出版社:
Piscataway, N.J. : IEEE, c2012.
出版年:
2012
2009 7th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2009)
作者:
IEEE/ACM International Conference on Formal Methods and Models for Codesign
ISBN:
9781424448067
出版社:
Piscataway, N.J. : Institute of Electrical and Electronics Engineers, c2009.
出版年:
2009
2011 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2011)
作者:
IEEE/ACM International Conference on Formal Methods and Models for Codesign
ISBN:
9781457701177
出版社:
Piscataway, N.J. : Institute of Electrical and Electronics Engineers, c2011.
出版年:
2011
2014 Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2
作者:
IEEE/ACM International Conference on Formal Methods and Models for Codesign
ISBN:
9781479978564
出版社:
Piscataway, N.J. : IEEE Computer Society, c2014.
出版年:
2014
2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2015) : A
作者:
IEEE/ACM International Conference on Formal Methods and Models for Codesign
ISBN:
9781467376686
出版社:
Piscataway, N.J. : IEEE Computer Society, c2015.
出版年:
2015
2013 Eleventh IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE
作者:
IEEE/ACM International Conference on Formal Methods and Models for Codesign
ISBN:
9781479909049
出版社:
Piscataway, N.J. : IEEE, c2013.
出版年:
2013
×
访问借阅管理系统