《嵌入式实时操作系统测试理论和方法》以理论为指导，提出了操作系统测试需要解决的问题，证明了基于有限状态机测试策略的正确性，使用动态代码走查方法提高代码走查的效率和效果，使用地址监控方法解决临界保护正确性测试问题。每种测试方法都以理论为指导，测试充分性得到有效保证。《嵌入式实时操作系统测试理论和方法》适合于从事嵌入式操作

《先进树脂基复合材料自动化制造技术》系统介绍了目前先进树脂基复合材料自动化制造技术，主要内容包括：树脂基复合材料制造过程数字化技术基础，树脂基复合材料热压罐成形数字化技术、树脂基复合材料自动铺放技术、树脂基复合材料拉挤成形技术、树脂基复合材料RTM成形技术、树脂基复合材料纤维缠绕成形技术。各个部分介绍了相关成形技术原理

本书以图文并茂的形式讲述了不同历史时期各种冷兵器的组成构造、使用方法、作战威力及发展历史，希望读者阅读后能对冷兵器知识有更全面、更深入的了解。

《中等职业教育"十二五"规划教材·中职幼师系列:幼师英语》是中等职业学校学前教育专业的英语教材。全书分为14个单元，主要围绕幼儿园、家庭生活、食物健康、衣服颜色、肢体动作、课外活动、时间利用、国家节日、环境保护、天气预报、读书学习、出游旅行、就餐购物、看病问路等与幼儿日常生活密切相关的话题展开。

《武力真相:解密世界特种部队》为《武力真相》系列丛书之一。《武力真相:解密世界特种部队》详细介绍了世界范围内几十支著名的特种部队。特种部队在执行现代战争任务、维持战后及日常治安、以及特殊工作领域中发挥着不容忽视的力量。

《使用AADL的模型基工程－－SAE体系结构分析和设计语言入门》由AS5506标准主编成员彼得·H.费勒、戴维·P.格鲁茨所著，书中简练地介绍了AADL的概念、结构和使用，以及AADL为何是验证软件系统体系结构的MBE的有效工具。全书为学习AADL的读者提供了开发和分析基本系统模型的足够细节。它是使用AADL促进MBE

《英汉航空图解词典》为（AnIllustratedDictionaryofAviation）的中文版，共收录词条约7400个，包含图释约2400幅，覆盖面较宽，涉及航空航天各专业领域的英文技术词汇，涵盖航空器、航天器、动力系统、仪器仪表、机载设备、航空测绘、导航、空管、机场、维修、天文、气象、航空医学等军用航空、民用航

Harrier“鹞”垂直/短距起降战斗机是世界著名战机传记丛书中的一本。鹞”是一种亚音速单座单发垂直/短距起落战斗机，是英国原霍克飞机公司（已并入英国航宇公司）和布里斯托尔航空发动机公司（已并入罗罗公司）研制的世界上种实用型垂直/短距起落飞机。本书详尽介绍了该机研制历史、性能特点以及实战战例等故事，适合军事发烧友和航空

本书共分6章，分别为适航管理体系简介；机载设备适航认证及证后管理的有关程序；系统合格审定的考虑；适航产品软件开发指南；硬件开发设计保证指南；适航认证中质量体系建设的基本要求。

全书共8个项目，项目一介绍了制作多媒体课件需要掌握的基本知识；项目二介绍了在FlashCS5中利用绘画工具制作静态演示课件的方法；项目三介绍了在FlashCS5中利用补间动画、传统补间动画等；项目四介绍了在Flash多媒体课件中应用声音和视频的方法等。