检索条件： Cooper, S. B. ( 著者 )

检索结果共有6条

匹配度排行

出版/发布时间

在馆记录

检索筛选

1 图书 Logic Colloquium 2006 /
责任者 Cooper, S. B.

出版信息 Cambridge University Press ; ,c2009.

ISBN 9780521110815 :

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Cooper, S. B..Logic Colloquium 2006 /.Cambridge University Press ;,c2009..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Logic Colloquium 2006 /

Cooper, S. B..Cambridge University Press ;,c2009..
2 图书 Theory and applications of models of computation : 6th international conference, TAMC 2009, Changsha, China, May 18-22, 2009 : proceedings /
责任者 Chen, Jianer.,Cooper, S. B.

出版信息 Springer, ,c2009.

ISBN 9783642020162

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Chen, Jianer.,Cooper, S. B..Theory and applications of models of computation : 6th international conference, TAMC 2009, Changsha, China, May 18-22, 2009 : proceedings /.Springer,,c2009..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Theory and applications of models of computation : 6th international conference, TAMC 2009, Changsha, China, May 18-22, 2009 : proceedings /

Chen, Jianer.,Cooper, S. B..Springer,,c2009..
3 图书 Sets and proofs : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997 /
责任者 Cooper, S. B.,Truss, J. K.

出版信息 Cambridge University Press, ,1999.

ISBN 978-0-5216-3549-3

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Cooper, S. B.,Truss, J. K..Sets and proofs : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997 /.Cambridge University Press,,1999..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Sets and proofs : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997 /

Cooper, S. B.,Truss, J. K..Cambridge University Press,,1999..
4 图书 Theory and applications of models of computation : 4th international conference, TAMC 2007, Shanghai, China, May 22-25, 2007 : proceedings /
责任者 Cai, Jin-yi,,Cooper, S. B.,Zhu, Hong.

出版信息 Springer, ,c2007.

ISBN 978-3-540-72503-9 (pbk.)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Cai, Jin-yi,,Cooper, S. B.,Zhu, Hong..Theory and applications of models of computation : 4th international conference, TAMC 2007, Shanghai, China, May 22-25, 2007 : proceedings /.Springer,,c2007..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Theory and applications of models of computation : 4th international conference, TAMC 2007, Shanghai, China, May 22-25, 2007 : proceedings /

Cai, Jin-yi,,Cooper, S. B.,Zhu, Hong..Springer,,c2007..
5 图书 Computation and logic in the real world : Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007 : proceedings /
责任者 Cooper, S. B.,L?we, Benedikt.,Sorbi, Andrea,

出版信息 Springer, ,c2007.

ISBN 978-3-540-73000-2 (pbk.)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Cooper, S. B.,L?we, Benedikt.,Sorbi, Andrea,.Computation and logic in the real world : Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007 : proceedings /.Springer,,c2007..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Computation and logic in the real world : Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007 : proceedings /

Cooper, S. B.,L?we, Benedikt.,Sorbi, Andrea,.Springer,,c2007..
6 图书 New computational paradigms : First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005 ; proceedings /
责任者 Cooper, S. B.,L?we, Benedikt.,Torenvliet, Leen.

出版信息 Springer, ,c2005.

ISBN 3-540-26179-6

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Cooper, S. B.,L?we, Benedikt.,Torenvliet, Leen..New computational paradigms : First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005 ; proceedings /.Springer,,c2005..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

New computational paradigms : First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005 ; proceedings /

Cooper, S. B.,L?we, Benedikt.,Torenvliet, Leen..Springer,,c2005..

通借成功!

预约成功!