当前位置：首页 > 名称
大约有3,617项符合查询结果项。（搜索耗时：0.0597秒）
为您推荐： 添加辅助线举一反三 小学几何辅助线 小学数学添加辅助线 小学数学添加辅助线举一反三 小学几何如何添加辅助线 初中平面几何添加辅助线的方法
-
-
高阶逻辑辅助证明系统
（德）托比亚斯·尼普科夫（TobiasNipkow），（英）劳伦斯·鲍尔森（LawrenceC.Paulson），（德）玛尔库斯·温泽尔（MarkusWenzel）著2013 年出版254 页ISBN：9787564077631本书的主要内容是Isabelle/HOL的基本原理和关键方法；这是机器辅助证明领域研究的一项经典的先驱性工作。本书主要介绍了Isabelle/HOL基本原理、证明结构、证明构造方法和在安全协议证明中的重要应用。适合于...
-
-
计算机辅助设计 Auto CAD应用教程
程孝鹏主编2006 年出版243 页ISBN：7502588558本书内容包括Auto CAD2004的工作界面、绘图基础、绘图设置、图形绘制和编辑、文字标准、块及块属性、协调设计、三维建模等。
-
-
-
AutoCAD 2002辅助设计实例教程
邢晓林等编著2002 年出版250 页ISBN：7111106768本书按照用户使用AutoCAD的基本操作方法和应用特点，以实例操作为基础，介绍了AutoCAD2002从二维到三维的常用命令和主要功能。全书共分10章，包括应用基础知识，平面图形，图形编辑，文字标注，尺寸标注，块及块属性，三维.....
-
-
计算机辅助制图与上机指导
童迪编著2001 年出版263 页ISBN：730204063X中等职业技术教育计算机教材(13):本书以AutoCADR14为背景通过大量的实例和屏幕图形，直观详尽地介绍了AutoCAD的基本使用方法和技巧。内容有：AutoCAD基本概念；绘图环境设置；图层、线型、颜色的设置；各种绘图命令；...
-
学科分类
出版时间