登录
 机构网站
  1. 首页
  2. 馆藏纸本
  3. 图书详情
...

2007 5th IEEE/ACM International Conference on Formal Methods and Models for Codesign : 30 May - 2 Ju
出版社：Piscataway, N.J. : Institute of Electrical and Electronics Engineers, c2007.
ISBN：1424410509
出版年：2007
作者：IEEE/ACM International Conference on Formal Methods and Models for Codesign
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

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
...

2010 8th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010)
  • 作者：IEEE/ACM International Conference on Formal Methods and Models for Codesign
  • ISBN：9781424478859
  • 出版社：Piscataway, N.J. : Institute of Electrical and Electronics Engineers, c2010.
  • 出版年：2010
...

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
...

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
...

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
...

2007 5th IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis (
  • 作者：IEEE/ACM/IFIP International Conference on Hardware/Software Codesign & System Synthesis
  • ISBN：9781595938244
  • 出版社：New York : Association for Computing Machinery, c2007.
  • 出版年：2007