当前位置：首页 > 名称
大约有140,587项符合查询结果项。（搜索耗时：0.2963秒）
为您推荐： 临床诊疗指南 辅助生殖技术与精子库分册 临床技术操作规范 辅助生殖 和精子库分册 临床诊疗指南 辅助生殖技术和精子库分册 人类辅助生殖实验技术 实用人类辅助生殖技术 辅助生殖
-
-
-
-
-
计算机辅助普通话水平测试教程
陆湘怀，王家伦主编2010 年出版277 页ISBN：9787564121198本书根据国家对普通话测试的最新要求，叙述了普通话测试需掌握的基本语音语言知识，特别设计了一些针对性的练习，并对60篇范文分析朗读要点，有助考生复习应考。本书配光盘一张。...
-
-
高阶逻辑辅助证明系统
（德）托比亚斯·尼普科夫（TobiasNipkow），（英）劳伦斯·鲍尔森（LawrenceC.Paulson），（德）玛尔库斯·温泽尔（MarkusWenzel）著2013 年出版254 页ISBN：9787564077631本书的主要内容是Isabelle/HOL的基本原理和关键方法；这是机器辅助证明领域研究的一项经典的先驱性工作。本书主要介绍了Isabelle/HOL基本原理、证明结构、证明构造方法和在安全协议证明中的重要应用。适合于...
-
-
计算机辅助设计 Auto CAD应用教程
程孝鹏主编2006 年出版243 页ISBN：7502588558本书内容包括Auto CAD2004的工作界面、绘图基础、绘图设置、图形绘制和编辑、文字标准、块及块属性、协调设计、三维建模等。
-
学科分类
出版时间