（美）埃德蒙·M.克拉克（EDMUNDM.CLARKE，JR.），（美）ORNAGRUMBERG，（美）DORONA.PELED著；吴尽昭，何安平，高新岩译2018 年出版226 页ISBN：9787121352744
模型检测是一种用于自动验证有限状态并发系统的技术，与基于模拟、测试和演绎推理的传统技术相比，具有许多方面的优势。本书共分18章，涵盖的主要内容包括模型检测的基本知识、模态逻辑、符号化技术、SATSolver...
（春秋）老子著；王丽岩译注2016 年出版238 页ISBN：9787519020637
《道德经》是中国古代道家哲学的经典。其内容全面丰富，集天文、地理、军事、政治、经济、道德规范、环境保护、自然规律、社会发展、治国用兵、内政外交、仁义礼仪、名利得失、修身养性、学习工作、为人处世...
南海岩，李洪伟著；贾德江主编2011 年出版154 页ISBN：9787514000894
本书以图文并茂形式，以理论联系实际的文风，解析了他人物画的艺术本源技法，具有很高的学术价值，对美术爱好者学习中国画具有指导得意义。...
