检索条件： Palsberg ( 著者 )

检索结果共有5条

匹配度排行

出版/发布时间

在馆记录

检索筛选

1 图书 Modern compiler implementation in Java
责任者 Andrew W. Appel,Jens Palsberg

出版信息 Cambridge University Pr. ,2002

ISBN 0-521-82060-X

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Andrew W. Appel,Jens Palsberg.Modern compiler implementation in Java.Cambridge University Pr.,2002.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Modern compiler implementation in Java

Andrew W. Appel,Jens Palsberg.Cambridge University Pr.,2002.
2 图书 Semantics and algebraic specification : essays dedicated to Peter D. Mosses on the occasion of his 60th birthday /
责任者

出版信息

ISBN 9783642041631 (pbk.)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
.Semantics and algebraic specification : essays dedicated to Peter D. Mosses on the occasion of his 60th birthday /.,.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Semantics and algebraic specification : essays dedicated to Peter D. Mosses on the occasion of his 60th birthday /

.,.
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 /
责任者 ETAPS 2006

出版信息

ISBN 2006922189

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
ETAPS 2006.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 /.,.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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 /

ETAPS 2006.,.
4 图书 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 /
责任者 ETAPS 2006

出版信息

ISBN 2006922189

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
ETAPS 2006.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 /.,.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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 /

ETAPS 2006.,.
5 图书 Model checking software : 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 : proceedings /
责任者

出版信息

ISBN 2008931715

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
.Model checking software : 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 : proceedings /.,.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Model checking software : 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 : proceedings /

.,.

通借成功!

预约成功!