A CLINICAL GUIDE 相关电子书下载

WILLIAM A.HAVILAND2003 年出版383 页ISBN：

DAVID A.JONES1986 年出版244 页ISBN：

DAVID A.SOUSA2005 年出版246 页ISBN：

A.W.BRADLEY1985 年出版758 页ISBN：

MICHAEL A.EPSTEIN2007 年出版1166 页ISBN：

ROBERT A.HILLMAN2009 年出版398 页ISBN：

ALBERT A.EHRENZWEIG1971 年出版860 页ISBN：

DAVID A.LIEBERMAN1993 年出版592 页ISBN：

（美）EDMUND M.CLARKE JR.，ORNA GRUMBERG，DORON A.PELED著；李刚，宋雨等译2015 年出版223 页ISBN：9787121272950

模型检测是一种用于自动验证有限状态并发系统的技术，与基于模拟、测试和演绎推理的传统技术相比，具有许多方面的优势。本书涵盖的内容包括模型检测的基本知识、模态逻辑、符号化技术、SAT Solver、限界模型检...

（美）瓦拉瑞尔·A.泽丝曼尔（Valarie A.Zeithaml），（美）玛丽·乔·比特纳（Mary Jo Bitner）著；张金成，白长虹译2004 年出版451 页ISBN：7111134583

本书围绕服务质量的差距模型展开论述，将服务过程中的角色、期望、行为等与企业的战略、运营和人力资源管理紧密结合起来。