YvesBertot，PierreCasteran等著2010 年出版432 页ISBN：9787302208136
Coq是一个用于验证定理的证明是否正确的计算机工具。本书的主要目标是从实践的角度来理解Coq系统及其基本理论，即归纳构造演算。这本书给出了大量的例子，所有这些例子都可以在计算机上执行。...
李本亮，管树巍等著2010 年出版270 页ISBN：9787502180843
本书综合运用断层相关褶皱理论和地震解释技术，研究了准南盆地构造演化、构造几何学和运动学建模等，确定了准南基底结构、不同期次盆地性质与构造格局，探索了构造应变恢复的数值模拟技术及前陆构造应变分析和预...
杨飞，叶建中编2011 年出版129 页ISBN：9787562527527
本书根据页岩气成藏主控地质因素，详细分析了页岩气赋存的基本特征（有机质特征、矿物组成、物性特征、储渗空间特征），从有机质丰度、热成熟度、有机质类型、脆性矿物含量、页岩层厚度、埋藏深度、构造形态等7大...
郝伟，李百华主编2010 年出版333 页ISBN：9787562524434
本书以项目的形式详细介绍了现代汽车电器设备的结构、原理、性能、使用、检测和维修技术及有关实践操作技能。内容包括：汽车电器维修工具的使用、汽车电源系统的结构与维修、起动系统的结构与维修、点火系统...
谢永东主编2008 年出版243 页ISBN：9787811147995
本书共设置了五个项目：项目一传动系、项目二自动变速器、项目三行驶系、项目四转向系、项目五制动系，每个项目由若干任务组成。学生在执行完成任务过程中学习汽车底盘各系统结构和原理。全书增加了一些新技术...
梁永浩，王玉凤2017 年出版135 页ISBN：9787568028882
《汽车空调构造与维修》是我校汽车运用与维修专业与广州市合赢教学设备有限公司开展校企合作，在充分调研了行业企业，分析汽车运用与维修专业发展现状与前景的基础上，通过召开实践专家访谈会，分析汽车运用与维修...
汤彬主编2014 年出版259 页ISBN：9787811307184
本书图文并茂，重点突出，理论与实践相结合，针对性实用性强。全书从汽车传动系统、行驶系统、转向系统、制动系统出发，开发出汽车维修工具使用基础和注意事项、底盘总体构造、离合器的拆装与调整等十个项目，按照先...
郭微，段伟主编；耿道森，方俊芳，钱多德副主编；余承辉主审2014 年出版278 页ISBN：9787517016588
本教材根据汽车维修技术领域和职业岗位的任职要求，提炼编写内容，简化繁琐的理论分析，突出结构、维修、检测以及故障诊断等内容的讲述，力求与职业资格标准相衔接，有较强的岗位针对性和实用性。 本书采用工学结合....
周华新主编2016 年出版171 页ISBN：9787517039617
根据近年来汽车专业技能人才的市场需求、中高职衔接院校发动机构造与维修课程教学改革的教学经验，我们组织了本次教材的修编写工作。主要突出以下特色：根据汽车类专业的职业活动，将內容分解成若干典型的学习项...
王萧主编2006 年出版146 页ISBN：7112080827
本书着重介绍现代建筑装饰工程中，最常用的板材隔墙、骨架隔墙、玻璃隔墙、活动隔墙、轻质砌块隔墙的材料、构造的基本知识，以及典型轻质隔墙的施工工艺、施工机具和质量验收等方面的相关知识，同时提供了有代表...
