检索条件： Queiroz, Ruy J. G. B. de. ( 著者 )

检索结果共有3条

匹配度排行

出版/发布时间

在馆记录

检索筛选

1 图书 Logic for concurrency and synchronisation /
责任者 Queiroz, Ruy J. G. B. de.

出版信息 Kluwer Academic Publishers, ,c2003.

ISBN 1-4020-1270-5

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Queiroz, Ruy J. G. B. de..Logic for concurrency and synchronisation /.Kluwer Academic Publishers,,c2003..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Logic for concurrency and synchronisation /

Queiroz, Ruy J. G. B. de..Kluwer Academic Publishers,,c2003..
2 图书 Logic, language, information and computation : 15th international workshop, WoLLIC 2008, Edinburgh, UK, July 1-4, 2008 : proceedings /
责任者 Hodges, Wilfrid.,Queiroz, Ruy J. G. B. de.

出版信息 Springer, ,c2008.

ISBN 9783540699361 (pbk.)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Hodges, Wilfrid.,Queiroz, Ruy J. G. B. de..Logic, language, information and computation : 15th international workshop, WoLLIC 2008, Edinburgh, UK, July 1-4, 2008 : proceedings /.Springer,,c2008..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Logic, language, information and computation : 15th international workshop, WoLLIC 2008, Edinburgh, UK, July 1-4, 2008 : proceedings /

Hodges, Wilfrid.,Queiroz, Ruy J. G. B. de..Springer,,c2008..
3 图书 Logic, language, information, and computation : 14th international workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007 : proceedings /
责任者 Leivant, Daniel Maurice Raphae?l.,Queiroz, Ruy J. G. B. de.

出版信息 Springer, ,c2007.

ISBN 978-3-540-73443-7 (softcover : alk. paper)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Leivant, Daniel Maurice Raphae?l.,Queiroz, Ruy J. G. B. de..Logic, language, information, and computation : 14th international workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007 : proceedings /.Springer,,c2007..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Logic, language, information, and computation : 14th international workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007 : proceedings /

Leivant, Daniel Maurice Raphae?l.,Queiroz, Ruy J. G. B. de..Springer,,c2007..

通借成功!

预约成功!