检索条件： Honsell, Furio ( 任意词 )

检索结果共有8条

匹配度排行

出版/发布时间

在馆记录

检索筛选

1 图书 Types for proofs and programs : international conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007 : revised selected papers /
责任者

出版信息

ISBN 2008926731

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
.Types for proofs and programs : international conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007 : revised selected papers /.,.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Types for proofs and programs : international conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007 : revised selected papers /

.,.
2 图书 Foundations of software science and computation structures : 4th international conference, FOSSACS 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 8-12, 2001 : proceedings /
责任者 ETAPS 2002

出版信息

ISBN 2002020904

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
ETAPS 2002.Foundations of software science and computation structures : 4th international conference, FOSSACS 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 8-12, 2001 : proceedings /.,.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Foundations of software science and computation structures : 4th international conference, FOSSACS 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 8-12, 2001 : proceedings /

ETAPS 2002.,.
3 图书疯狂时刻：谋杀，欺骗及哈珀·李最后的审判：murder, fraud, and the last trial of Harper Lee
责任者塞普

出版信息海峡文艺出版社 ,2020.7

ISBN 978-7-5550-2271-8

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
塞普.疯狂时刻：谋杀，欺骗及哈珀·李最后的审判：murder, fraud, and the last trial of Harper Lee.海峡文艺出版社,2020.7.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

疯狂时刻：谋杀，欺骗及哈珀·李最后的审判：murder, fraud, and the last trial of Harper Lee

塞普.海峡文艺出版社,2020.7.
4 图书高兴死了!!!
责任者劳森

出版信息江苏凤凰文艺出版社 ,2018

ISBN 978-7-5594-0763-4

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
劳森.高兴死了!!!.江苏凤凰文艺出版社,2018.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

高兴死了!!!

劳森.江苏凤凰文艺出版社,2018.
5 图书疯狂的罗兰．上
责任者阿廖斯托

出版信息浙江大学出版社 ,2017

ISBN 978-7-308-17645-3

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
阿廖斯托.疯狂的罗兰．上.浙江大学出版社,2017.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

疯狂的罗兰．上

阿廖斯托.浙江大学出版社,2017.
6 图书疯狂的罗兰．下
责任者阿廖斯托

出版信息浙江大学出版社 ,2017

ISBN 978-7-308-17645-3

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
阿廖斯托.疯狂的罗兰．下.浙江大学出版社,2017.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

疯狂的罗兰．下

阿廖斯托.浙江大学出版社,2017.
7 图书微观西藏：汉英版
责任者聂晓阳

出版信息商务印书馆 ,2012

ISBN 978-7-100-09474-0

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
聂晓阳.微观西藏：汉英版.商务印书馆,2012.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

微观西藏：汉英版

聂晓阳.商务印书馆,2012.
8 图书 A companion to Fritz Lang /
责任者 edited by Joe McElhaney.

出版信息

ISBN 978-0-470-67097-2 (hbk.)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
edited by Joe McElhaney..A companion to Fritz Lang /.,.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

A companion to Fritz Lang /

edited by Joe McElhaney..,.

通借成功!

预约成功!