返回检索首页
我的图书馆登录
书 名
作 者
分类号
ISBN
索书号
主题词
出版社
任意词
每页显示
10
20
50
排序选项
排序方式
出版日期
索书号
出版社
排序方式
降序排列
升序排列
蒋宗礼，姜守旭
共有
2
条记录
共耗时[0.000]秒
页码：
1
/
1
每页显示：
10
记录
跳转：
编译原理
:蒋宗礼，姜守旭
作者：
蒋宗礼，姜守旭
出版社：
高等教育出版社
出版时间：
2010
ISBN：
978-7-04-029058-5
索书号：
TP314/4433
分类号：
TP314
页数：
439页
价格：
33.10
复本数：
在馆数：
累借天数：
累借次数：
本书分为十一章，内容包括：高级语言及其文法、词法分析、自顶向下的语法分析、语法制导翻译与属性文法、语义分析与中间代码生成、符号表管理、运行时的存储组织等。
详细信息
索书号
展开
形式语言与自动机理论
:蒋宗礼，姜守旭
作者：
蒋宗礼，姜守旭
出版社：
清华大学出版社
出版时间：
2003
ISBN：
7-302-06103-3
索书号：
TP301.2/4433
分类号：
TP301.2
页数：
12,346页
价格：
28.00
复本数：
在馆数：
累借天数：
累借次数：
本书不仅含有有关正则语言、上下文无关语言的文法、识别模型及其性质、图灵机的基本知识，更涉及到本学科方法论中所包含的三个学科形态。其内容特点是抽象和形式化，既有严格的理论证明、又具有很强的构造性，从而培养学生的形式化描述和抽象思维能力，使学生了解和初步掌握“问题、形式化、自动化（计算机化）”的解题思路。
详细信息
索书号
展开
缩小检索范围
文献类型
中文图书
(
2
)
出版社
清华大学出版社
(
1
)
高等教育出版社
(
1
)
只显示前10条......
清华大学出版社
(
1
)
高等教育出版社
(
1
)
查看更多信息......
作者
蒋宗礼，姜守旭
(
2
)
只显示前10条......
蒋宗礼，姜守旭
(
2
)
查看更多信息......
出版年
2003
(
1
)
2010
(
1
)
只显示前10条......
2003
(
1
)
2010
(
1
)
查看更多信息......
蒋宗礼，姜守旭
共有
2
条记录
共耗时[0.000]秒
页码：
1
/
1
每页显示：
10
记录
跳转：