（瑞士）卡斯·克雷默斯，（卢森堡）肖克·毛弗2018 年出版137 页ISBN：9787121351952
安全协议作为信息安全的重要基础之一，其安全属性是否能达到设计者的初始目标成为一个重要研究内容，关系到依赖于协议的上层应用系统的安全性。本书的内容主要涵盖以下两个部分：用形式化的语义定义协议的执行规...
（英）伊妮德·布莱顿著；（英）保罗·赫斯，（英）简·麦考夫迪绘；吴艳红译2017 年出版292 页ISBN：9787557518332
魔法森林里有一株高耸入云的魔法树，魔法树上居住着许多奇奇怪怪的精灵、仙子和小动物。在魔法树的顶端是一些五花八门的国度。一天，三个幸运的小孩儿——乔、贝茜、弗兰妮，走进魔法森林，爬上了魔法树。他们在魔...
（英）加奈利，（英）奥克斯雷德，（英）韦斯特著2011 年出版199 页ISBN：7541440212
本书的风格与电视频道中的“探索发现”节目相似，先向读者讲述充满悬疑的探索故事，提起读者的兴趣，然后再一一揭示事件背后的真相，让读者在阅读过程中一点点体验探索发现的乐趣。本书涉及的主题包含在远古探索、...
（英）莫里森，（英）潘斯顿著；温静译2006 年出版181 页ISBN：7535746683
本书是一本实用的了解星空、观察天体的小册子。能够指导读者更好的使用望远镜，并通过星空图教您读懂一年内星空的活动。
（美）威尔科克斯（Wilcox，B.R.），（英）库克（Cook，A.C.），（英）安德森（Anderson，R.H.）著；周青译2006 年出版320 页ISBN：7532385736
本书是国外有关心脏外科解剖类图书中最具代表性、最经典的学术书籍。
（英）佩德勒，（英）阿博特著2015 年出版242 页ISBN：9787111505358
本书将引导技术（facilitation）——行动学习的这一核心作为切入点，系统地告诉读者如何操作行动学习，本书是一本很好的实践手册，跟行动学习创始人瑞文斯的Action Leaning ABC有很好的互补关系，可以拿来一起学习和练...
（英）鲍勃·库仁（Bob Curran）著；（英）伊安·丹尼尔斯图 吴鸿斌译2007 年出版189 页ISBN：7802251710
本书作者通过多年的实地走访，收集了爱尔兰、马来西亚、印度尼西亚等地海量的吸血鬼传说，并对故事和其流传、演变进行了考证，给了民俗爱好者较为满意而全面的答案。...
（英）安妮塔·加尼瑞（AnitaGaneri），（英）大卫·钱德勒（DavidChandler）著；刘颖译2016 年出版47 页ISBN：9787558001444
