(美)威廉·M. 申克尔(William M. Shenkel)著;马丽娜等译2005 年出版380 页ISBN:750860427X
作为美国当代房产营销实务,本书已再版三次,全书系统而详细地介绍了美国最为通用的房产营销模式、方法、工具、并分为四个部分加以讨论,即营销技巧、实施销售、如何发展壮大销售机构,以及销售的技术层面的问题。...
(美)埃德蒙·M.克拉克(EDMUNDM.CLARKE,JR.),(美)ORNAGRUMBERG,(美)DORONA.PELED著;吴尽昭,何安平,高新岩译2018 年出版226 页ISBN:9787121352744
模型检测是一种用于自动验证有限状态并发系统的技术,与基于模拟、测试和演绎推理的传统技术相比,具有许多方面的优势。本书共分18章,涵盖的主要内容包括模型检测的基本知识、模态逻辑、符号化技术、SATSolver...