（美）埃德蒙·M.克拉克（EDMUNDM.CLARKE，JR.），（美）ORNAGRUMBERG，（美）DORONA.PELED著；吴尽昭，何安平，高新岩译2018 年出版226 页ISBN：9787121352744
模型检测是一种用于自动验证有限状态并发系统的技术，与基于模拟、测试和演绎推理的传统技术相比，具有许多方面的优势。本书共分18章，涵盖的主要内容包括模型检测的基本知识、模态逻辑、符号化技术、SATSolver...
（美）索尔特，（美）达舍尔，（美）阿马多尔原著；徐轶群2018 年出版279 页ISBN：9787565916601
本书是“儿童营养·安全·健康促进丛书”的营养分册，全面阐述了与儿童营养相关的各方面内容，包括：儿童营养基础，营养科学，婴儿喂养，幼儿、学龄前儿童和学龄儿童的喂养，菜单的制订以及食品安全。每章以案例开始......
（美）戴维·罗伯茨，（美）戴维·佩恩，（美）丹尼斯·库姆斯著2017 年出版201 页ISBN：9787308164863
人类的群居性造就了大脑的高度社会化，形成了一系列复杂而精密的社会认知活动。社会认知不仅是人类情绪智力的基础，更是个体维系基本社会功能水平的保证。本书设计了社会认知交互训练（SCIT）的方法，拟通过提升个体...
（美）詹森·A.桑塔马利雅（Jason A.Santamaria），（美）文森特·马蒂诺（Vincent Martino），（美）埃里克·K.克莱蒙斯（Eric K.Clemons）著；刘胤之，唐果译2005 年出版252 页ISBN：7500443846
本书作者深入同性恋人群和专家学者，以客观理性的视角对中国同性恋人物情感和生存状况进行了全景式的记录。
