蒋宗礼，姜守旭编著2007 年出版348 页ISBN：7302149704
本书介绍形式语言与自动机理论，含有正则语言，上下文语言的文法，识别模型的性质等。
蒋宗礼，姜守旭编著2017 年出版251 页ISBN：9787302456025
本书照我国计算机相关学科研究生教育的现状需要编写，结合作者30来年先后在哈尔滨工业大学和北京工业大学讲授形式语言与自动机理论的经验，选择和组织有关内容撰写而成。全书分9章，介绍语言与文法，正则语言的文...
蒋宗礼，姜守旭编著2010 年出版439 页ISBN：9787040290585
本书为普通高等教育“十一五”国家级规划教材，也是国家精品课程主讲教材。本书主要讲述操作系统的基本概念、基本方法与实现技术。在经典内容的基础上，突出介绍了近年来操作系统的最新进展，如多线程、实时与多...
蒋宗礼，姜守旭编著2017 年出版431 页ISBN：9787040483864
“编译原理”是计算机科学与技术专业重要的专业（基础）课程。 本书是普通高等教育“十二五”国家级规划 教材，也是国家精品课程、国家级精品资源共享课程主讲教材，是作者合三十余年在哈尔滨工业大学、北京工业大...
蒋宗礼，姜守旭编著2003 年出版347 页ISBN：7302061033
形式语言与自动机理论是计算机科学与技术学科各专业本科生的一门重要课程。本书是作者结合其多年在大学讲授本门课程的经验和体会，选择和组织有关内容撰写而成。本书不仅含有有关正则语言、上下文无关语言的...
21世纪大学本科计算机专业系列教材 形式语言与自动机理论 第3版
蒋宗礼，姜守旭编著2013 年出版287 页ISBN：9787302318026
本书结合作者30年在哈工大、北工大讲授形式语言与自动机理论的经验，选择和组织有关内容撰写而成。全书分10章，介绍基础知识，形式语言，文法，正则语言的文法、自动机、正则表达式描述和性质，上下文无关语言的文法.....
姜守明，任李明编著2000 年出版281 页ISBN：7534623103
本书主要包括：世界上古史概要、世界中古史概要、世界近代史概要、世界现代史概要等内容。
