（德）托比亚斯·尼普科夫（TobiasNipkow），（英）劳伦斯·鲍尔森（LawrenceC.Paulson），（德）玛尔库斯·温泽尔（MarkusWenzel）著2013 年出版254 页ISBN：9787564077631
本书的主要内容是Isabelle/HOL的基本原理和关键方法；这是机器辅助证明领域研究的一项经典的先驱性工作。本书主要介绍了Isabelle/HOL基本原理、证明结构、证明构造方法和在安全协议证明中的重要应用。适合于...
人人都能成功 自己拯救自己 成功的资本 靠自己成功 人性的弱点 大全集
拿破仑·希尔（N.Hill）等著2010 年出版390 页ISBN：9787510410987
本书所包括的这些励志大师的作品，无一不对以前的、现在的、将来的人们产生重大的影响。和他们谈人生，你会找到通往成功以及幸福的道路。...
奈特·希尔顿著；妮娜·利克罗夫特绘；郑峥译2018 年出版32 页ISBN：9787514218084
“你是谁？我是你们中的一员吗？”这只长着一身光滑亮泽皮毛的小家伙不停地发问；他问翠鸟，问考拉，问鸵鸟，问袋熊，问青蛙。然而，人家都跟他不一样。小鸭嘴兽感到很孤单，他不知道自己到底归属于哪里？那么，他能......
（澳）科林·兰克希尔，（美）米歇尔·诺贝尔著2007 年出版424 页ISBN：7303089098
本书内容详尽而丰富，涵盖了从教师研究设计到实施等各个方面的内容，为致力于教师研究的人士提供了宝贵的资源。为了让读者清楚地了解教师研究，本书首先对教师研究的整体背景进行了介绍，在此基础上集中笔墨针对教...
麦格劳-希尔教育集团主编；刘庆双，刘永佳，刘慧译2013 年出版152 页ISBN：9787553414300
本套丛书是为中国中小学生量身打造的中英双语读物，旨在通过故事阅读的形式提高中国孩子的英语水平。本套丛书自然科学部分从不同的角度讲述了自然科学领域里发生的小故事，旨在通过这些培养中学生对自然科学的...
（德）哈德，（德）舒马赫著；银晓鲲译2006 年出版96 页ISBN：7501547556
本书为德国儿童侦探小说，故事后附有与案情相关的问题与答案，具趣味性和故事性。
（德）阿希姆·布吕格（Achim Broger）文；（德）伊利斯·哈尔特（Iris Hardt）图 胡忠利译2006 年出版32 页ISBN：7501229155
本书是好妈妈好孩子系列丛书之一。本书通过一对姐弟亲身经历的7个故事，生动而具体地描述了孩子的恐惧心理，让您懂得如何帮助孩子摆脱恐惧。...
（德）雷纳·科特文；（德）埃贝尔哈尔德·埃曼图；李玉茹译2010 年出版48 页ISBN：9787535155276
在这本《矿物开采趣话》中，著名的科普作家科特博士向我们讲述了有关矿物开采的知识，以及与矿物有关的历史文化。他介绍了最重要的矿产资源，并叙述了随着时间的推移，人们如何利用不断发展的技术更好地进行矿藏探...
（德）安德烈娅·埃内著；（德）乌尔苏拉·韦勒绘；王晓芳译2014 年出版16 页ISBN：9787530470947
这是一本构思巧妙，内容充实的立体科普读物。书内含大量的小翻页，在少儿立体图书中独树一帜，将娱乐性与科学性巧妙地结合起来，能够带给孩子发现的惊喜，让孩子边学知识边提高动手能力。这是德国最大的儿童图书出版...
（德）斯蒂芬·布鲁奇，（德）亨利克·马尔绍主编，李正维，赵继军，郑连杰主译2008 年出版342 页ISBN：9787538155259
本书介绍利用骨水泥技术进行全髋关节置换术，治疗全髋关节损害性疾病。
