导引
制导炮弹导引控制一体化设计技术
《制导炮弹导引控制一体化设计技术》,作者:孙世岩等 著 出版社:科学出版社 ISBN:9787030697929。本书从基础理论与作战实际结合的角度出发，针对制导炮弹在末制导段中存在的多项客观约束条件，对制导炮弹导引控制一体化设计技术进行较为全面系统的分析，其基本原理和分析处理的方法具有普遍意义，对其他旋转类和非旋转类飞行器也具有一定的适用性与参考价值。本书主要内容包括：舰炮制导炮弹的导引控
Kac-Moody代数导引
《Kac-Moody代数导引》,作者:万哲先著 出版社:科学出版社 ISBN:7030034236。论述Kac-Moody代数的基本理论,并介绍近年来国内外有关Lie代数的一些最新成果。
系统科学导引（第Ⅰ卷：系统科学概论）
《系统科学导引（第Ⅰ卷：系统科学概论）》,作者:吴金闪 著 出版社:科学出版社 ISBN:9787030571434。本书共3卷。《第I卷：系统科学概论》旨在通过具体研究工作的例子来展示什么是系统科学，系统科学在什么样的问题中可以发挥作用，系统科学有哪些思维方式和分析方法。
自动机理论、语言和计算导引
《自动机理论、语言和计算导引》,作者:J.E.霍普克罗夫特 出版社:科学出版社 ISBN:15031737。本书是讨论自动机理论、语言理论和计算理论（主要是计算复杂性理论）的专著． 全书共十四章．第一章为预备知识；第二、三章讨论有穷自动机和正规集合；第四、五、六章讨论上下文无关语言和下推自动机；第七章讨论图灵机；第八章讨论不可判定性；第九章按Chomsky谱系对语言和自
自动机理论、语言和计算导引
《自动机理论、语言和计算导引》,作者:(美)霍普克罗夫特(Hopcroft， J.E.)，(美)厄尔曼(Ullman， J.D.)著；徐美瑞译 出版社:科学出版社 ISBN:7030019172。本书是讨论自动机理论、语言理论和计算理论（主要是计算复杂性理论）的专著． 全书共十四章．第一章为预备知识；第二、三章讨论有穷自动机和正规集合；第四、五、六章讨论上下文无关语言和下推自动机；第七章讨论
数字计算机系统功能设计导引
《数字计算机系统功能设计导引》,作者:高庆狮 出版社:科学出版社 ISBN:15031472。本书是根据作者1969—1972年在流水线超大型机，1973—1975年在并行计算、向量超大型及巨型机，1976—1979年在细胞结构化向量巨型机及其他新型向量机的设计和研究工作中的经验和成果写成的．1979年以来，作者以本稿为教材，曾在中国科学院研究生院讲授，以后又作了一些补充
