检索条件： Cook, Stephen, ( 著者 )

检索结果共有3条

匹配度排行

出版/发布时间

在馆记录

检索筛选

1 图书 UML 2002--the Unified Modeling Language : model engineering, concepts, and tools : 5th International Conference, Dresden, Germany, September 30 - October 4, 2002 : proceedings /
责任者 J鈋z鈋quel, Jean-Marc,,Hussmann, Heinrich,,Cook, Stephen,

出版信息 Springer, ,c2002.

ISBN 3-540-44254-5 (softcover : alk. paper)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
J鈋z鈋quel, Jean-Marc,,Hussmann, Heinrich,,Cook, Stephen,.UML 2002--the Unified Modeling Language : model engineering, concepts, and tools : 5th International Conference, Dresden, Germany, September 30 - October 4, 2002 : proceedings /.Springer,,c2002..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

UML 2002--the Unified Modeling Language : model engineering, concepts, and tools : 5th International Conference, Dresden, Germany, September 30 - October 4, 2002 : proceedings /

J鈋z鈋quel, Jean-Marc,,Hussmann, Heinrich,,Cook, Stephen,.Springer,,c2002..
2 图书 Logical foundations of proof complexity /
责任者 Nguyen, Phuong.

出版信息 Cambridge University Press, ,2014.

ISBN 978-1-107-69411-8

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Nguyen, Phuong..Logical foundations of proof complexity /.Cambridge University Press,,2014..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Logical foundations of proof complexity /

Nguyen, Phuong..Cambridge University Press,,2014..
3 图书 Logical foundations of proof complexity
责任者 Nguyen, Phuong,

出版信息 Cambridge University Press ; ,c2010.

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Nguyen, Phuong,.Logical foundations of proof complexity.Cambridge University Press ;,c2010..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Logical foundations of proof complexity

Nguyen, Phuong,.Cambridge University Press ;,c2010..

通借成功!

预约成功!