Static analysis : 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, proce

Static analysis : 23rd International Symposium SAS 2016 Edinburgh UK September 8-10 2016 proce

出版社：Berlin, Germany : Springer, 2016.

ISBN：9783662534120

出版年：2016

作者：SAS 2016

资源类型：图书

细分类型：西文文献

1浏览量

问图书管理员

点赞

收藏

访问借阅管理系统

2016 IEEE 23rd International Symposium on the Physical and Failure Analysis of Integrated Circuits (

作者：International Symposium on the Physical & Failure Analysis of Integrated Circuits
ISBN：9781467382601
出版社：Piscataway, N.J. : IEEE, 2016.
出版年：2016

2016 23rd International Conference on Pattern Recognition (ICPR 2016) : Cancun, Mexico, 4-8 December

作者：International Conference on Pattern Recognition
ISBN：9781509048489
出版社：Piscataway, N.J. : IEEE, 2016.
出版年：2016

Static analysis : 26th international symposium, SAS 2019, Porto, Portugal, October 8-11, 2019, proce

作者：SAS 2019
ISBN：9783030323035
出版社：Cham, Switzerland : Springer, 2019.
出版年：2019

Model checking software : 23rd International Symposium, SPIN 2016 co-located with ETAPS 2016 : Eindh

作者：International SPIN Workshop
ISBN：9783319325811
出版社：Switzerland : Springer, 2016.
出版年：2016

Hybrid metaheuristics : 10th International Workshop, HM 2016, Plymouth, UK, June 8-10, 2016, proceed

作者：HM 2016
ISBN：9783319396354
出版社：New York, NY : Springer Berlin Heidelberg, 2016.
出版年：2016

2016 23rd International Symposium on Temporal Representation and Reasoning (TIME 2016) : Kongens Lyn

作者：International Symposium on Temporal Representation and Reasoning
ISBN：9781509038268
出版社：Piscataway, N.J. : IEEE, 2016.
出版年：2016