刘守旭，徐萍编著2013 年出版276 页ISBN：9787501243679
本书是“解说中国丛书”中的一本。这本书简要回顾和总结了中华人民共和国建国60年来的外交历程。全书共分六章，把新中国外交史按照中共外交理念的变化以及明显的历史特征划分为六个时期，选取了新中国外交历程...
蒋宗礼，姜守旭编著2007 年出版348 页ISBN：7302149704
本书介绍形式语言与自动机理论，含有正则语言，上下文语言的文法，识别模型的性质等。
刘守华主编；刘守华，陈建宪丛书主编2014 年出版324 页ISBN：9787562268420
本书构思精妙，描写生动，情节扣人心弦，寓于启发性，可读性较强。全书注重故事的丰富性和全面性，内容涉及古代故事、动物故事、神奇婚姻、人间百态、英雄传奇、神奇幻境和生活智慧，共精选了一百零二则各民族具有新.....
蒋宗礼，姜守旭编著2017 年出版251 页ISBN：9787302456025
本书照我国计算机相关学科研究生教育的现状需要编写，结合作者30来年先后在哈尔滨工业大学和北京工业大学讲授形式语言与自动机理论的经验，选择和组织有关内容撰写而成。全书分9章，介绍语言与文法，正则语言的文...
蒋宗礼，姜守旭编著2010 年出版439 页ISBN：9787040290585
本书为普通高等教育“十一五”国家级规划教材，也是国家精品课程主讲教材。本书主要讲述操作系统的基本概念、基本方法与实现技术。在经典内容的基础上，突出介绍了近年来操作系统的最新进展，如多线程、实时与多...
