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

Static analysis : 20th International Symposium SAS 2013 Seattle WA USA June 20-22 2013 : proce
出版社：Berlin ; New York : Springer, c2013.
ISBN：9783642388552
出版年：2013
作者：SAS 2013
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Static analysis : 27th International Symposium, SAS 2020, virtual event, November 18-20, 2020, proce
  • 作者：SAS 2020
  • ISBN：9783030654733
  • 出版社：Cham, Switzerland : Springer, 2020.
  • 出版年：2020
...

2013 IEEE/MTT-S International Microwave Symposium (MTT 2013) : Seattle, Washington, USA, 2-7 June 20
  • 作者：IEEE MTT-S International Microwave Symposium
  • ISBN：9781467361750
  • 出版社：Piscataway, N.J. : IEEE, c2013.
  • 出版年：2013
...

2013 20th IEEE International Symposium on the Physical and Failure Analysis of Integrated Circuites
  • 作者：International Symposium on the Physical & Failure Analysis of Integrated Circuites
  • ISBN：9781479904792
  • 出版社：Piscataway, N.J. : IEEE, c2013.
  • 出版年：2013
...

2013 Data Compression Conference (DCC 2013) : Snowbird, Utah, USA, 20-22 March 2013.
  • 作者：Data Compression Conference
  • ISBN：9781467360371
  • 出版社：Piscataway, N.J. : IEEE Computer Society, c2013.
  • 出版年：2013
...

Model checking software : 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2
  • 作者：International SPIN Workshop
  • ISBN：9783642391750
  • 出版社：Berlin ; New York : Springer, c2013.
  • 出版年：2013
...

2013 20th International Symposium on Temporal Representation and Reasoning (TIME 2013) : Pensacola,
  • 作者：International Symposium on Temporal Representation and Reasoning
  • ISBN：9781479922420
  • 出版社：Piscataway, N.J. : IEEE, c2013.
  • 出版年：2013