(美)埃德蒙·M.克拉克(EDMUNDM.CLARKE,JR.),(美)ORNAGRUMBERG,(美)DORONA.PELED著;吴尽昭,何安平,高新岩译2018 年出版226 页ISBN:9787121352744
模型检测是一种用于自动验证有限状态并发系统的技术,与基于模拟、测试和演绎推理的传统技术相比,具有许多方面的优势。本书共分18章,涵盖的主要内容包括模型检测的基本知识、模态逻辑、符号化技术、SATSolver...
颜其德,徐林林主编;李院生,谭德军,周丽娅编著2004 年出版147 页ISBN:7542724657
本书介绍了南极大陆的自然景观、自然资源以及人类在南极大陆挑战大自然的感人故事。着重描绘了中国极地考察队赴南极考察的活动等。
(美)德弗勒(Defleur,M.L.),(美)丹尼斯(Dennis,E.D.)著;颜建军等译1989 年出版545 页ISBN:7800533492
本书研究了人类文化传播的过程、大众传播的特征、各种媒介的历史、现状和未来
颜荣庆主编1988 年出版374 页ISBN:7114002610
高等学校试用教材 起重机与工程机械汽车运用工程专业用:本书主要介绍液压传动的基础理论
易丹辉主编;傅安平著2004 年出版188 页ISBN:7505840274
本书从寿险业监管、资本市场环境以及寿险业内部管理等角度分析了中国寿险业和资本市场互动发展的关系。