（法）约翰·加尔文著；钱曜诚等译；孙毅选编2011 年出版217 页ISBN：9787108038470
本书主要选自于其《基督教要义》第三卷第六至第十章的内容。《基督教要义》中的这个部分在历史上常被称为“金书”，因其语言及内容的独特之处，而常被从《基督教要义》中单独抽出来，作为单行本出版。从语言风格...
何高济，何毓宁，（英）乔治·马戛尔尼，（英）约翰·巴罗2017 年出版483 页ISBN：9787503259067
本书分为“马戛尔尼勋爵私人日志”和“巴罗中国行纪”两部分。前者由勋爵的私人日志编辑整理，记录了勋爵在出使路上的所见所闻，以及他个人对中国的看法。“巴罗中国行纪”的作者约翰·巴罗是使团随行人员，更是...
（美）埃德蒙·M.克拉克（EDMUNDM.CLARKE，JR.），（美）ORNAGRUMBERG，（美）DORONA.PELED著；吴尽昭，何安平，高新岩译2018 年出版226 页ISBN：9787121352744
模型检测是一种用于自动验证有限状态并发系统的技术，与基于模拟、测试和演绎推理的传统技术相比，具有许多方面的优势。本书共分18章，涵盖的主要内容包括模型检测的基本知识、模态逻辑、符号化技术、SATSolver...
（美）索尔特，（美）达舍尔，（美）阿马多尔原著；徐轶群2018 年出版279 页ISBN：9787565916601
本书是“儿童营养·安全·健康促进丛书”的营养分册，全面阐述了与儿童营养相关的各方面内容，包括：儿童营养基础，营养科学，婴儿喂养，幼儿、学龄前儿童和学龄儿童的喂养，菜单的制订以及食品安全。每章以案例开始......
（美）戴维·罗伯茨，（美）戴维·佩恩，（美）丹尼斯·库姆斯著2017 年出版201 页ISBN：9787308164863
人类的群居性造就了大脑的高度社会化，形成了一系列复杂而精密的社会认知活动。社会认知不仅是人类情绪智力的基础，更是个体维系基本社会功能水平的保证。本书设计了社会认知交互训练（SCIT）的方法，拟通过提升个体...
