检索
高级检索
书目浏览
中图分类浏览
科图分类浏览
我的图书馆
新书通报
中图分类查看
科图分类查看
精品图书
信息公告
全馆预约到馆通知
全馆图书催还通知
全馆预借到馆通知
所有标签
图书专题
图书荐购
历史荐购
读者荐购
征订书目
语言:
中文
登录
语言:
中文
登录
前方一致
模糊检索
精确检索
任意词
题名
正题名
ISBN/ISSN
著者
主题词
分类号
控制号
订购号
出版社
索书号
q=%E8%A3%98%E5%AE%97%E7%87%95&searchType=standard&isFacet=true&view=standard&searchWay=author&booktype=1&booktype=2&booktype=4&rows=10&sortWay=score&sortOrder=desc&searchWay0=marc&logical0=AND
booktype=1&booktype=2&booktype=4&rows=10&searchWay0=marc&logical0=AND
名称:
描述:
公开/私有:
公开
私有
标题:
描述:
公开/私有:
公开
私有
检索词:
裘宗燕
, 检索到: 6 条结果, 检索时间: 0.022 秒 , 排序选项:
匹配度
出版日期
主题词
题名
著者
索书号
题名拼音
借阅次数
续借次数
题名权重
正题名权重
卷册号
排序方式:
降序排列
升序排列
隐藏分类导航
裘宗燕
CADAL电子资源
集群图书馆
分类导航
T 工业技术
(4)
O 数理科学与化学
(2)
图书馆
贵阳学院图书馆
(6)
显示更多..
馆藏地点
五楼自然科学书库
(6)
显示更多..
主题
程序设计
(4)
mmp
(1)
数学软件
(1)
数理逻辑
(1)
方程
(1)
求解
(1)
软件工具
(1)
显示更多..
著者
裘宗燕
(6)
裘宗燕译
(3)
(美)哈罗德·阿贝尔森(harold abelson)，(美)杰拉尔德·杰伊·萨斯曼(gerald jay sussman)，(美)朱莉·萨斯曼(julie sussman)著
(1)
(荷) edsger w. dijkstra著
(1)
(荷) 艾兹格· w. 迪杰斯特拉著
(1)
edsger w. dijkstra
(1)
刘志明
(1)
刘志明, 裘宗燕编著
(1)
埃布尔森
(1)
戴克斯特拉
(1)
王定康
(1)
萨斯曼
(1)
裘宗燕著
(1)
迪杰斯特拉
(1)
高小山
(1)
高小山 … [等] 著
(1)
显示更多..
出版日期
2022
(1)
2020
(1)
2019
(1)
2018
(1)
2013
(1)
2006
(1)
显示更多..
文献类型
图书
(6)
显示更多..
语言种类
汉语
(6)
显示更多..
在馆
在馆
(6)
显示更多..
保存至书单:
创建新书单
共 1 页
首页
<上一页
1
下一页>
尾页>>
1.
程序员学Python
订购中
著者:
裘宗燕
出版社:
人民邮电出版社
出版日期: 2018.8
文献类型:
图书 , 索书号:
2
在馆信息
内容简介
2.
数理逻辑引论：计算机科学与系统的天然基础
已借1次.
订购中
著者:
刘志明
裘宗燕
出版社:
科学出版社
出版日期: 2022.10
文献类型:
图书 , 索书号:
O14/152
在馆信息
内容简介
3.
方程求解与机器证明：基于MMP的问题求解
订购中
著者:
高小山
王定康
裘宗燕
出版社:
科学出版社
出版日期: 2006.9
文献类型:
图书 , 索书号:
3
在馆信息
内容简介
4.
计算机程序的构造和解释：典藏版
已借1次.
订购中
著者:
埃布尔森
萨斯曼
萨斯曼
出版社:
机械工业出版社
出版日期: 2019
文献类型:
图书 , 索书号:
2
在馆信息
内容简介
5.
编程的修炼
订购中
著者:
戴克斯特拉
出版社:
电子工业出版社
出版日期: 2013.07
文献类型:
图书 , 索书号:
1
在馆信息
内容简介
6.
编程的修炼
已借1次.
订购中
著者:
迪杰斯特拉
出版社:
人民邮电出版社
出版日期: 2020.9
文献类型:
图书 , 索书号:
TP311.1/1043
在馆信息
内容简介
共 1 页
首页
<上一页
1
下一页>
尾页>>
