机械基础辅导与练习 【工业技术】

机械制图练习与提高 【工业技术】

本书包括机械制图的基本知识。

民用建筑设计与构造 【工业技术】

本书主要作为高等职业院校房地产类专业学生学习民用建筑的基本设计、构成、组合方式和构造方法的教材使用，还可作为高等院校本、专科房地产类各专业、工程管理专业以及其他相近专业的参考教材，也可供其他类型...

建筑识图与房屋构造 【工业技术】

本书是在许多院校使用第1版的经验基础上，并充分考虑读者意见、广泛征求相关专家建议重建本课程。本书按学习情境模式安排教学内容，分别介绍识图基础、建筑识图、民用建筑构造、工业建筑构造等知识。在民用建...

举高消防车构造与使用维护 【交通运输】

本书第一章介绍了举高消防车的分类和用途。第二章举高消防车的总体构造。第三章介绍了液压传动的基本知识和举高消防车液压系统。第四章介绍了电路的基本知识和举高消防车常用电子元器件与典型电路。第五章...

准噶尔盆地构造沉积与成藏 【天文地球】

本书研究重点为准噶尔盆地中新生界地层、沉积、烃源岩，以及盆地区域地质背景、构造演化、超压和油气成藏。在构造研究方面，提出了准噶尔盆地不同时期盆地成因类型新的划分方案；在成藏研究方面，重点对准噶尔盆地...

电工同步指导与实习 【工业技术】

本书根据高等学校“电工学”课程教学大纲要求，由“电工同步指导”与“电工实习”两篇组成。上篇9章，各章由“内容目标”、“学习要点”、“应用”、“例题”、“练习”组成；下篇围绕可编程控制器实习展开。...

概率论与数理统计 学习指导与同步训练 【数理化】

柴达木盆地及其周缘山系盆山耦合与构造演化 【天文地球】

本书应用地质热年代学方法和前陆盆地断层相关褶皱理论，研究了柴达木盆地及其周缘的深成岩浆活动、区域热演化历史和构造演化，建立了柴达木盆地北缘的构造格架和构造样式，为柴达木盆地北缘中西段油气勘探提出了...

交互式定理证明与程序开发 Coq归纳构造演算的艺术 【数理化】

Coq是一个用于验证定理的证明是否正确的计算机工具。本书的主要目标是从实践的角度来理解Coq系统及其基本理论，即归纳构造演算。这本书给出了大量的例子，所有这些例子都可以在计算机上执行。...