检索条件： ETAPS 2005 ( 著者 )

检索结果共有3条

匹配度排行

出版/发布时间

在馆记录

检索筛选

1 图书 Compiler construction : 14th international conference, CC 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, U.K., April 4-8, 2005 : proceedings /
责任者 Bodik, Rastislav.

出版信息 Springer, ,c2005.

ISBN 3-540-25411-0

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Bodik, Rastislav..Compiler construction : 14th international conference, CC 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, U.K., April 4-8, 2005 : proceedings /.Springer,,c2005..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Compiler construction : 14th international conference, CC 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, U.K., April 4-8, 2005 : proceedings /

Bodik, Rastislav..Springer,,c2005..
2 图书 Fundamental approaches to software engineering : 8th international conference, FASE 2005, held as part of the Joint Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005 : proceedings /
责任者 Cerioli, Maura.

出版信息 Springer, ,c2005.

ISBN 3-540-25420-X

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Cerioli, Maura..Fundamental approaches to software engineering : 8th international conference, FASE 2005, held as part of the Joint Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005 : proceedings /.Springer,,c2005..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Fundamental approaches to software engineering : 8th international conference, FASE 2005, held as part of the Joint Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005 : proceedings /

Cerioli, Maura..Springer,,c2005..
3 图书 Tools and algorithms for the construction and analysis of systems : 11th international conference, TACAS 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005 : proceedings /
责任者 Halbwachs, Nicolas.,Zuck, Lenore D.,

出版信息 Springer, ,c2005.

ISBN 3-540-25333-5

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Halbwachs, Nicolas.,Zuck, Lenore D.,.Tools and algorithms for the construction and analysis of systems : 11th international conference, TACAS 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005 : proceedings /.Springer,,c2005..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Tools and algorithms for the construction and analysis of systems : 11th international conference, TACAS 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005 : proceedings /

Halbwachs, Nicolas.,Zuck, Lenore D.,.Springer,,c2005..

通借成功!

预约成功!