（德）福瑞编文；（德）苟琛·比克绘；叶子译2009 年出版28 页ISBN：9787508388137
精灵艾玛有很多美好的愿望，她想要一头小马，金色的翅膀还要一座宫殿……小精灵还有很多愿望，但是她最想要的是一把魔杖，这样她就可以很容易的实现其他所有的愿望。有一天艾玛最好的朋友艾宫失踪了，艾玛焦急地找她...
（德）托比亚斯·尼普科夫（TobiasNipkow），（英）劳伦斯·鲍尔森（LawrenceC.Paulson），（德）玛尔库斯·温泽尔（MarkusWenzel）著2013 年出版254 页ISBN：9787564077631
本书的主要内容是Isabelle/HOL的基本原理和关键方法；这是机器辅助证明领域研究的一项经典的先驱性工作。本书主要介绍了Isabelle/HOL基本原理、证明结构、证明构造方法和在安全协议证明中的重要应用。适合于...
李超，付绍静编著2015 年出版218 页ISBN：9787121275050
本书系统地介绍了数论、代数、组合、信息论和计算复杂性等数学理论与方法，突出数论、代数、组合、信息论和计算复杂性的一体化融合，前后内容相互呼应，相互支撑。在知识结构的应用性方面，突出教材内容在信息安全...
大国崛起之谜＝THE MYSTERY OF THE RISE OF THE GREAT NATIONS
李超民著2014 年出版0 页ISBN：
本书通过大量的文献资料，令人信服地证明了，中国古代思想至今仍对世界经济稳定发挥着根本作用，当今美国农业经济稳定的根本制度“现代常平仓”，其思想的核心是中国古代的常平仓体制，以及王安石变法创行的“青苗法...
（德）哈德，（德）舒马赫著；银晓鲲译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
本书介绍利用骨水泥技术进行全髋关节置换术，治疗全髋关节损害性疾病。
