检索条件： Palsberg ( 著者 )

检索结果共有5条

匹配度排行

出版/发布时间

在馆记录

检索筛选

1 图书 Semantics and algebraic specification : essays dedicated to Peter D. Mosses on the occasion of his 60th birthday /
责任者 Palsberg, Jens.

出版信息 Springer, ,2009.

ISBN 9783642041631 (pbk.)

馆藏信息

图书信息

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

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 /

Palsberg, Jens..Springer,,2009..
2 图书 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..
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

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
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..
4 图书 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.
5 图书 Model checking software : 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 : proceedings /
责任者 Havelund, Klaus,,Majumdar, Rupak.,Palsberg, Jens.

出版信息 Springer, ,c2008

ISBN 9783540851134

馆藏信息

图书信息

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

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 /

Havelund, Klaus,,Majumdar, Rupak.,Palsberg, Jens..Springer,,c2008.

通借成功!

预约成功!