检索条件： ETAPS 2006 ( 著者 )

检索结果共有6条

匹配度排行

出版/发布时间

在馆记录

检索筛选

1 图书 Fundamental approaches to software engineering : 9th international conference, FASE 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006 : proceedings /
责任者 Baresi, Luciano.,Heckel, Reiko.

出版信息 Springer, ,c2006.

ISBN 3-540-33093-3 (pbk.)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Baresi, Luciano.,Heckel, Reiko..Fundamental approaches to software engineering : 9th international conference, FASE 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006 : proceedings /.Springer,,c2006..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Fundamental approaches to software engineering : 9th international conference, FASE 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006 : proceedings /

Baresi, Luciano.,Heckel, Reiko..Springer,,c2006..
2 图书 Programming languages and systems : 15th European Symposium on Programming, ESOP 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006 : proceedings /
责任者 Sestoft, Peter.

出版信息 Springer, ,c2006.

ISBN 3-540-33095-X (pbk.)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Sestoft, Peter..Programming languages and systems : 15th European Symposium on Programming, ESOP 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006 : proceedings /.Springer,,c2006..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Programming languages and systems : 15th European Symposium on Programming, ESOP 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006 : proceedings /

Sestoft, Peter..Springer,,c2006..
3 图书 Tools and algorithms for the construction and analysis of systems : 12th international conference, TACAS 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006 : proceedings /
责任者 Hermanns, Holger,,Palsberg, Jens.

出版信息 Springer, ,c2006.

ISBN 3-540-33056-9 (pbk.)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Hermanns, Holger,,Palsberg, Jens..Tools and algorithms for the construction and analysis of systems : 12th international conference, TACAS 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006 : proceedings /.Springer,,c2006..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Tools and algorithms for the construction and analysis of systems : 12th international conference, TACAS 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006 : proceedings /

Hermanns, Holger,,Palsberg, Jens..Springer,,c2006..
4 图书 Compiler construction : 15th international conference, CC 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006 : proceedings /
责任者 Mycroft, Alan.,Zeller, Andreas.

出版信息 Springer, ,c2006.

ISBN 3-540-33050-X (pbk.)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Mycroft, Alan.,Zeller, Andreas..Compiler construction : 15th international conference, CC 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006 : proceedings /.Springer,,c2006..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Compiler construction : 15th international conference, CC 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006 : proceedings /

Mycroft, Alan.,Zeller, Andreas..Springer,,c2006..
5 图书 Tools and algorithms for the construction and analysis of systems : 12th international conference, TACAS 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006 : proceedings /
责任者 Hermanns, Holger,,Palsberg, Jens.

出版信息 Springer, ,c2006.

ISBN 3-540-33056-9

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Hermanns, Holger,,Palsberg, Jens..Tools and algorithms for the construction and analysis of systems : 12th international conference, TACAS 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006 : proceedings /.Springer,,c2006..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Tools and algorithms for the construction and analysis of systems : 12th international conference, TACAS 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006 : proceedings /

Hermanns, Holger,,Palsberg, Jens..Springer,,c2006..
6 图书 Foundations of software science and computation structures : 9th international conference, FOSSACS 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006 : proceedings /
责任者 Aceto, Luca.,Anna Ingólfsdóttir,

出版信息 Springer, ,c2006.

ISBN 3-540-33045-3 (pbk.)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Aceto, Luca.,Anna Ingólfsdóttir,.Foundations of software science and computation structures : 9th international conference, FOSSACS 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006 : proceedings /.Springer,,c2006..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Foundations of software science and computation structures : 9th international conference, FOSSACS 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006 : proceedings /

Aceto, Luca.,Anna Ingólfsdóttir,.Springer,,c2006..

通借成功!

预约成功!