模型检测 【工业技术】

模型检测是一种用于自动验证有限状态并发系统的技术，与基于模拟、测试和演绎推理的传统技术相比，具有许多方面的优势。本书涵盖的内容包括模型检测的基本知识、模态逻辑、符号化技术、SAT Solver、限界模型检...

环境艺术模型制作 【工业技术】

本书结合当前国内环境艺术模型塑的主要理论和实践，讲授模型的范围、对象与特征，探寻认知、设计发展规律，培养学生手工制作能力及先进设备的操作能力。本书适用于环境设计专业的师生作为教材，也可供有兴趣的读者...

2011家居空间模型 新古典主义 【工业技术】

2010年家居空间设计方案254个，以效果图形式配上相应的原始3dsmax模型。每本书配上4张DVD光盘。

室内设计图像模型 酒店、商业空间 【工业技术】

本书精选国广一叶装饰机构最近的酒店设计效果图及其原始3dsmax模型。每种书约选登210个作品，4张配套光盘。

中文 AutoCAD R14使用手册 三维模型制作 【工业技术】

2009室内设计模型 家居空间 【工业技术】

本书拟精选几家设计公司的效果图作品，内容上遵循以往模型库的做法：效果图配上相应的原始3dsmax模型。每种书约选登200多套家居空间室内设计作品，2张配套光盘。...

Excel 2007在统计分析中的应用 【工业技术】

本书以MS Office Excel 2007为软件平台，通过大量操作图例，详细演示了统计学分析中的主要方法和技术的实现步骤。

Poser 8.0高级应用及商用模型开发 【工业技术】

本书着重介绍了Poser 8.0高级应用和特色功能以及资源库模型的开发途径。

一代风流 室内装饰设计效果图 模型真经 【工业技术】

嘧啶衍生物对冷轧钢在HCL和H2SO4介质中的缓蚀性能及机理研究 【工业技术】