检索词: International Static Analysis Symposium , 检索到: 7 条结果, 检索时间: 0.021 秒 , 排序选项: 排序方式: 隐藏分类导航

分类导航

T 工业技术 (7)

Q 生物科学 (5)

保存至书单:

共 1 页首页 <上一页 1 下一页> 尾页>>

	1.		Static analysis : 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004 ; proceedings / 订购中著者: Giacobazzi Roberto. 出版社: Springer, 出版日期: c2004. 文献类型: 图书（纸本） , 索书号: TP311.1-532/I61:11/2004 在馆信息图书信息概览图书目录试读信息内容简介著者简介
	2.		Static analysis : 13th international symposium, SAS 2006, Seoul, Korea, August 29-31, 2006, proceedings / 订购中著者: Yi Kwangkeun. 出版社: Springer, 出版日期: c2006. 文献类型: 图书（纸本） , 索书号: TP311.1-532/I61:13/2006 在馆信息图书信息概览图书目录试读信息内容简介著者简介
	3.		Static analysis : 12th international symposium, SAS 2005, London, UK, September 7-9, 2005. proceedings / 订购中著者: Hankin Chris. Siveroni Igor. 出版社: Springer, 出版日期: 2005. 文献类型: 图书（纸本） , 索书号: TP311.1-532/S797:12/2005 在馆信息图书信息概览图书目录试读信息内容简介著者简介
	4.		Static analysis : 8th International Symposium, SAS 2001,Paris, France, July 16-18, 2001 : proceedings / 订购中著者: Cousot Patrick 出版社: Springer, 出版日期: 2001. 文献类型: 图书（纸本） , 索书号: TP311.1-532/S797 在馆信息图书信息概览图书目录试读信息内容简介著者简介
	5.		Static analysis : 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002 : proceedings / 订购中著者: Hermenegildo Manuel. Puebla German. 出版社: Springer, 出版日期: c2002. 文献类型: 图书（纸本） , 索书号: TP311.1-532/S797:9/2002 在馆信息图书信息概览图书目录试读信息内容简介著者简介
	6.		Static analysis : 14th international Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007 : proceedings / 订购中著者: Nielson Hanne Riis Fil鈋 Gilberto 出版社: Springer, 出版日期: c2007. 文献类型: 图书（纸本） , 索书号: TP311.1-532/I61:14/2007 在馆信息图书信息概览图书目录试读信息内容简介著者简介
	7.		Static analysis : 10th international symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003 : proceedings / 订购中著者: Cousot Radhia. 出版社: Springer, 出版日期: 2003. 文献类型: 图书（纸本） , 索书号: TP311.1-532/S797:10/2003 在馆信息图书信息概览图书目录试读信息内容简介著者简介

共 1 页首页 <上一页 1 下一页> 尾页>>

© 2005－ www.interlib.com.cn, all rights reserved