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

2015 International Conference on Electronic Design Computer Networks & Automated Verification (EDCA
出版社：Piscataway, N.J. : IEEE Computer Society, c2015.
ISBN：9781479962099
出版年：2015
作者：International Conference on Electronic Design,Computer Networks & Automated Verification
资源类型：图书
细分类型：西文文献
3浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

2015 International Conference on Emerging Trends in Networks and Computer Communications (ETNCC 2015
  • 作者：International Conference on Emerging Trends in Networks and Computer Communications
  • ISBN：9781479977086
  • 出版社：Piscataway, N.J. : IEEE Computer Society, c2015.
  • 出版年：2015
...

Computer aided verification : 27th International Conference, CAV 2015, San Francisco, CA, USA, July
  • 作者：CAV 2015
  • ISBN：9783319216898
  • 出版社：Cham : Springer, [2015]
  • 出版年：2015
...

Computer aided verification : 27th International Conference, CAV 2015, San Francisco, CA, USA, July
  • 作者：CAV 2015
  • ISBN：9783319216676
  • 出版社：Cham : Springer, [2015]
  • 出版年：2015
...

International Conference on Computer Aided Design and Manufacture of Electronic Components, Circuits
  • 作者：IEEE. the Electronics Division.
  • 出版社：London : IEE, c1979.
  • 出版年：1979
...

International Conference on Computer Aided Design and Manufacture of Electronic Components, Circuits
  • 作者：IEEE. the Electronics Division.
  • ISBN：Y3.50
  • 出版社：London : IEE, c1979.
  • 出版年：1979
...

Automated technology for verification and analysis : second international conference, ATVA 2004, Tai
  • 作者：ATVA 2004
  • ISBN：3540236104
  • 出版社：Berlin ; New York : Springer, c2004.
  • 出版年：2004