当前位置：首页 > 名称
大约有2,574项符合查询结果项。（搜索耗时：0.0462秒）
为您推荐： 老年康复辅助器具师实务培训 辅助器具适配教程 辅助器具使用指导 老年康复辅助器具师 康复辅助器具蓝皮书 中国南方电网有限责任公司电力安全工器具管理业务指导新版
-
-
-
-
-
辅助生殖实验室技术手册
王利红，张兆香，艾白媛等主编2007 年出版216 页ISBN：9787807105282本书主要分为三大部分：实验室技术、实验室管理及生殖医学伦理问题。第一部分主要介绍与卵子或精子的发生、发育以及成熟有关的基础知识，辅助生殖实验常用技术以及辅助生殖新技术。第二部分主要介绍实验室的建...
-
-
计算机辅助普通话水平测试教程
陆湘怀，王家伦主编2010 年出版277 页ISBN：9787564121198本书根据国家对普通话测试的最新要求，叙述了普通话测试需掌握的基本语音语言知识，特别设计了一些针对性的练习，并对60篇范文分析朗读要点，有助考生复习应考。本书配光盘一张。...
-
-
高阶逻辑辅助证明系统
（德）托比亚斯·尼普科夫（TobiasNipkow），（英）劳伦斯·鲍尔森（LawrenceC.Paulson），（德）玛尔库斯·温泽尔（MarkusWenzel）著2013 年出版254 页ISBN：9787564077631本书的主要内容是Isabelle/HOL的基本原理和关键方法；这是机器辅助证明领域研究的一项经典的先驱性工作。本书主要介绍了Isabelle/HOL基本原理、证明结构、证明构造方法和在安全协议证明中的重要应用。适合于...
-
学科分类
出版时间