宁晓琳，宫晓琳，李建利编著2019 年出版143 页ISBN：9787118116595
本书是作者课题组多年来的教学和科研成果的总结，主要介绍了线性系统的卡尔曼滤波和非线性系统的扩展卡尔曼滤波、unscented卡尔曼滤波等滤波方法和这些滤波方法在INS初始对准、GPS动态滤波、GPS/INS组合导航...
GUI应用程序移植：在LINUX上模拟WINDOWS API的方法
肖习攀 阎小兵 贾迎东 龚奕平 曾鑫 赵俊 冯遥遥 陆爽 张垚著2007 年出版370 页ISBN：
中国标准出版社第四编辑室编著2010 年出版649 页ISBN：9787506656832
《统计方法应用国家标准汇编》分为以下五卷：--术语符号和统计用表卷--统计分析与数据处理卷--抽样检验卷--过程控制与测量方法的准确度卷--可靠性统计方法卷本卷为抽样检验卷（第三版），共收入截至2009年12月发布...
卫星轨道 模型、方法和应用=satellite orbits models ，methods and applications
（德）oliver montenbruck2012 年出版0 页ISBN：
张健著2000 年出版172 页ISBN：7030083644
本书共分四章。前三章分别讨论了经典的命题逻辑和一阶谓词逻辑公式以及命题模态逻辑公式的可满足性判定算法，也提到有关的软件工具。第四章介绍了它们在离散数学研究、软件和硬件的形式验证与测试等方面的应...
刘会民，邱月潮主编2007 年出版343 页ISBN：7562615969
本书收录中外军事名家关于作战指挥与司令部建设方面的精典论述1000种。
刘戟锋，曾华锋，盖立阁主编2010 年出版228 页ISBN：9787506561150
本书属于“科学·技术·军事”丛书的国外著作导读系列。对33部尚未有中译本国外科学，技术与军事著作进行了评介。
（美）JanS.Hesthaven，（美）T.Warburton著2011 年出版434 页ISBN：9787030309952
本书介绍了最新的一种高精度高效率的计算方法，即交点间断Galerkin方法。这是有限元方法对于具守恒性质的物理与工程问题的一个高精度应用。该书详述了方法的背景、理论及其在几个重要方面的应用。该书给出了...
周扬胜，张国宁，潘涛，徐成等著2015 年出版415 页ISBN：9787511117410
本书拟较为系统、详尽地介绍标准基础知识和国内外环境标准现状，探讨环境标准内部体系问题和外部法律环境问题，阐述环境基准、环境质量标准和污染物排放标准的原理和制订实施方法，展示环境标准的实施体系、案例...
范玉芳著2011 年出版535 页ISBN：9787801508638
本书作者在研究过程中采取了历史研究和比较研究的方法，对世界各主要军事强国，如普鲁士-德国、法国、英国、俄罗斯-苏联以及美国进行了研究，对其军官制度与军官培养方式的形成和发展进行了分析比较，在此基础上指...
