检索条件： Hankin, Chris. ( 著者 )

检索结果共有3条

匹配度排行

出版/发布时间

在馆记录

检索筛选

1 图书程序分析原理
责任者尼尔森,尼尔森,汉金

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

ISBN 978-7-111-70688-5

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
尼尔森,尼尔森,汉金.程序分析原理.机械工业出版社,2022.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

程序分析原理

尼尔森,尼尔森,汉金.机械工业出版社,2022.
2 图书 Lambda calculi : a guide for computer scientists /
责任者 Chris Hankin.

出版信息 Clarendon Press ; ,1994.

ISBN 9780198538400 :

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Chris Hankin..Lambda calculi : a guide for computer scientists /.Clarendon Press ;,1994..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Lambda calculi : a guide for computer scientists /

Chris Hankin..Clarendon Press ;,1994..
3 图书 Static analysis : 12th international symposium, SAS 2005, London, UK, September 7-9, 2005, proceedings /
责任者

出版信息

ISBN 3-540-28584-9

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
.Static analysis : 12th international symposium, SAS 2005, London, UK, September 7-9, 2005, proceedings /.,.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Static analysis : 12th international symposium, SAS 2005, London, UK, September 7-9, 2005, proceedings /

.,.

通借成功!

预约成功!