（美）埃德蒙·M.克拉克（EDMUNDM.CLARKE，JR.），（美）ORNAGRUMBERG，（美）DORONA.PELED著；吴尽昭，何安平，高新岩译2018 年出版226 页ISBN：9787121352744
模型检测是一种用于自动验证有限状态并发系统的技术，与基于模拟、测试和演绎推理的传统技术相比，具有许多方面的优势。本书共分18章，涵盖的主要内容包括模型检测的基本知识、模态逻辑、符号化技术、SATSolver...
（美）詹姆斯·
本书主要阐述了为解决疼痛和功能障碍而对软组织进行手法操作的西方现代临床按摩方法。其特色是将详细的解剖学知识与基础临床按摩技术结合起来，通过安嵌在活体模特照片内部的组织结构，可以确切地看到肌肉的位...
M. Mo
本书介绍了当今世界油气输送管道设计及施工等方面的一些新概念和新方法。
（美）罗克斯坦（Rockstein，M.）著；李绍文等译1988 年出版437 页ISBN：7030004825
书名原文:Bioc
