Static analysis : 12th international symposium, SAS 2005, London, UK, September 7-9, 2005 : proceedi

Static analysis : 12th international symposium SAS 2005 London UK September 7-9 2005 : proceedi

出版社：Berlin ; New York : Springer, c2005.

ISBN：3540285849

出版年：2005

作者：SAS 2005

资源类型：图书

细分类型：西文文献

1浏览量

问图书管理员

点赞

收藏

访问借阅管理系统

Trustworthy global computing : international symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005 : r

作者：TGC 2005
ISBN：3540300074
出版社：Berlin ; New York : Springer, c2005.
出版年：2005

Static analysis : 5th International Symposium, SAS''98, Pisa, Italy, September 14-16, 1998 : proceedi

作者：SAS''98
ISBN：3540650148
出版社：Berlin ; New York : Springer, c1998.
出版年：1998

High-performance computing : 6th international symposium, ISHPC 2005, Nara, Japan, September 7-9, 20

作者：ISHPC 2005
ISBN：9783540777038
出版社：Berlin ; New York : Springer, c2008.
出版年：2008

Frontiers of combining systems : 12th International Symposium, FroCoS 2019, London, UK, September 4-

作者：FroCoS 2019
ISBN：9783030290061
出版社：Cham : Springer, 2019.
出版年：2019

Advances in intelligent data analysis XII : 12th International Symposium, IDA 2013, London, UK, Octo

作者：IDA 2013
ISBN：9783642413971
出版社：Berlin ; New York : Springer, c2013.
出版年：2013

Static analysis : 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002 : proc

作者：SAS 2002
ISBN：3540442359
出版社：Berlin : New York : Springer, c2002.
出版年：2002