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

2015 Formal Methods in Computer-Aided Design (FMCAD 2015) : Austin Texas USA 27-30 September 2015
出版社：Piscataway, N.J. : IEEE, 2015.
ISBN：9781509041510
出版年：2015
作者：FMCAD 2015
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

2011 Formal Methods in Computer-Aided Design (FMCAD 2011) : Austin, Texas, USA, 30 October - 2 Novem
  • 作者：FMCAD 2011
  • ISBN：9781467308960
  • 出版社：Piscataway, N.J. : Institute of Electrical and Electronics Engineers, c2011.
  • 出版年：2011
...

2015 IEEE/ACM International Conference on Computer-Aided Design (ICCAD 2015) : Austin, Texas, USA, 2
  • 作者：International Conference on Computer-Aided Design
  • ISBN：9781467381093
  • 出版社：Piscataway, N.J. : IEEE, 2015.
  • 出版年：2015
...

2009 Formal methods in computer-aided design (FMCAD 2009) : Austin, Texas, USA, 15-18 November 2009.
  • 作者：FMCAD 2009
  • ISBN：9781424449651
  • 出版社：Piscataway, N.J. : IEEE, c2009.
  • 出版年：2009
...

Formal methods in computer-aided design : third international conference, FMCAD 2000, Austin, Texas,
  • 作者：FMCAD 2000
  • ISBN：3540412190
  • 出版社：Berlin : Springer, c2000.
  • 出版年：2000
...

Formal methods in computer aided design : FMCAD 2007 : November 11-14, 2007, Austin, Texas, USA.
  • 作者：FMCAD 2007
  • ISBN：9780769530239
  • 出版社：Piscataway, N.J. : IEEE, c2007.
  • 出版年：2007
...

2013 Formal Methods in Computer-Aided Design (FMCAD 2013) : Portland, Oregon, USA, 20-23 October 201
  • 作者：FMCAD 2013
  • ISBN：9781479926848
  • 出版社：Piscataway, N.J. : IEEE, c2013.
  • 出版年：2013