（美）克莱门特·克拉克·摩尔著；（奥地利）莉丝贝特·茨韦尔格绘；希言译2014 年出版26 页ISBN：9787553436364
儿童诗歌绘本，这首诗歌是关于圣诞节的经典之作，美国诗人克莱门特·克拉克·摩尔1822年于纽约创作并发表，书中第一次描述并定义了现代英语国家中圣诞老人的基本形象。该诗文一经发表便风行全世界，使快乐的圣诞老...
（美）EDMUND M.CLARKE JR.，ORNA GRUMBERG，DORON A.PELED著；李刚，宋雨等译2015 年出版223 页ISBN：9787121272950
模型检测是一种用于自动验证有限状态并发系统的技术，与基于模拟、测试和演绎推理的传统技术相比，具有许多方面的优势。本书涵盖的内容包括模型检测的基本知识、模态逻辑、符号化技术、SAT Solver、限界模型检...
（美）爱默生著；陈墨译2015 年出版260 页ISBN：9787547036464
“典藏”书系：爱默生随笔集。精选了国内外最为经典的作品，使读者用最低的价格觅得最为经典的作品。本书是“典藏”书系其中的一本，本书精选收录在《论文集》第一、二集中的随笔佳作。完美地表现他的超验主义思...
（美）布莱恩·K.沃恩著；（加）菲奥娜·斯特普斯绘；来兹译2016 年出版166 页ISBN：9787510099977
漫画原名是Saga。这是一部科幻背景的漫画，讲述了一对对立阵营的士兵坠入爱河，成立家庭并孕育了一个新的生命。而后这个特殊的家庭努力摆脱无处不在的战争和无法消解的仇恨，为了一起生活下去而流亡星际的冒险故...
（美）海伦·凯勒著；邓敏华译；胡先妮主编2014 年出版153 页ISBN：7555503247
本书是美国女作家海伦的自传，书中完整而系统地介绍了海伦丰富生动、真实而伟大的一生。
（美）Ryan Mitchell著2016 年出版200 页ISBN：9787115416292
本书采用简洁强大的Python语言，指导读者用Python从网络服务器请求信息并对服务器的响应进行基本处理，以自动化手段与网站进行交互，让读者轻松游弋于网络空间，创建出具有域名切换、信息收集以及信息储存功能的爬...
（美）梅兰妮·罗斯柴尔德著；贾辰阳译2015 年出版127 页ISBN：9787543093812
本书主要讲述了如何对待学习中出现的错误；如何巧妙利用这些错误；如何对待约定俗成的纪律、规则，在二者中取得平衡；如何展示自身的艺术天赋，让美发扬光大，随处可见。书中陈述了很多琐碎有趣、引人深思的道理。文.....
（美）肖锋编著2015 年出版280 页ISBN：9787548718918
本书为作者记录的他在美国私立医院急诊科日常工作的轶事轶闻及有教学意义的病例。旨在能使大家看到不同体制下的急诊医学的理念及实践。有比较，才有鉴别、吐纳及发展。...
（美）爱德华兹著；冯威，秦英译2006 年出版192 页ISBN：7535744648
本书是一本关于职业调查人员怎样侦破谋杀案件的指南，本书既具有权威性，又引人入胜。在采用了大量真实案件的图片资料的同时，这本最新的参考书让读者逐步了解凶手的作案方法和动机，警察缉拿凶手的线索和程序，以及...
（美）斯图尔德·李·艾伦著2008 年出版266 页ISBN：9787802255104
本书以睿智的笔触，介绍历史上曾经被各种民族与文化视为禁忌的美味，以及这些令人垂涎三尺的禁忌菜肴如何界定出世界上纷呈百态的文化。充满了各种饮食历史，同时也遍布作者造访奇异国度的游踪足迹，还搜罗了各式各...
