B方法与形式化软件开发技术研究 【工业技术】

本书从软件实际开发过程出发，将形式化技术应用于每个开发阶段，系统地介绍了基于B方法完成软件形式化开发的模式、过程、技术和方法，其中包括UML模型图到B方法形式规约的比较全面的转换方法。...

Windows Vista安装全程图解 双色版 【工业技术】

快乐装修全程攻略手册 2005版 【工业技术】

本书包括装修设计、装修预算、装修全程控制等。

煤矿监控图像分析方法研究 【工业技术】

矿工监控系统和煤炭质量监控系统的研究对煤矿的安全、高效生产具有重大的意义。本书分析了煤矿图像监控系统的特点；根据巷道环境监控图像的低照度、低分辨率特点，分析了基矿工脸部检测算法；根据列车监控图像的...

清华大学 博士后研究报告 石墨球涡流检测的理论、方法和实验 【工业技术】

计算机应用基础全程辅导与自测 【工业技术】

信号与系统全程辅导 第2版 上 【工业技术】

研究强迫非线性振子中倍周期分岔和“混乱”现象的分频采样方法 【工业技术】

乡土建筑 跨学科研究理论与方法 【工业技术】

乡土建筑研究因其广阔的涉及面而与许多学科密切关联。因而，突破相对单一的学科领域，进行跨学科研究正在成为当代乡土建筑研究理论与方法的主要源流。本书即以跨学科及整合的思路，选择社会学、人文地理学、传播...

材料力学全程辅导 浙大·四版 下 【工业技术】

本书是高等学校材料力学的辅导书。