硬件设计验证 基于模拟与形式的方法 simulation and formal method-based approaches 【工业技术】

本书的主要内容围绕着对硬件设计验证的两大方法（基于模拟的方法和形式验证的方法）展开。

百宝工具箱 西方古典建筑元素组合原理与形式逻辑理论 【工业技术】

本书是意大利建筑学本科学生主要教学参考丛书中的一本。作者以活泼清晰的笔触，将西方建筑史从材料、建造方法、世界著名建筑案例分析等角度层层解析，贯穿历史。流畅地展现了欧洲古典建筑的起源，传承，发展，变革，.....

电脑绘画技巧与范例 Photoshop篇 【工业技术】

媒体语言研究丛书 网络语言研究 【工业技术】

本书对网络语言进行了非常全面的研究。不仅对既有的网络语言研究进行了综述，而且还分别从网络语言的内涵与构成类型、语音、词汇、语法、文字、修辞和语用、语体、社会文化、语言规范等角度对网络语言进了详...

中等专业学校制图与绘画教学大纲 【工业技术】

冶金工程设计研究与创新 冶金与材料工程 北京首钢国际工程技术有限公司成立四十周年暨改制五周年科技论文集 【工业技术】

本书收录了北京首钢国际工程技术有限公司建院四十年来，特别是改制五周年来，发表的相关技术论文300余篇。全书内容丰富完整，基本反映了冶金工程设计领域近四十年的主要发展历程，同时也对冶金工程设计领域的发展...

17世纪初至现当代法国建筑观念与形式演变 【工业技术】

17世纪法国至20世纪法国建筑发展变迁的历程，是文艺复兴建筑和现代主义建筑之间流变的重要组成部分。我们曾以巴洛克、洛可可、新古典主义、新歌特建筑风格分阶段地认识这段历史，但这种较为单纯的阶段划分很难...

Photoshop绘画技法与应用 深度剖析 【工业技术】

本书介绍Photoshop CS4中文版在电脑绘画领域中的应用。

逆向工程与产品创新案例研究 【工业技术】

逆向工程又称反求工程，它是一个从产品本身提取产品信息的过程。传统的逆向工程只提取几何信息，导致大量仿制产品性能无法达到预期目标。本书强调提取产品更全面的信息，包括几何信息、静态性能信息、动态性能信...

数码绘画与软件应用秘诀 【工业技术】

本书以绘画艺术与数码合成技术相结合，精选有代表性、有特色的作品，选择作品中最精华部分进行剖析，从而获得绘画与多种软件配合使用的技巧。...