检索
高级检索
书目浏览
中图分类浏览
我的图书馆
新书通报
中图分类查看
精品图书
借阅分析
图书借阅排行榜
热门图书排行榜
读者借阅排行榜
图书专题
语言:
English
中文
韩文
日文
登录
语言:
中文
English
韩文
日文
登录
前方一致
模糊检索
精确检索
任意词
题名
正题名
ISBN/ISSN
著者
主题词
分类号
控制号
订购号
出版社
索书号
q=%E5%AE%8B%E6%96%B9%E6%95%8F&searchType=standard&isFacet=true&view=standard&searchWay=author&rows=10&sortWay=score&sortOrder=desc&searchWay0=marc&logical0=AND
rows=10&searchWay0=marc&logical0=AND
名称:
描述:
公开/私有:
公开
私有
标题:
描述:
公开/私有:
公开
私有
检索词:
宋方敏
, 检索到: 6 条结果, 检索时间: 0.222 秒 , 排序选项:
匹配度
出版日期
主题词
题名
著者
索书号
题名拼音
借阅次数
续借次数
题名权重
正题名权重
卷册号
排序方式:
降序排列
升序排列
隐藏分类导航
宋方敏
CADAL电子资源
集群图书馆
分类导航
O 数理科学与化学
(5)
T 工业技术
(2)
图书馆
浙江图书馆
(6)
显示更多..
馆藏地点
德清书库中文图书保存本(预约查询)
(4)
曙光路馆中文图书闭架外借
(3)
曙光路馆中文图书保存本查阅室
(2)
庆元分馆
(1)
显示更多..
主题
离散数学
(3)
计算机应用
(2)
应用
(1)
电子计算机
(1)
研究
(1)
研究生
(1)
程序语言
(1)
类型论
(1)
计算数学
(1)
计算模型
(1)
显示更多..
著者
宋方敏
(6)
徐洁磐
(3)
徐洁磐,朱怀宏,宋方敏编著
(2)
朱怀宏
(2)
(瑞典)bengt nordstrom,(瑞典)kent petersson,(瑞典)jan m.smith著
(1)
nordstrom
(1)
petersson
(1)
smith
(1)
史密斯
(1)
宋方敏编著
(1)
宋方敏译
(1)
彼得森
(1)
徐家福
(1)
徐家福,宋方敏著
(1)
徐洁磐等编著
(1)
惠永涛
(1)
诺德斯特龙
(1)
显示更多..
出版日期
2013
(1)
2012
(1)
2008
(1)
2005
(1)
2002
(1)
1997
(1)
显示更多..
文献类型
图书
(6)
显示更多..
语言种类
汉语
(6)
显示更多..
新到时间
过去7天
(0)
过去30天
(0)
过去60天
(0)
过去90天
(0)
过去180天
(0)
超过180天
(6)
显示更多..
可借
可借
(6)
显示更多..
保存至书单:
创建新书单
共 1 页
首页
<上一页
1
下一页>
尾页>>
1.
计算模型导引
已借1次.
订购中
著者:
宋方敏
出版社:
高等教育出版社
出版日期: 2012
文献类型:
图书 , 索书号:
O24/308/2012
在馆信息
电子资源
随书附盘
图书信息概览
图书目录
试读信息
内容简介
著者简介
2.
量子程序设计语言
已借9次.
订购中
著者:
徐家福
宋方敏
出版社:
科学出版社
出版日期: 2013
文献类型:
图书 , 索书号:
TP312/233.2/2013
在馆信息
电子资源
随书附盘
图书信息概览
图书目录
试读信息
内容简介
著者简介
3.
离散数学及其在计算机中的应用
已借3次.
订购中
著者:
徐洁磐
朱怀宏
宋方敏
出版社:
人民邮电出版社
出版日期: 2008
文献类型:
图书 , 索书号:
O158/232/4/2008
在馆信息
电子资源
随书附盘
图书信息概览
图书目录
试读信息
内容简介
著者简介
4.
离散数学及其在计算机中的应用
已借1次.
订购中
著者:
徐洁磐
朱怀宏
宋方敏
出版社:
人民邮电出版社
出版日期: 2005
文献类型:
图书 , 索书号:
O158/232/3/2005
在馆信息
电子资源
随书附盘
图书信息概览
图书目录
试读信息
内容简介
著者简介
5.
离散数学及其在计算机中的应用
订购中
著者:
徐洁磐
惠永涛
宋方敏
出版社:
人民邮电出版社
出版日期: 1997.2
文献类型:
图书 , 索书号:
O158/232/2/1997
在馆信息
电子资源
随书附盘
图书信息概览
图书目录
试读信息
内容简介
著者简介
6.
Martin-Lof类型论程序设计导引
订购中
著者:
B. 诺德斯特龙
Bengt Nordstrom
K. 彼得森
Kent Petersson
J.M. 史密斯
Jan M. Smith
出版社:
南京大学出版社
出版日期: 2002
文献类型:
图书 , 索书号:
O24/324/2002
在馆信息
电子资源
随书附盘
图书信息概览
图书目录
试读信息
内容简介
著者简介
共 1 页
首页
<上一页
1
下一页>
尾页>>