计算机辅助设计

本套丛书从瑞士引进，为德国、瑞士等欧洲高校使用的土建专业基础教材，现为中英文对照版，在引导相关专业学生入门的同时也学习了专业英语，一举两得。丛书共细分为十个专业：①建筑设计，②建筑表现，③构造施工，④......

计算机辅助普通话水平测试教程

本书根据国家对普通话测试的最新要求，叙述了普通话测试需掌握的基本语音语言知识，特别设计了一些针对性的练习，并对60篇范文分析朗读要点，有助考生复习应考。本书配光盘一张。...

矛盾的特殊性 学习“矛盾论”第三节的辅助读物

高阶逻辑辅助证明系统

本书的主要内容是Isabelle/HOL的基本原理和关键方法；这是机器辅助证明领域研究的一项经典的先驱性工作。本书主要介绍了Isabelle/HOL基本原理、证明结构、证明构造方法和在安全协议证明中的重要应用。适合于...

辅助原则研究

辅助原则自从在《马斯特里赫特条约》确立之后，就成为欧盟宪制中一项重要原则。辅助原则在国外尤其是在欧盟各国的政治学和欧盟问题研究中已经成为一个备受关注的问题。在我国的宪法学研究上，辅助原则却是一个...

计算机辅助设计 Auto CAD应用教程

本书内容包括Auto CAD2004的工作界面、绘图基础、绘图设置、图形绘制和编辑、文字标准、块及块属性、协调设计、三维建模等。

21世纪计算机辅助设计规划教材 土木工程CAD

计算机辅助管理系统 数据库技术基础及FOXBASE+

AutoCAD 2002辅助设计实例教程

本书按照用户使用AutoCAD的基本操作方法和应用特点，以实例操作为基础，介绍了AutoCAD2002从二维到三维的常用命令和主要功能。全书共分10章，包括应用基础知识，平面图形，图形编辑，文字标注，尺寸标注，块及块属性，三维.....

计算机辅助技术：CAD/CAE/CAPP/CAM应用教程