检索条件： Static analysis : ( 题名 )

检索结果共有8条

匹配度排行

出版/发布时间

在馆记录

检索筛选

1 图书 Static analysis of software : the abstract interpretation /
责任者 Boulanger, Jean-Louis.

出版信息 ISTE ; ,2012.

ISBN 9781848213203 (hbk.) :

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Boulanger, Jean-Louis..Static analysis of software : the abstract interpretation /.ISTE ;,2012..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/527613
复制引文到剪贴板

Static analysis of software : the abstract interpretation /

Boulanger, Jean-Louis..ISTE ;,2012..
2 图书 Static analysis : 8th International Symposium, SAS 2001,Paris, France, July 16-18, 2001 : proceedings /
责任者 Cousot, Patrick,

出版信息 Springer, ,2001.

ISBN 3-540-42314-1 (pbk. : alk. paper)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Cousot, Patrick,.Static analysis : 8th International Symposium, SAS 2001,Paris, France, July 16-18, 2001 : proceedings /.Springer,,2001..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/163620
复制引文到剪贴板

Static analysis : 8th International Symposium, SAS 2001,Paris, France, July 16-18, 2001 : proceedings /

Cousot, Patrick,.Springer,,2001..
3 图书 Static analysis : 12th international symposium, SAS 2005, London, UK, September 7-9, 2005, proceedings /
责任者 Hankin, Chris.,Siveroni, Igor.

出版信息 Springer, ,c2005.

ISBN 3-540-28584-9

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Hankin, Chris.,Siveroni, Igor..Static analysis : 12th international symposium, SAS 2005, London, UK, September 7-9, 2005, proceedings /.Springer,,c2005..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/218301
复制引文到剪贴板

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

Hankin, Chris.,Siveroni, Igor..Springer,,c2005..
4 图书 Static analysis : 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002 : proceedings /
责任者 Hermenegildo, Manuel.,Puebla, Germ鈇n.

出版信息 Springer, ,c2002.

ISBN 3-540-44235-9 (softcover : alk. paper)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Hermenegildo, Manuel.,Puebla, Germ鈇n..Static analysis : 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002 : proceedings /.Springer,,c2002..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/152036
复制引文到剪贴板

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

Hermenegildo, Manuel.,Puebla, Germ鈇n..Springer,,c2002..
5 图书 Static analysis : 15th international symposium, SAS 2008, Valencia, Spain, July 16-18, 2008 : proceedings /
责任者 Alpuente, María.,Vidal, Germán.

出版信息 Springer, ,2008.

ISBN 9783540691631

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Alpuente, María.,Vidal, Germán..Static analysis : 15th international symposium, SAS 2008, Valencia, Spain, July 16-18, 2008 : proceedings /.Springer,,2008..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/292268
复制引文到剪贴板

Static analysis : 15th international symposium, SAS 2008, Valencia, Spain, July 16-18, 2008 : proceedings /

Alpuente, María.,Vidal, Germán..Springer,,2008..
6 图书 Static analysis : 14th international Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007 : proceedings /
责任者 Nielson, Hanne Riis,,Filé, Gilberto,

出版信息 Springer, ,c2007.

ISBN 978-3-540-74060-5 (pbk.)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Nielson, Hanne Riis,,Filé, Gilberto,.Static analysis : 14th international Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007 : proceedings /.Springer,,c2007..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/265710
复制引文到剪贴板

Static analysis : 14th international Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007 : proceedings /

Nielson, Hanne Riis,,Filé, Gilberto,.Springer,,c2007..
7 图书 Static analysis : 10th international symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003 : proceedings /
责任者 Cousot, Radhia.

出版信息 Springer, ,c2003.

ISBN 3-540-40325-6

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Cousot, Radhia..Static analysis : 10th international symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003 : proceedings /.Springer,,c2003..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/218586
复制引文到剪贴板

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

Cousot, Radhia..Springer,,c2003..
8 图书结构静力分析有限元软件设计与开发
责任者刘永军

出版信息科学出版社 ,2014.05

ISBN 978-7-03-036263-6

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
刘永军.结构静力分析有限元软件设计与开发.科学出版社,2014.05.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/512460
复制引文到剪贴板

结构静力分析有限元软件设计与开发

刘永军.科学出版社,2014.05.

通借成功!

预约成功!