宁晓琳，宫晓琳，李建利编著2019 年出版143 页ISBN：9787118116595
本书是作者课题组多年来的教学和科研成果的总结，主要介绍了线性系统的卡尔曼滤波和非线性系统的扩展卡尔曼滤波、unscented卡尔曼滤波等滤波方法和这些滤波方法在INS初始对准、GPS动态滤波、GPS/INS组合导航...
GUI应用程序移植：在LINUX上模拟WINDOWS API的方法
肖习攀 阎小兵 贾迎东 龚奕平 曾鑫 赵俊 冯遥遥 陆爽 张垚著2007 年出版370 页ISBN：
郭贵春著2004 年出版289 页ISBN：7030135539
本书立足于20世纪科学哲学和科学实在论发展的背景及趋势，运用多元的语言分析，从方法论的层面上解决科学实在论的困境，为科学实在论的发展提供一种方法论的辩护策略。作者把科学实在论放在整个科学哲学大语境中...
（德）乌尔里希.内姆佐夫编著2010 年出版184 页ISBN：9787111289760
本书原著是由自主移动机器人领域知名人士Ulrich Nehmzow博士撰写，在英国很受欢迎，并且在意大利、西班牙和加拿大等国被多所高等院校作为教材使用。...
傅德印，黄恒君著2011 年出版298 页ISBN：9787503764486
本书在国内外有关统计调查质量研究的基础上，界定统计调查质量内涵，将统计调查质量分解到统计数据质量和调查过程质量两部分。基于此，再对统计调查质量的测度、评估、控制和改进方法进行系统研究，做了一些新的尝...
张健著2000 年出版172 页ISBN：7030083644
本书共分四章。前三章分别讨论了经典的命题逻辑和一阶谓词逻辑公式以及命题模态逻辑公式的可满足性判定算法，也提到有关的软件工具。第四章介绍了它们在离散数学研究、软件和硬件的形式验证与测试等方面的应...
（苏）科索拉波夫（Косолапов，В.В.）著；曹静译1991 年出版262 页ISBN：7310004051
书名原文:Методологиясоциальногопрогнозирования:高等学校文科教材:本书介绍了马克思主义社会预测理论的基本内容。
