卓越设计师丛书 三维产品造型的数字化设计与制作

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

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

一切始于设计 一个设计师的世博十日手记

本书主要特色为纪实性，思想性和学术性相结合，以经典手法披露了作者亲临现场的第一感受和不断反思，在自然的描述中进行主题发掘。

贴心的设计 心智模型与产品设计策略

平面设计的技法实务 草图设计完稿技法

服装产品设计 从企划出发的设计训练

色彩设计的原理 色彩设计所必需的最新信息和技巧

工程材料的棘轮行为和棘轮 疲劳交互作用

本专著针对目前国内外棘轮行为的研究现状，从棘轮行为的宏观演化规律观察、微观机理分析和循环本构模型建立以及有限元数值模拟等方面，对工程材料棘轮行为的研究成果进行了系统的介绍，并进一步对金属材料的棘轮...

热泵的设计和应用 工厂经理、工程师、建筑师和设计师的实用手册

设计良品 超越时代与国界的极品设计