孟博，王德军著2016 年出版318 页ISBN：9787030508676
本书共分五篇15章。系统地全面介绍了安全协议实施生成与验证的基本理论和关键技术及最新成果。主要内容包括安全协议协议规范形式化分析与验证技术、安全协议实施的生成与验证技术及其国内外发展现状、应用...
（澳）Lonely Planet公司编，朱健桦，王木亮，邵博译2008 年出版192 页ISBN：9787108029829
本书是游览哥本哈根的指南，为我们认识那里的历史传统和现实风情提供极大的帮助。
（意）亚米契斯著；石延博译写2009 年出版276 页ISBN：9787543654556
本套书包括八本：《爱的教育》《爱丽丝漫游奇境》《彼德 ·潘》《钢铁是怎样炼成的》《格列佛游记》《海底两万里》《鲁滨孙漂流记》《木偶奇遇记》。...
（英）罗莎蒙德·勒普顿著；张菡晨，叶博译2011 年出版348 页ISBN：9787540450120
《妹妹》是一部情节感人的长篇小说。碧翠丝和黛丝之间的姐妹亲情一直非常亲密，黛丝的突然失踪彻底打乱了碧翠丝的生活，她第一时间飞回伦敦，希望能借助二人之间曾经共享的那些生活细节找回自己的妹妹……。...
（美）依迪丝·汉密尔顿（EdithHamilton）著；曹博译2012 年出版195 页ISBN：9787508070391
《希腊的回声》是汉密尔顿于90高龄写的最后一部作品，书中以简约轻松的笔法以及短小精致的篇幅向我们展示了古希腊灿烂文化的兴衰史。
苏吉·西登斯（Suzy Siddons）著；刘芸，朱瑞博译2006 年出版65 页ISBN：7208063273
本书围绕“演讲技巧”这一主题，以简洁明快的风格向读者展示了诸多提高演讲效果的有效方法。
