编译原理

（美）Alfred V. Aho等著；李建中，姜守旭译2003 年出版524 页ISBN：7111123492

本书为计算机专业编译原理课程教材。

形式语言与自动机理论 第2版

蒋宗礼，姜守旭编著2007 年出版348 页ISBN：7302149704

本书介绍形式语言与自动机理论，含有正则语言，上下文语言的文法，识别模型的性质等。

形式语言与自动机理论引论

蒋宗礼，姜守旭编著2017 年出版251 页ISBN：9787302456025

本书照我国计算机相关学科研究生教育的现状需要编写，结合作者30来年先后在哈尔滨工业大学和北京工业大学讲授形式语言与自动机理论的经验，选择和组织有关内容撰写而成。全书分9章，介绍语言与文法，正则语言的文...

编译原理

蒋宗礼，姜守旭编著2010 年出版439 页ISBN：9787040290585

本书为普通高等教育“十一五”国家级规划教材，也是国家精品课程主讲教材。本书主要讲述操作系统的基本概念、基本方法与实现技术。在经典内容的基础上，突出介绍了近年来操作系统的最新进展，如多线程、实时与多...

编译原理 第2版

蒋宗礼，姜守旭编著2017 年出版431 页ISBN：9787040483864

“编译原理”是计算机科学与技术专业重要的专业（基础）课程。 本书是普通高等教育“十二五”国家级规划 教材，也是国家精品课程、国家级精品资源共享课程主讲教材，是作者合三十余年在哈尔滨工业大学、北京工业大...

形式语言与自动机理论

蒋宗礼，姜守旭编著2003 年出版347 页ISBN：7302061033

形式语言与自动机理论是计算机科学与技术学科各专业本科生的一门重要课程。本书是作者结合其多年在大学讲授本门课程的经验和体会，选择和组织有关内容撰写而成。本书不仅含有有关正则语言、上下文无关语言的...

21世纪大学本科计算机专业系列教材 形式语言与自动机理论 第3版

蒋宗礼，姜守旭编著2013 年出版287 页ISBN：9787302318026

本书结合作者30年在哈工大、北工大讲授形式语言与自动机理论的经验，选择和组织有关内容撰写而成。全书分10章，介绍基础知识，形式语言，文法，正则语言的文法、自动机、正则表达式描述和性质，上下文无关语言的文法.....

古文应试必备

姜守传等编著1998 年出版191 页ISBN：7810520857

世界大河文明

姜守明编著2011 年出版252 页ISBN：9787547401644

本书以江河为题，探讨河流、自然及其与人类文明的关系。

世界五千年图典

姜守明，任李明编著2000 年出版281 页ISBN：7534623103

本书主要包括：世界上古史概要、世界中古史概要、世界近代史概要、世界现代史概要等内容。