返回检索首页
我的图书馆登录
书 名
作 者
分类号
ISBN
索书号
主题词
出版社
任意词
每页显示
10
20
50
排序选项
排序方式
出版日期
索书号
出版社
排序方式
降序排列
升序排列
计算机
共有
1
条记录
共耗时[0.000]秒
页码：
1
/
1
每页显示：
10
记录
跳转：
作者:"(美) 迈克尔·西普塞, Michael Sipser, 段磊, 唐常杰"
出版年:"20150101"
计算机理论导引
:(美) 迈克尔·西普塞, Michael Sipser, 段磊, 唐常杰
作者：
(美) 迈克尔·西普塞, Michael Sipser, 段磊, 唐常杰
出版社：
机械工业出版社
出版时间：
20150101
ISBN：
978-7-111-49971-8
索书号：
TP301/2A
分类号：
TP301
页数：
XVI, 296页
价格：
CNY69.00
丛书：
计算机科学丛书
复本数：
在馆数：
累借天数：
累借次数：
本书由计算理论领域的知名权威MichaelSipser所撰写。他以独特的视角，系统地介绍了计算理论的三个主要内容：自动机与语言、可计算性理论和计算复杂性理论。作者以清新的笔触、生动的语言给出了宽泛的数学原理，而没有拘泥于某些低层次的细节。在证明之前，均有“证明思路”，帮助读者理解数学形式下蕴涵的概念。
详细信息
索书号
展开
缩小检索范围
文献类型
中文图书
(
1
)
出版社
机械工业出版社
(
1
)
只显示前10条......
机械工业出版社
(
1
)
查看更多信息......
作者
(美) 迈克尔·西普塞, Michael Sipser, 段磊, 唐常杰
(
1
)
只显示前10条......
(美) 迈克尔·西普塞, Michael Sipser, 段磊, 唐常杰
(
1
)
查看更多信息......
出版年
20150101
(
1
)
只显示前10条......
20150101
(
1
)
查看更多信息......
计算机
共有
1
条记录
共耗时[0.000]秒
页码：
1
/
1
每页显示：
10
记录
跳转：