检索
高级检索
书目浏览
中图分类浏览
科图分类浏览
我的图书馆
新书通报
中图分类查看
科图分类查看
精品图书
所有标签
图书专题
图书荐购
历史荐购
读者荐购
征订书目
语言:
中文
登录
语言:
中文
登录
前方一致
模糊检索
精确检索
任意词
题名
正题名
ISBN/ISSN
著者
主题词
分类号
控制号
订购号
出版社
索书号
q=B.+%E8%AF%BA%E5%BE%B7%E6%96%AF%E7%89%B9%E9%BE%99&searchType=standard&isFacet=true&view=standard&searchWay=author&rows=10&sortWay=score&sortOrder=desc&curlibcode=002014&hasholding=1&f_author=b&f_pubdate=2002&f_booktype=1&searchWay0=marc&logical0=AND
rows=10&curlibcode=002014&hasholding=1&searchWay0=marc&logical0=AND
名称:
描述:
公开/私有:
公开
私有
标题:
描述:
公开/私有:
公开
私有
检索词:
B. 诺德斯特龙
, 检索到: 1 条结果, 检索时间: 0.047 秒 , 排序选项:
匹配度
出版日期
主题词
题名
著者
索书号
题名拼音
借阅次数
续借次数
题名权重
正题名权重
卷册号
排序方式:
降序排列
升序排列
隐藏分类导航
B. 诺德斯特龙
CADAL电子资源
集群图书馆
分类导航
O 数理科学与化学
(1)
您是不是想检索:
诺德斯特龙
已经限定的分面
图书馆:
潮安图书馆
x
馆藏地点:
著者:
b
x
出版日期:
2002
x
文献类型:
图书
x
在馆 :
在馆
x
图书馆
谢慧如图书馆
潮州市农家书屋
[潮安图书馆]
中心图书馆
湘桥区图书馆
饶平图书馆
潮州市图书馆
显示更多..
馆藏地点
潮安流动馆剔旧书库
(1)
显示更多..
主题
计算数学
(1)
高等学校
(1)
显示更多..
著者
(瑞典)bengt nordstrom,(瑞典)kent petersson, (瑞典)jan m.smith著
(1)
[b]
(1)
bengt
(1)
j.m
(1)
jan m
(1)
k
(1)
kent
(1)
nordstrom
(1)
petersson
(1)
smith
(1)
史密斯
(1)
宋方敏
(1)
宋方敏译
(1)
彼得森
(1)
诺德斯特龙
(1)
显示更多..
出版日期
[2002]
(1)
显示更多..
文献类型
[图书]
(1)
显示更多..
语言种类
汉语
(1)
显示更多..
在馆
[ 在馆 ]
(1)
显示更多..
保存至书单:
创建新书单
共 1 页
首页
<上一页
1
下一页>
尾页>>
1.
Martin-Lof类型论程序设计导引
订购中
著者:
B. 诺德斯特龙
Bengt Nordstrom
K. 彼得森
Kent Petersson
J.M. 史密斯
Jan M. Smith
出版社:
南京大学出版社
出版日期: 2002
文献类型:
图书 , 索书号:
1
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
共 1 页
首页
<上一页
1
下一页>
尾页>>