任继周文集 第2卷 草原生产力与草地农业系统 Volume 2 Grassland productivity and grassland agricultural system
任继周著2005 年出版589 页ISBN：7109107078
本文集共收集了任继周院士1973～1985年间有关草原生产力与草地农业系统方面的理论论述，学术会议论文、讲话及在学术刊物上发表的文章等60多篇，其中部分文章属于首次发表。...
杨军，朱学平，张晓峰等编著2014 年出版161 页ISBN：9787561239155
本书是作者在多年从事反辐射制导技术科学研究和工程设计的基础上撰写而成的，较全面地介绍了反辐射武器制导控制系统设计、分析和评估方法。本书主要内容包括反辐射制导武器制导和飞行控制技术、制导控制设备...
祝明波，杨立波，杨汝良编著2014 年出版244 页ISBN：9787118094381
本书主要包括：导弹制导原理、合成孔径雷达原理、合成孔径雷达图像、弹载合成孔径雷达制导应用模式、边缘和统计特性的匹配算法、弹道优化设计、弹载合成孔径雷达成像、几何失真影响、参考图与参考模板制备、...
Database management systems designing and building business applications = 数据库管理系统（英文版·第3版）
Gerald V. Post2006 年出版426 页ISBN：7111178521
本书涵盖了构建数据库前的两个关键主题：数据库设计（规范化）和SQL（查询）。这两个主题跨越所有主要的数据库系统。规范化说明了如何细致设计数据库以获得DBMS手段的能力。SQL是一种标准查询语言，事实上用于应用程序...
陈克俊，刘鲁华，孟云鹤编著2014 年出版347 页ISBN：9787118091236
本教材深入地分析了弹道导弹和运载火箭及其有效载荷的运动状态，建立了其运动微分方程，揭示了飞行器运动的客观规律，研究了飞行器制导的基本原理，并对飞行动力学与制导有关的工程实际问题如总体设计参数的选择、...
DL/T 5240-2010 火力发电厂燃烧系统设计计算技术规范 Technical code for design and calculation of combustion system o
国家能源局发布2013 年出版248 页ISBN：7512345072
面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems
（德）Michael Huth，（英）Mark Ryan著；何伟，樊磊译2007 年出版277 页ISBN：7111213971
本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题，反映了计算机科学中数理...
The design and implementation of the FreeBSD operating system (2nd Edition) = FreeBSD 操作系统设计与实现 (第2版
Marshall Kirk McKusick ; George V. Neville-Neil ; Robert N. M. Watson2016 年出版846 页ISBN：7115413499
