本书依据AutoCAD认证考试最新大纲编写，重点介绍AutoCAD2013中文版的新功能及各种基本操作方法和技巧。其最大的特点是，在大量利用图解方法进行知识点讲解的同时，巧妙地融入了室内设计工程应用案例，使读者能够在室内设计工程实践中掌握AutoCAD2013的操作方法和技巧。全书分为12章，包括室内设计基本概念，AutoCAD2013入门，二维绘制命令，基本绘图工具，编辑命令，文字、表格与尺寸，快速绘图工具，大酒店室内设计综合实例等内容。本书内容翔实，图文并茂，语言简洁，思路清晰，实例丰富，可以作为初学者的入门与提高教材，也可作为AutoCAD认证考试辅导与自学教材。

《CreoParametric1.0中文版从入门到精通（附光盘CAD\CAM从入门到精通）》编著者张云杰、郝利剑。《CreoParametric1。0中文版从入门到精通（附光盘CAD＼CAM从入门到精通）》内容提要：Pro／ENGINEER是美国PTC公司的标志性软件，该软件已逐渐成为当今世界最为流行的CAD／CAM／CAE软件之一。目前PTC公司基于原有的Pro／ENGINEER软件，发布了新的设计软件包Creo，并将其整合为CreoParametric软件。《CAD／CAM从入门到精通： CreoParametric1。0从入门到精通（中文版）》从CreoParametric的入门开始，详细介绍了基本操作、草图设计、三维设计、构造特征设计、特征操作和程序设计、曲面设计和曲面编辑、工程图设计、装配设计、钣金设计、注塑模具设计、数控力加工等以容，并且针对多种形式的应用设计了多个综合范例。另外，《CAD／CAM从入门到精通：CreoParametric1。0从入门到精通（中文版）》还配备了交互式多媒体教学光盘，讲解形式活泼，方便实用，便于读者学习使用。《CAD／CAM从入门到精通：CreoParametric1。0从入门到精通（中文版）》结构严谨、内容翔实，知识全而，可读性强，设计实例实用性强，专业性强，步骤明确，是广大读者快速掌握CreoParametric中文版软件的自学实用指导书，也可作为大专院校计算机辅助设计课程的指导教材。

《中文版AutoCAD 2013建筑制图实用教程》主要讲述AutoCAD 2013绘制建筑图形的基本思路和具体方法。全书由浅入深、循序渐进地讲解了利用AutoCAD绘制建筑图形必备的基础知识，包括建筑平面图、立面图、剖面图的绘制实例介绍及典型三维图形的绘制。全书分为16章，第1章～第2章主要讲解AutoCAD？2013的基础知识和设置绘图环境。第3章～第5章主要讲解AutoCAD的基本操作，包括基本二维图形的绘制命令、编辑命令和添加标注等；第6章～第7章主要讲解三维实体的绘制及基础实例。第8章～第15章主要讲解建筑设计图纸的绘制，包括绘制建筑总平面图、建筑平面图、建筑立面图、建筑剖面图等，以及结构和设备施工图。第16章主要介绍图纸的布局和打印等。《中文版AutoCAD 2013建筑制图实用教程》内容丰富，可读性强，既适合建筑设计专业人员使用，又适合作为相关专业学生的教材。

《新世纪书局：AutoCAD 2013机械设计绘图基础入门与范例精通》是根据机械行业CAD职业设计师岗位技能要求编写的。书中所讲解的内容均是一名优秀的机械CAD设计师必备的专业知识，并且给出了大量来自机械行业实践应用的典型案例。通过对本书的学习，读者可以掌握机械CAD设计师岗位的专业技能，并能快速胜任相关岗位的工作。《新世纪书局：AutoCAD 2013机械设计绘图基础入门与范例精通》以AutoCAD 2013机械设计为主线，针对每个知识点进行详细讲解，并辅以相应的实例，使读者能够快速、熟练、深入地掌握AutoCAD机械设计技术。全书共分16章，基础部分包括AutoCAD机械设计方面的基础知识、基本的机械设计绘图和编辑命令、工程图尺寸标注、图形打印输出等；书中后面章节的案例均来自机械设计行业的典型工程案例。附录介绍了AutoCAD的一些常用命令和快捷键等，可供读者在学习中查询。随书光盘包含了书中案例所用的源文件、最终效果图和相关操作的视频，供读者在阅读《新世纪书局：AutoCAD 2013机械设计绘图基础入门与范例精通》时进行操作练习和参考。另外还附赠高清晰《AutoCAD2013中文版基础入门与范例精通》多媒体教学视频。

