检索条件： Ryan, Mark, ( 著者 )

检索结果共有6条

匹配度排行

出版/发布时间

在馆记录

检索筛选

1 图书 Logic in computer science : modelling and reasoning about systems =: 面向计算机科学的数理逻辑 : 系统建模与推理 /
责任者 Ryan, Mark,

出版信息 China Machine Press, ,2005.

ISBN 7-111-16053-3 (pbk.)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Ryan, Mark,.Logic in computer science : modelling and reasoning about systems =: 面向计算机科学的数理逻辑 : 系统建模与推理 /.China Machine Press,,2005..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Logic in computer science : modelling and reasoning about systems =: 面向计算机科学的数理逻辑 : 系统建模与推理 /

Ryan, Mark,.China Machine Press,,2005..
2 图书 Logic in computer science : modelling and reasoning about systems /
责任者 Ryan, Mark,

出版信息 Cambridge University Press, ,2004.

ISBN 0-521-54310-X

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Ryan, Mark,.Logic in computer science : modelling and reasoning about systems /.Cambridge University Press,,2004..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Logic in computer science : modelling and reasoning about systems /

Ryan, Mark,.Cambridge University Press,,2004..
3 图书 Information and communications security : 10th international conference, ICICS 2008, Birmingham, UK, October 20 - 22, 2008 ; proceedings /
责任者 Ryan, Mark,,Wang, Guilin,,Chen, Liqun.

出版信息 Springer, ,2008.

ISBN 9783540886242 (softcover : alk. paper)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Ryan, Mark,,Wang, Guilin,,Chen, Liqun..Information and communications security : 10th international conference, ICICS 2008, Birmingham, UK, October 20 - 22, 2008 ; proceedings /.Springer,,2008..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Information and communications security : 10th international conference, ICICS 2008, Birmingham, UK, October 20 - 22, 2008 ; proceedings /

Ryan, Mark,,Wang, Guilin,,Chen, Liqun..Springer,,2008..
4 图书 Objects, agents, and features : international seminar, Dagstuhl Castle, Germany, February 16-21, 2003 : revised and invited papers /
责任者 Ryan, Mark D.,Meyer, John-Jules Ch.,Ehrich, Hans-Dieter.

出版信息 Springer, ,c2004.

ISBN 3-540-21989-7

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Ryan, Mark D.,Meyer, John-Jules Ch.,Ehrich, Hans-Dieter..Objects, agents, and features : international seminar, Dagstuhl Castle, Germany, February 16-21, 2003 : revised and invited papers /.Springer,,c2004..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Objects, agents, and features : international seminar, Dagstuhl Castle, Germany, February 16-21, 2003 : revised and invited papers /

Ryan, Mark D.,Meyer, John-Jules Ch.,Ehrich, Hans-Dieter..Springer,,c2004..
5 图书深度学习处理结构化数据实战
责任者瑞安

出版信息清华大学出版社 ,2022

ISBN 978-7-302-59129-0

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
瑞安.深度学习处理结构化数据实战.清华大学出版社,2022.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

深度学习处理结构化数据实战

瑞安.清华大学出版社,2022.
6 图书面向计算机科学的数理逻辑：系统建模与推理：modelling and reasoning about systems
责任者 M. 胡特,M. 瑞安

出版信息机械工业出版社 ,2007

ISBN 978-7-111-21397-0

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
M. 胡特,M. 瑞安.面向计算机科学的数理逻辑：系统建模与推理：modelling and reasoning about systems.机械工业出版社,2007.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

面向计算机科学的数理逻辑：系统建模与推理：modelling and reasoning about systems

M. 胡特,M. 瑞安.机械工业出版社,2007.

通借成功!

预约成功!