检索条件： Method of programming ( 任意词 )

检索结果共有4条

匹配度排行

出版/发布时间

在馆记录

检索筛选

1 图书 Formal methods of program verification and specification
责任者 Helmut K. Berg

出版信息 Prentice-Hall, Inc. ,1982

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Helmut K. Berg.Formal methods of program verification and specification.Prentice-Hall, Inc.,1982.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Formal methods of program verification and specification

Helmut K. Berg.Prentice-Hall, Inc.,1982.
2 图书 Methods of programming, selected papers on the CIP-Project(1991)
责任者 M. Broy,Methods of programming, selected papers on the CIP-Project

出版信息 Springer ,1991

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
M. Broy,Methods of programming, selected papers on the CIP-Project.Methods of programming, selected papers on the CIP-Project(1991).Springer,1991.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Methods of programming, selected papers on the CIP-Project(1991)

M. Broy,Methods of programming, selected papers on the CIP-Project.Springer,1991.
3 图书程序性能优化理论与方法
责任者韩林,高伟

出版信息高等教育出版社 ,2023

ISBN 978-7-04-059928-2

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
韩林,高伟.程序性能优化理论与方法.高等教育出版社,2023.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

程序性能优化理论与方法

韩林,高伟.高等教育出版社,2023.
4 图书编程之法：面试和算法心得
责任者七月

出版信息人民邮电出版社 ,2015

ISBN 978-7-115-38161-3

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
七月.编程之法：面试和算法心得.人民邮电出版社,2015.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

编程之法：面试和算法心得

七月.人民邮电出版社,2015.

通借成功!

预约成功!