宝钢工程设备材料管理 【经济】

数字硬件的形式化验证 【工业技术】

国家自然科学基金研究成果专著出版基金资助:本书介绍了形式化方法，数字硬件的规范描述和验证，高阶逻辑系统及其在硬件验证中的应用，模型检验，验证与综合系统VIS等内容。...

电力设备绝缘检测与诊断 【工业技术】

计算机辅助设备管理 【经济】

常用电气设备故障排除实例 【工业技术】

混凝·混凝剂·混凝设备 【工业技术】

焊接材料、工艺及设备手册 【工业技术】

视频设备原理与维修精华 【工业技术】

常用机械设备及电气控制 【工业技术】

制革工厂设备管理与维修 【工业技术】