陆道夫编著2009 年出版380 页ISBN：9787811353570
本书分为“规则篇”、“专题篇”、“例文篇”3大模块，共包括10个章节。“规则篇”讨论的重点是论文写作的各种基本规则和基本技能；“专题篇”则集中探讨英语专业文学、语言、翻译、文化和英语教学等5大模块的...
（德）马丁·克兰著；（德）马努拉·奥尔特绘；李晓旸译2016 年出版45 页ISBN：9787562952367
这是一本适合小学低年级儿童阅读的桥梁书。提奥、尼尔斯和亨利是好朋友，他们要开展一次班级旅行。可是提奥从没有离开最心爱的补丁小熊一个人出来旅行过。虽然提奥是个男孩，但是一想到要在没有补丁熊的情况下...
（德）弗兰克·赖芬贝格著；（德）苏珊娜·魏希顿绘；陆阳，修洁译2015 年出版87 页ISBN：9787110087831
本书是一部有趣的冒险小说，故事讲述了古罗马时期一个10岁的小男孩如何通过自己的努力，将自己由一个奴隶变成一名出色赛马手的故事，情节跌宕起伏、引人入胜。小读者可以在阅读本书的时候体验一次不同寻常的冒险...
（德）诺伯特·费什，（德）托马斯·威尔肯著；祝泮瑜译2015 年出版344 页ISBN：9787302411499
本书全面参考了建筑设计、能源规划以及建筑设备方面与产能标准相关的理念，展示了居住建筑、非居住建筑以及城市街区的实际案例，同时也展示了产能建筑标准在全球范围内的应用潜力。...
（德）霍尔格·阿佩尔（Holger Appel），（德）克里斯托弗·海茵（Christoph Hein）著；刘海宁译1999 年出版268 页ISBN：7214023415
（德）托比亚斯·尼普科夫（TobiasNipkow），（英）劳伦斯·鲍尔森（LawrenceC.Paulson），（德）玛尔库斯·温泽尔（MarkusWenzel）著2013 年出版254 页ISBN：9787564077631
本书的主要内容是Isabelle/HOL的基本原理和关键方法；这是机器辅助证明领域研究的一项经典的先驱性工作。本书主要介绍了Isabelle/HOL基本原理、证明结构、证明构造方法和在安全协议证明中的重要应用。适合于...
（美）罗伯特·卡普兰，（澳）小理查德·巴尔道夫著；梁道华译2014 年出版282 页ISBN：9787513540209
《太平洋地区的语言规划和语言教育规划》是由中国语言战略研究中心策划引进并组织翻译的“语言资源与语言规划丛书”中的一种。本书选取环太平洋地区的日本、朝鲜、韩国、中国台湾、菲律宾、印度尼西亚、马...
克里斯·安道夫（Chris Eidhof）2016 年出版180 页ISBN：9787121293573
Swift是一门有着合适的语言特性来适配函数式编程方法的优秀语言，对于国内的不少开发者来说，Swift可能是我们第一次真正有机会去接触和使用的一门函数式特性语言。Swift在语法上更加优雅灵活，语言本身也遵循了...
陆道夫，肖向阳主编；朱剑飞，华如梅，谢春晖副主编2012 年出版428 页ISBN：9787566800695
本书精选了英美文学史上经典短篇小说20篇，小说作者均为有影响力的文学名家，每篇小说结构明了，内容经典，细细品来，回味无穷。本书既可以作为英语专业的必修课或选修课教材，也可以作为大学英语通识教育的选修课教.....
