检索条件： Waldinger ( 著者 )

检索结果共有5条

匹配度排行

出版/发布时间

在馆记录

检索筛选

1 图书 The Deductive foundations of computer programming
责任者 Zohar Manna,Richard Waldinger

出版信息 Addison-Wesley Pub. Co. ,1993

ISBN 0-201-54886-0

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Zohar Manna,Richard Waldinger.The Deductive foundations of computer programming.Addison-Wesley Pub. Co.,1993.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

The Deductive foundations of computer programming

Zohar Manna,Richard Waldinger.Addison-Wesley Pub. Co.,1993.
2 图书 Studies in automatic programming logic
责任者 Z. Manna,R. Waldinger

出版信息 North-Holland ,1977

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Z. Manna,R. Waldinger.Studies in automatic programming logic.North-Holland,1977.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Studies in automatic programming logic

Z. Manna,R. Waldinger.North-Holland,1977.
3 图书 The logical basis for computer programming．v. 1，Deductive reasonning
责任者 by Zohar Manna, Richard Waldinger

出版信息 Addison-Wesley Pub. Co. ,1985

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
by Zohar Manna, Richard Waldinger.The logical basis for computer programming．v. 1，Deductive reasonning.Addison-Wesley Pub. Co.,1985.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

The logical basis for computer programming．v. 1，Deductive reasonning

by Zohar Manna, Richard Waldinger.Addison-Wesley Pub. Co.,1985.
4 图书 The logical basis for computer programming．v. 2
责任者 by Zohar Manna, Richard Waldinger

出版信息 Addison-Wesley Pub. Co. ,1985

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
by Zohar Manna, Richard Waldinger.The logical basis for computer programming．v. 2.Addison-Wesley Pub. Co.,1985.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

The logical basis for computer programming．v. 2

by Zohar Manna, Richard Waldinger.Addison-Wesley Pub. Co.,1985.
5 图书美好生活：哈佛大学跨越85年的幸福研究启示
责任者瓦尔丁格,舒尔茨

出版信息中信出版集团股份有限公司 ,2023

ISBN 978-7-5217-5572-5

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
瓦尔丁格,舒尔茨.美好生活：哈佛大学跨越85年的幸福研究启示.中信出版集团股份有限公司,2023.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

美好生活：哈佛大学跨越85年的幸福研究启示

瓦尔丁格,舒尔茨.中信出版集团股份有限公司,2023.

通借成功!

预约成功!