《普通高等教育“十二五”规划教材·公共基础课系列教材：AutoCAD上机指导与项目实训》为普通高等教育“十二五”规划教材。全书共分十二个实训项目，包括体验AutoCAD、图纸样板的制作、平面图形的绘制、轴零件图的绘制、绘制装配图、点的样式与样条曲线、拼画装配图、用基本立体组合建立三维实体、齿轮与轴（上）、齿轮与轴（下）、三维实体尺寸标注、三维曲面建模。《普通高等教育“十二五”规划教材·公共基础课系列教材：AutoCAD上机指导与项目实训》力求从工程实际出发，以应用为主导，加强了工程实际应用部分的讲解和训练，使学生通过学习，能够真正掌握相关的知识与技能。《普通高等教育“十二五”规划教材·公共基础课系列教材：AutoCAD上机指导与项目实训》内容翔实，结构合理。图文并茂，深入浅出，案例丰富实用、步骤清晰明确，通俗易懂，简洁易学，能够使学生快速、全面地掌握计算机二维与三维造型技术。

《新世纪书局·AutoCAD 2013室内设计绘图基础入门与范例精通》按照Auto CAD室内设计行业的相关标准编写。书中所讲解的内容均为室内设计师所必备的专业知识，且书中的典型案例来自于室内设计行业实践应用。通过对本书的全面学习，读者可以熟练应用Auto CAD软件进行室内设计，掌握室内设计师的基本技能。《新世纪书局·AutoCAD 2013室内设计绘图基础入门与范例精通》以Auto CAD2013室内设计绘图为主线，针对每个知识点进行详细的讲解，并以相应的实例进行阐述，使读者能够快速、熟练、深入地掌握Auto CAD室内设计技术。全书分为两部分，基础知识部分包括第1～10章，主要讲解Auto CAD室内设计方面的基础知识、室内设计的绘图和编辑命令、工程图尺寸标注、图形打印输出等；案例讲解部分包括第11～15章，里面所采用的案例均是室内设计行业中具有典型代表意义的工程案例。配书光盘收录了书中案例所采用的模型文件和相关的操作视频，供读者在阅读本书时进行操作练习和参考之用。

王小玲等编著的《CAD\CAM技术：Mastercam应用实训》根据技工院校、职业技术院校数控专业对学生的培养目标和企业需求，以“注重实践，强化应用”为指导思想，按照“任务驱动”模式编写。内容包括：初识MastercamX5、二维图形的绘制与编辑、实体造型、曲面造型、二维数控铣削编程加工、三维数控铣削编程加工、数控车削编程加工。《CAD\CAM技术：Mastercam应用实训》可作为高级技工学校、技师学院及各类职业院校数控及相关专业教材，也可作为企业职工培训教材及相关工程技术人员的参考书。

《CSWP全球专业认证考试培训教程：SolidWorksSimulation高级教程（2013版）》着重介绍了使用Simulation软件对SolidWorks模型进行有限元分析的进阶方法和相关技术。《CSWP全球专业认证考试培训教程：SolidWorksSimulation高级教程（2013版）》在保留了原版教程精华和风格的基础上，按照中国读者的阅读习惯进行编译，配套教学资料齐全，适于企业工程设计人员和大专院校、职业技术院校相关专业学生使用。

《高阶逻辑辅助证明系统》是在高阶逻辑中使用Isabelle辅助证明系统进行交互式证明的导论，适用于Isabelle系统的潜在使用者，自成体系，分为三部分：第一部分是基本技巧：介绍在高阶逻辑中如何进行函数式程序建模，提供了表（1ist）和自然数的简单证明实例。大多数证明只要两步完成：对所选变量进行归纳以及使用自动策略（auto）。当然，这些粗浅的例子仍然涵盖了嵌套递归和交叉递归等技术。第二部分是逻辑与集合：介绍大量可供选择使用的低级证明策略。《高阶逻辑辅助证明系统》描述了Isabelle／HOL如何处理集合、函数、关系以及如何实现递归定义集合，包括模型检验理论和经典教科书中关于形式语言的案例。第三部分是高级话题：包括实数、记录、重载技术等主题。《高阶逻辑辅助证明系统》也讨论了归纳法和递归方法的高级技巧，还专门给出一章来介绍安全协议的形式化验证。

solidworks是世界上第一套基于windows系统开发的三维cad软件。该软件以参数化特征造型为基础，具有功能强大、易学、易用等特点，是当前最优秀的中档三维cad软件之一。木书从实用的角度介绍了solidworks2012中文版的使刚，并结合实例介绍了其各功能模块的主要功能。全书共八分为21章，从solidworks2012中文版入门开始讲解，详细介绍了solidworks2012中文版的基本操作，包括草图绘制、基础特征设计、扪描和放样特征、基本实体特征、零件形变特征、曲线曲面设计、装配、工程图设计、钣金设计、渲染动画、公差分析利应力分析等内容，并在最后讲解了5个综合范例。本书还配备了多媒体互动教学光盘，方便实用，便于读者学习使用。《solidworks2012中文版从入门到精通》结构严谨、内容翔实，知以全面，可读性强，设计实例实用性强，专业性强，步骤明确，主要针对使用solidworks2012中文版的广大用户，足广大读者快速掌握solidworks 2012的实用指导书。