检索
高级检索
书目浏览
中图分类浏览
我的图书馆
新书通报
中图分类查看
精品图书
信息公告
全馆图书催还通知
所有标签
语言:
English
中文
登录
语言:
中文
English
登录
前方一致
模糊检索
精确检索
任意词
题名
正题名
ISBN/ISSN
著者
主题词
分类号
控制号
订购号
出版社
索书号
q=Coq&searchType=standard&isFacet=true&view=standard&rows=10&sortWay=score&sortOrder=desc&searchWay0=marc&logical0=AND
rows=10&searchWay0=marc&logical0=AND
名称:
描述:
公开/私有:
公开
私有
标题:
描述:
公开/私有:
公开
私有
检索词:
Coq
, 检索到: 12 条结果, 检索时间: 0.096 秒 , 排序选项:
匹配度
出版日期
主题词
题名
著者
索书号
题名拼音
借阅次数
续借次数
题名权重
正题名权重
卷册号
排序方式:
降序排列
升序排列
隐藏分类导航
|
隐藏趋势图
Coq
CADAL电子资源
集群图书馆
分类导航
K 历史、地理
(4)
I 文学
(3)
O 数理科学与化学
(2)
D 政治、法律
(1)
G 文化、科学、教育、体育
(1)
J 艺术
(1)
N 自然科学总论
(1)
T 工业技术
(1)
图书馆
本溪县分馆
(1)
辽宁省图书馆
(12)
显示更多..
馆藏地点
保存
(7)
新馆外文
(3)
新馆社科
(2)
网借成人
(2)
新馆自科
(1)
本溪县分馆
(1)
流动车-3
(1)
民国日文
(1)
少儿图书
(1)
社科好书榜
(1)
显示更多..
主题
探险
(2)
china
(1)
cookery
(1)
cooks
(1)
female friendship
(1)
guangxi zhuangzu zizhiqu (china)
(1)
史料
(1)
图画故事
(1)
定理证明
(1)
小说集
(1)
教材
(1)
文化史
(1)
新疆 -- 紀行
(1)
机器证明
(1)
游记
(1)
短篇小说
(1)
考古发掘
(1)
艺术史
(1)
软件工具
(1)
集论
(1)
显示更多..
著者
coq
(2)
勒柯克
(2)
(德)yves bertot,(德)pierre casteran著
(1)
(德)勒柯克(albert von le coq)著
(1)
(德)阿尔伯特·冯·勒·寇克(albert von le coq)著
(1)
(德)阿尔伯特·冯·勒克科(albert von le coq)著
(1)
(德)阿尔伯特·冯·勒柯克著
(1)
(法)比亚蒂斯·洛迪格著
(1)
(法)米歇尔·图尼埃著
(1)
9lbert von
(1)
]木村信兒譯
(1)
a.フォン·ル·コック著
(1)
albert von le
(1)
clark, melissa
(1)
garfinkel, nancy
(1)
israel, andrea
(1)
jókaimór
(1)
le coq
(1)
le coq, ,
(1)
mille
(1)
显示更多..
出版日期
2020
(2)
1931
(1)
1986
(1)
1999
(1)
2002
(1)
2005
(1)
2008
(1)
2010
(1)
2023
(1)
显示更多..
文献类型
图书
(10)
民国日文
(1)
日文
(1)
显示更多..
语言种类
汉语
(8)
日语
(2)
显示更多..
在馆
在馆
(12)
显示更多..
保存至书单:
创建新书单
共 2 页
首页
<上一页
1
2
下一页>
尾页>>
1.
小公鸡的蛋
已借20次.
订购中
著者:
洛迪格
出版社:
接力出版社
出版日期: 2020
文献类型:
图书 , 索书号:
I565.85/1315
在馆信息
图书目录
内容简介
著者简介
2.
大松鸡
已借6次.
订购中
著者:
图尼埃
出版社:
河南文艺出版社
出版日期: 2023
文献类型:
图书 , 索书号:
I565.45/1741
在馆信息
图书目录
内容简介
著者简介
3.
交互式定理证明与程序开发:Coq归纳构造演算的艺术:Coq'art: the calculus of inductive constructions
订购中
著者:
贝尔托
卡斯泰朗
出版社:
清华大学出版社
出版日期: 2010
文献类型:
图书 , 索书号:
O141-39/1
在馆信息
图书目录
内容简介
著者简介
4.
Quand le Dragon chinois rencontra le Coq gaulois :: relation prédestinée avec la France de Longzhou, ville frontalière du Sud-Ouest de Chine /
订购中
著者:
Qiu
Juliang
出版社:
出版日期:
文献类型:
图书 , 索书号:
D829.565/Z41F
在馆信息
图书目录
内容简介
著者简介
5.
中国新疆的土地和人民
订购中
著者:
勒柯克
出版社:
中华书局
出版日期: 2008
文献类型:
图书 , 索书号:
K294.5/60
在馆信息
图书目录
内容简介
著者简介
6.
中亚艺术与文化史图鉴
已借2次.
订购中
著者:
勒克科
出版社:
中国人民大学出版社
出版日期: 2005
文献类型:
图书 , 索书号:
J136.009/1
在馆信息
图书目录
内容简介
著者简介
7.
新疆地埋宝藏记
已借3次.
订购中
著者:
阿尔伯特·冯·勒 寇克
Albert von Le Coq
出版社:
中国青年出版社
出版日期: 2002
文献类型:
图书 , 索书号:
K928.945/11
在馆信息
图书目录
内容简介
著者简介
8.
公理化集合论机器证明系统
订购中
著者:
郁文生
孙天宇
付尧顺
出版社:
科学出版社
出版日期: 2020
文献类型:
图书 , 索书号:
O144-39/1
在馆信息
图书目录
内容简介
著者简介
9.
新疆的地下文化宝藏
订购中
著者:
勒柯克 勒柯克
9lbert von Le Coq
出版社:
新疆人民出版社
出版日期: 1999
文献类型:
图书 , 索书号:
N82/44
在馆信息
图书目录
内容简介
著者简介
10.
東トルキスタン風物誌
订购中
著者:
Albert von]]1860-1930 Le Coq
出版社:
白水社
出版日期: 1986.10
文献类型:
日文 , 索书号:
K928.9/コ40
在馆信息
图书目录
内容简介
著者简介
共 2 页
首页
<上一页
1
2
下一页>
尾页>>