北山南带构造岩浆演化与金的成矿作用

本书系统阐述了北山南带的大地构造单元特征和演化历史，全面总结了北山南带各类金矿床的地质特征并分析其控制机制，建立区域构造岩浆演化与金的成矿作用的区域成矿耦合模式；圈定了北山南带金矿床的有利成矿区域...

机床夹具及量具设计

本书系统介绍了实用机械加工工艺技术，内容包括机械制造常用术语，机械加工工艺规程设计，机械加工质量，材料及热处理，机械零件，机械加工工序间加工余量，金属切削机床及辅具、夹具、技术测量及量具，切削基本概念......

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

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

常用电脑的选择与使用指南

APPLEⅡ电脑的使用与维护

塑料凹印机的使用与调节

打印机的使用与维修指南

高速寻呼机的使用与维修

汽车音响的原理使用与检修

涤纶长丝设备的使用与维护