（德）福瑞编文；（德）苟琛·比克绘；叶子译2009 年出版28 页ISBN：9787508388137
精灵艾玛有很多美好的愿望，她想要一头小马，金色的翅膀还要一座宫殿……小精灵还有很多愿望，但是她最想要的是一把魔杖，这样她就可以很容易的实现其他所有的愿望。有一天艾玛最好的朋友艾宫失踪了，艾玛焦急地找她...
（德）托比亚斯·尼普科夫（TobiasNipkow），（英）劳伦斯·鲍尔森（LawrenceC.Paulson），（德）玛尔库斯·温泽尔（MarkusWenzel）著2013 年出版254 页ISBN：9787564077631
本书的主要内容是Isabelle/HOL的基本原理和关键方法；这是机器辅助证明领域研究的一项经典的先驱性工作。本书主要介绍了Isabelle/HOL基本原理、证明结构、证明构造方法和在安全协议证明中的重要应用。适合于...
孙韡郡，施雅丹，黄昭鸣，杜晓新著2011 年出版19 页ISBN：9787561787694
本书为言语矫治手册丛书中的一本，主要针对音调异常、响度异常和音质异常三种发声障碍。通过促进治疗，帮助患者建立正常的音调、响度，改善嗓音音质，为形成良好的语言提供基础。...
孙韡郡，施雅丹，黄昭鸣，杜晓新著2011 年出版15 页ISBN：9787561787694
本书为言语矫治手册丛书中的一本，主要针对音调异常、响度异常和音质异常三种发声障碍。通过促进治疗，帮助患者建立正常的音调、响度，改善嗓音音质，为形成良好的语言提供基础。...
施建平主编2013 年出版158 页ISBN：7539546069
阅读是语文学习的核心环节，而阅读能力的提高需要大量的练习。由于受到时间、课业压力等因素的限制，学生能够用于阅读训练的时间有限。本书针对学生的这种学校特点，精选了一些文质兼美的短文进行“短平快”的阅...
施一帆编著2006 年出版174 页ISBN：7542110918
本书包括循证医学的概念、循证医学的指导证据、循证医学的临床问题、循证医学的系统评价方法与原则、循证医学的伦理问题、心力衰竭、急性心急梗死、心律失常、高血压等，从循证心血管疾病学的发展出发，为患者...
（德国）施托姆，（德国）威廉·布什等原著；徐鲁主编；艾丹，徐驰，王军平等编写2014 年出版138 页ISBN：9787539548593
本书是“最好看·世界经典少儿故事”丛书中的一个分册，本册集结了德国优秀的文学家们创作的经典儿童作品，包括格林兄弟的“勇敢的小裁缝”，威廉·布什的“淘气包捣蛋记”，施托姆的“少年黑贝尔”等等。这些优秀...
刘中树，张学昕主编；施战军著2009 年出版286 页ISBN：9787807624011
本书所收为作者近年从事文学研究与当代文学批评的代表性成果，展示了对于文学之魅的探寻和对于文学之美的发现，无论是对重要作家作品的批评，还是对中国式的城市文学、成长小说、乡村小说的生成嬗变研究，以及对新...
（德）哈德，（德）舒马赫著；银晓鲲译2006 年出版96 页ISBN：7501547556
本书为德国儿童侦探小说，故事后附有与案情相关的问题与答案，具趣味性和故事性。
