检索条件： Distinguished dissertations in computer science ( 任意词 )

检索结果共有8条

匹配度排行

出版/发布时间

在馆记录

检索筛选

1 图书 Specification and proof in real time CSP /
责任者 Jim Davies.

出版信息 Cambridge University Press, ,2011.

ISBN 9781107403864

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Jim Davies..Specification and proof in real time CSP /.Cambridge University Press,,2011..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Specification and proof in real time CSP /

Jim Davies..Cambridge University Press,,2011..
2 图书 The map-building and exploration strategies of a simple sonar-equipped robot : an experimental, quantitative evaluation /
责任者 David Lee.

出版信息 Cambridge University Press, ,2003, c1996.

ISBN 9780521542159 (pbk) :

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
David Lee..The map-building and exploration strategies of a simple sonar-equipped robot : an experimental, quantitative evaluation /.Cambridge University Press,,2003, c1996..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

The map-building and exploration strategies of a simple sonar-equipped robot : an experimental, quantitative evaluation /

David Lee..Cambridge University Press,,2003, c1996..
3 图书 Three-dimensional integrated circuit layout /
责任者

出版信息

ISBN 978-0-5211-1816-3

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
.Three-dimensional integrated circuit layout /.,.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Three-dimensional integrated circuit layout /

.,.
4 图书 Logic programming : operational semantics and proof theory /
责任者

出版信息

ISBN 0-521-60754-X

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
.Logic programming : operational semantics and proof theory /.,.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Logic programming : operational semantics and proof theory /

.,.
5 图书 Adaptive mesh techniques for unsteady multi-grdient problems in computational fluid dynamics
责任者 T. J. Bartel

出版信息 UMI Dissertation Information Service ,1988

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
T. J. Bartel.Adaptive mesh techniques for unsteady multi-grdient problems in computational fluid dynamics.UMI Dissertation Information Service,1988.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Adaptive mesh techniques for unsteady multi-grdient problems in computational fluid dynamics

T. J. Bartel.UMI Dissertation Information Service,1988.
6 图书 Pedagogically founded courseware generation for web-based learning : an HTN-planning-based approach implemented in PAIGOS /
责任者

出版信息

ISBN 2008935889

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
.Pedagogically founded courseware generation for web-based learning : an HTN-planning-based approach implemented in PAIGOS /.,.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Pedagogically founded courseware generation for web-based learning : an HTN-planning-based approach implemented in PAIGOS /

.,.
7 图书 Cooperative bug isolation : winning thesis of the 2005 ACM Doctoral Dissertation Competition /
责任者

出版信息

ISBN 2007924082

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
.Cooperative bug isolation : winning thesis of the 2005 ACM Doctoral Dissertation Competition /.,.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Cooperative bug isolation : winning thesis of the 2005 ACM Doctoral Dissertation Competition /

.,.
8 图书 List decoding of error-correcting codes : winning thesis of the 2002 ACM doctoral dissertation competition /
责任者

出版信息

ISBN 2004115727

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
.List decoding of error-correcting codes : winning thesis of the 2002 ACM doctoral dissertation competition /.,.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

List decoding of error-correcting codes : winning thesis of the 2002 ACM doctoral dissertation competition /

.,.

通借成功!

预约成功!