Static analysis : 21st International Symposium SAS 2014 Munich Germany September 11-13 2014 : p

出版社:Cham : Springer, c2014.
ISBN:9783319109350
出版年:2014
作者:SAS 2014
资源类型:图书
细分类型:西文文献
相关推荐

Static analysis : 19th international symposium, SAS 2012, Deauville, France, September 11-13, 2012 :

  • 作者:SAS 2012
  • ISBN:9783642331244
  • 出版社:Berlin ; New York : Springer, c2012.
  • 出版年:2012

Static analysis : third international symposium, SAS ''96, Aachen, Germany, September 24-26, 1996 : p

  • 作者:SAS''96
  • ISBN:3540617396
  • 出版社:Berlin ; New York : Springer, c1996.
  • 出版年:1996

Static analysis : 10th international symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003 : pro

  • 作者:SAS 2003
  • ISBN:3540403256
  • 出版社:Berlin ; New York : Springer, c2003.
  • 出版年:2003

2014 IEEE 21st International Symposium on the Physical and Failure Analysis of Integrated Circuites

  • 作者:International Symposium on the Physical & Failure Analysis of Integrated Circuites
  • ISBN:9781479939114
  • 出版社:Piscataway, N.J. : IEEE Computer Society, c2014.
  • 出版年:2014

Hybrid metaheuristics : 9th International Workshop, HM 2014, Hamburg, Germany, June 11-13, 2014, Pro

  • 作者:HM 2014
  • ISBN:9783319076430
  • 出版社:Cham : Springer, c2014.
  • 出版年:2014

2014 21st International Symposium on Temporal Representation and Reasoning (TIME 2014) : Verona, Ita

  • 作者:International Symposium on Temporal Representation and Reasoning
  • ISBN:9781479978885
  • 出版社:Piscataway, N.J. : IEEE Computer Society, c2014.
  • 出版年:2014