（德）福瑞编文；（德）苟琛·比克绘；叶子译2009 年出版28 页ISBN：9787508388137
精灵艾玛有很多美好的愿望，她想要一头小马，金色的翅膀还要一座宫殿……小精灵还有很多愿望，但是她最想要的是一把魔杖，这样她就可以很容易的实现其他所有的愿望。有一天艾玛最好的朋友艾宫失踪了，艾玛焦急地找她...
（德）托比亚斯·尼普科夫（TobiasNipkow），（英）劳伦斯·鲍尔森（LawrenceC.Paulson），（德）玛尔库斯·温泽尔（MarkusWenzel）著2013 年出版254 页ISBN：9787564077631
本书的主要内容是Isabelle/HOL的基本原理和关键方法；这是机器辅助证明领域研究的一项经典的先驱性工作。本书主要介绍了Isabelle/HOL基本原理、证明结构、证明构造方法和在安全协议证明中的重要应用。适合于...
王俊主编2010 年出版252 页ISBN：9787811168914
本书共分为肺部良性疾病、肺部恶性疾病、食管疾病、自主神经及胸膜胸壁疾病、纵隔及膈肌疾病、气管支气管疾病6个章节，以北京大学人民医院胸外科暨胸部微创中心积累的大量罕见和疑难病例为基础和切入点，通过...
王俊恒，朱露露编2013 年出版260 页ISBN：9787567607156
蒙台梭利（意大利）是世界著名的幼儿教育思想家，她所创立的幼儿教育法风靡全球。本书稿在对蒙台梭利教育法综合研究分析的基础上，论述了蒙台梭利教育法的形成；蒙台梭利教育法的实践——“儿童之家”；蒙台梭利教育.....
王俊华等主编2011 年出版351 页ISBN：9787117143318
循证医学确认：康复医疗是最有效的治疗中风的方法。本书讲述了中风康复理论基础;中风康复评定方法,中风偏瘫患者急性期康复,中风偏瘫患者恢复期康复，包括坐站转移、站立、步行训练、日常生活能力训练等。运动...
王俊主编；钟林，李运副主编2017 年出版235 页ISBN：9787117216616
胸腔镜在我国临床应用已有20年的历史，在这20年中，随着设备的更新、技术的提高和经验的积累，胸腔镜技术已经使胸外科疾病的诊断治疗的方法和模式发生了根本性的变化，早已成为胸外科不可或缺的诊治手段。北京大学...
陈振锋，高宏生主编；王俊虹，李国良副主编2010 年出版87 页ISBN：9787509137086
本书为《武警卫生学》的配套教程，共介绍21个实验，按军事职业卫生、军队环境卫生、军人营养和食品卫生分类编排。其中包括最大摄氧量的间接推测法、身体质的测试与评定、疲劳的简易测定法、噪声测量及听力测定...
郭建樑主编；王俊娜，郭小钰，徐同甫等参编2012 年出版259 页ISBN：9787111383109
本书介绍了汽车电路识读的基础知识和电路分析方法，并根据世界各主要汽车生产厂商不同的电路设计特点，详细介绍了欧、美、日、韩等各主要车系的电路特点、电路符号、表达方式及电路图的识读范例，系统全面的介绍...
李杰，王俊著2017 年出版248 页ISBN：9787511446312
《应用化学专业英语》是根据大学英语教学大纲专业阅读部分的要求，结合石油石化行业需要编写的，旨在为应用化学及相关专业提供一本比较系统、特色鲜明的专业英语教学用书。本书共分为8个单元，内容涵盖无机化学...
