硬件设计验证 基于模拟与形式的方法 simulation and formal method-based approaches 【工业技术】

本书的主要内容围绕着对硬件设计验证的两大方法（基于模拟的方法和形式验证的方法）展开。

语用学多学科视角 【其他书籍】

组合静物素描 【艺术】

本丛书定位于所有美术初学者和爱好者。以范画形式为学习者提供专项临摹，强化技巧，图例突出表现了技巧，造型扎实，线条清晰，步骤文字详实，分析精确到位，让读者易理解，易临摹，易掌握。范画力求简繁恰当，调子明......

组合评价及其计算机集成系统研究 【工业技术】

本书介绍组合评价的相关理论和方法，计算机集成系统的简介和用户使用手册。

基于横观各向同性的沥青路面设计理论及方法 【交通运输】

第一部分主要由基于横观各向同性的半空间体理论、多层弹性体系理论、沥青路面结构计算与分析程序、考虑路基路面材料横观各向同性特性沥青路面结构设计与分析等组成，第二部分为Erol Tutumluer博士主要从未粘...

飞行仿真数学建模与实践 【航空航天】

本书介绍了飞行仿真的基础理论知识及发展概况，通过不同数学模型的应用实例，了解飞行仿真试验的方法，步骤，实施过程和不同数学应用模型等。...

组合数学教程 原书第2版 【数理化】

本书涵盖组合数学所涉及的大部分领域，堪称“组合数学的百科全书”。

享受飞行：民航乘客必备知识手册 【经济】

本书从飞机的安全性、乘机准备、票务、机场海关、行李托运、乘机健康、航班延误、航空救生等方面为广大旅客提供了一个较全面的乘机知识指南，是一本乘机必备的知识手册。...

钢结构设计方法 【工业技术】

本书分三个部分。第一部分钢结构设计方法总论：对钢结构设计方法的整个理论体系进行了系统的论述，对钢框架稳定设计的各种方法及其演化进行阐述和评述，系统总结了多层和高层钢结构和钢框架的分类、内力分析方法...

机场飞行区管理与场道施工 【航空航天】

本书主要内容为：机场飞行区管理和场道施工，包括机场净空、机场目视助航设施、机场鸟害防治、机场道面表面功能要求及强度通报等。