（美）John C. Mitchell著；许满武等译2006 年出版563 页ISBN：7121032244
本书提出了一个框架，用于分析程序设计语言的语法、操作和语义性质，该框架基于称为类型化λ演算的数学系统。λ演算的主要特色是对于函数和其他可计算的值的一种记法，以及一个等式逻辑和用于表达式求值的一组规...
沈颖，王田，乔梁主编2011 年出版132 页ISBN：9787030325679
本书紧扣程序设计包括代码设计和界面设计这一主线，采用案例分析和需求分析这两种方法，突出“输入-处理-输出”这种三段式程序模式，培养运用计算机语言进行分析和解决问题的能力。本书便于自学，书中精选了大量的...
（美）约翰·科尔斯（JohnColes），（美）纳奥米·豪斯（NaomiHouse）著2008 年出版176 页ISBN：9787561141809
本书讲解室内建筑设计的基础理论，并通过一系列的项目实例进行说明和展示，探讨了室内建筑设计的设计原理和技法。
徐亚平，吴敬，崔荣荣编著2010 年出版149 页ISBN：9787807405153
本书属“艺术设计专业新教材”服饰设计系列。主要介绍服装设计基础。本书是按高等院校的教学要求编写，并与相关课程设置相适应。另还结合学科特色，注重实践练习。本书既适合大专院校的教学，也能为普通读者学习...
吴瑞梅，何秀文主编；马文丽，陈宁，赵迪，陶丹丹，佟军民副主编2014 年出版341 页ISBN：9787564093679
本书讲究了机械原理的基本内容，机械设计概论，介绍了带、齿轮、蜗轮传动、连接、轴、轴承、联轴器、离合器等通用零件的选择，设计，计算等问题。 本书可作为高等学校数控、模具、机电一体化等相关专业的教材，也可....
朱轩编著2009 年出版286 页ISBN：9787113100285
本书详细介绍了CAXA 2007电子图板的基础操作知识。
黄小云主编；冯荣坦，杨伟奇等编著2009 年出版306 页ISBN：9787111224570
本书全面介绍了CAXA实体设计软件的主要特色，功能及应用。
（澳）（N.艾迪生）Noel Addison著；竺幼定，张怀莉译2000 年出版372 页ISBN：7030084470
