王利红，张兆香，艾白媛等主编2007 年出版216 页ISBN：9787807105282
本书主要分为三大部分：实验室技术、实验室管理及生殖医学伦理问题。第一部分主要介绍与卵子或精子的发生、发育以及成熟有关的基础知识，辅助生殖实验常用技术以及辅助生殖新技术。第二部分主要介绍实验室的建...
（德）扬·凯博斯编著2010 年出版164 页ISBN：9787112115853
本套丛书从瑞士引进，为德国、瑞士等欧洲高校使用的土建专业基础教材，现为中英文对照版，在引导相关专业学生入门的同时也学习了专业英语，一举两得。丛书共细分为十个专业：①建筑设计，②建筑表现，③构造施工，④......
陆湘怀，王家伦主编2010 年出版277 页ISBN：9787564121198
本书根据国家对普通话测试的最新要求，叙述了普通话测试需掌握的基本语音语言知识，特别设计了一些针对性的练习，并对60篇范文分析朗读要点，有助考生复习应考。本书配光盘一张。...
（德）托比亚斯·尼普科夫（TobiasNipkow），（英）劳伦斯·鲍尔森（LawrenceC.Paulson），（德）玛尔库斯·温泽尔（MarkusWenzel）著2013 年出版254 页ISBN：9787564077631
本书的主要内容是Isabelle/HOL的基本原理和关键方法；这是机器辅助证明领域研究的一项经典的先驱性工作。本书主要介绍了Isabelle/HOL基本原理、证明结构、证明构造方法和在安全协议证明中的重要应用。适合于...
米洁，刘相权编著2013 年出版218 页ISBN：9787563537471
本书系统讲述计算机辅助设计的基础理论、关键技术及应用技术。全书分为9章，具体内容包括机械CAD技术概述、CAD的支撑技术、工程数据处理技术、设计图形处理技术、建模技术、软件工程技术、虚拟样机仿真分析...
程孝鹏主编2006 年出版243 页ISBN：7502588558
本书内容包括Auto CAD2004的工作界面、绘图基础、绘图设置、图形绘制和编辑、文字标准、块及块属性、协调设计、三维建模等。
