检索
高级检索
书目浏览
中图分类浏览
我的图书馆
新书通报
中图分类查看
科图分类查看
图书荐购
历史荐购
读者荐购
语言:
中文
登录
语言:
中文
登录
前方一致
模糊检索
精确检索
任意词
题名
正题名
ISBN/ISSN
著者
主题词
分类号
控制号
订购号
出版社
索书号
q=%E8%AE%A1%E7%AE%97%E6%9C%BA%E7%A7%91%E5%AD%A6&searchType=standard&isFacet=true&view=standard&rows=10&sortWay=score&sortOrder=desc&curlibcode=CSLG&f_class1=o&searchWay0=marc&logical0=AND
rows=10&curlibcode=CSLG&searchWay0=marc&logical0=AND
名称:
描述:
公开/私有:
公开
私有
标题:
描述:
公开/私有:
公开
私有
检索词:
计算机科学
, 检索到: 91 条结果, 检索时间: 0.038 秒 , 排序选项:
匹配度
出版日期
主题词
题名
著者
索书号
题名拼音
借阅次数
续借次数
题名权重
正题名权重
卷册号
排序方式:
降序排列
升序排列
隐藏分类导航
|
隐藏趋势图
计算机科学
CADAL电子资源
集群图书馆
分类导航
O1 数学
(55)
O2 数学
(32)
TP 自动化技术、计算机技术
(7)
H3 常用外国语
(4)
O4 物理学
(4)
G2 信息与知识传播
(1)
TN 无线电电子学、电信技术
(1)
回到上一级分类
已经限定的分面
图书馆:
长沙理工大学图书馆
x
馆藏地点:
图书馆
[长沙理工大学图书馆]
中心馆
显示更多..
馆藏地点
云塘馆自科一库(一楼东)
(59)
B馆自科书库(三楼)
(32)
云塘馆样本书阅览室(七楼)(不外借)
(30)
A馆自科书库(二楼)
(29)
A馆综合书库(三楼)
(7)
云塘馆社科三库(五楼东)
(4)
云塘馆密集书库2(联系自科二库借书)
(4)
A馆外文书库(五楼、六楼)
(2)
云塘馆自科三库(二楼东)
(2)
云塘馆密集书库1(联系自科二库借书)
(1)
显示更多..
主题
离散数学
(21)
高等学校
(10)
组合数学
(8)
数值计算
(4)
英文
(4)
高等数学
(4)
数理逻辑
(3)
算法分析
(3)
信息论
(2)
图论
(2)
数学
(2)
数理统计
(2)
普及读物
(2)
最优化算法
(2)
概率论
(2)
电子计算机
(2)
研究
(2)
算法
(2)
网格
(2)
计算方法
(2)
显示更多..
著者
卢开澄
(3)
罗森
(3)
陆钟万
(3)
陆钟万著
(3)
(美) richard johnsonbaugh著
(2)
冯速
(2)
卢华明
(2)
多尔夫
(2)
张文博
(2)
徐六通
(2)
约翰逊鲍夫
(2)
袁崇义
(2)
谢红卫
(2)
谢红卫 ... [等] 译
(2)
陈克东
(2)
陈克东 主编
(2)
(加) 汤姆·詹金斯, 本·斯蒂芬森著
(1)
(加) 约翰·沃特罗斯著
(1)
(德) michael huth, (英) mark ryan著
(1)
(德) 贝特霍尔德·弗金 ... [等] 编著
(1)
显示更多..
出版日期
2022
(9)
2021
(6)
2020
(10)
2019
(6)
2018
(2)
2015
(3)
2011
(3)
2010
(3)
2008
(2)
2006
(6)
2005
(10)
2004
(4)
2003
(3)
2002
(2)
2001
(3)
1991
(1)
1990
(1)
1986
(3)
1984
(3)
1983
(2)
显示更多..
文献类型
图书
(91)
显示更多..
语言种类
汉语
(85)
英语
(4)
显示更多..
在馆
在馆
(91)
显示更多..
保存至书单:
创建新书单
共 10 页
首页
<上一页
1
2
3
4
5
6
7
8
9
10
下一页>
尾页>>
1.
可计算性理论导引
订购中
著者:
李祥
出版社:
贵州人民
出版日期: 1986.10
文献类型:
图书 , 索书号:
O141.3/2
在馆信息
电子资源
电子资源
图书信息概览
图书目录
试读信息
内容简介
著者简介
2.
数理逻辑与机器证明
订购中
著者:
陆钟万
出版社:
科学出版社
出版日期: 1990.10
文献类型:
图书 , 索书号:
O14/L498
在馆信息
电子资源
电子资源
图书信息概览
图书目录
试读信息
内容简介
著者简介
3.
自动机引论
订购中
著者:
陶仁骥
出版社:
科学出版社
出版日期: 1986.11
文献类型:
图书 , 索书号:
O233/T779
在馆信息
电子资源
电子资源
图书信息概览
图书目录
试读信息
内容简介
著者简介
4.
几何定理机器证明的基本原理:初等几何部分
订购中
著者:
吴文俊
出版社:
科学
出版日期: 1984.6
文献类型:
图书 , 索书号:
O123/2
在馆信息
电子资源
电子资源
图书信息概览
图书目录
试读信息
内容简介
著者简介
5.
线性自动机
订购中
著者:
管纪文
出版社:
科学出版社
出版日期: 1984.11
文献类型:
图书 , 索书号:
O233/G653
在馆信息
电子资源
电子资源
图书信息概览
图书目录
试读信息
内容简介
著者简介
6.
数理逻辑与机器证明
订购中
著者:
陆钟万
出版社:
科学
出版日期: 1983.11
文献类型:
图书 , 索书号:
O141/1
在馆信息
电子资源
电子资源
图书信息概览
图书目录
试读信息
内容简介
著者简介
7.
数值方法和MATLAB实现与应用
已借4次.
订购中
著者:
拉克唐瓦尔德(Recktenwald
G.)
出版社:
机械工业出版社
出版日期: 2004
文献类型:
图书 , 索书号:
O241/L447
在馆信息
电子资源
电子资源
图书信息概览
图书目录
试读信息
内容简介
著者简介
8.
数值分析
已借1次.
订购中
著者:
韩国强
出版社:
华南理工大学出版社
出版日期: 2005
文献类型:
图书 , 索书号:
O241-43/H336
在馆信息
电子资源
电子资源
图书信息概览
图书目录
试读信息
内容简介
著者简介
9.
自动机理论、语言和计算导引
订购中
著者:
霍普克罗夫特;J.E;厄尔曼;J.D
出版社:
科学
出版日期: 1986.9
文献类型:
图书 , 索书号:
O233/2
在馆信息
电子资源
电子资源
图书信息概览
图书目录
试读信息
内容简介
著者简介
10.
集论与逻辑――面向计算机科学
订购中
著者:
沈恩绍
出版社:
科学出版社
出版日期: 2003/3
文献类型:
图书 , 索书号:
O14/6
在馆信息
电子资源
电子资源
图书信息概览
图书目录
试读信息
内容简介
著者简介
共 10 页
首页
<上一页
1
2
3
4
5
6
7
8
9
10
下一页>
尾页>>