（美）（P.M.雅各布）Peter M.Jakab著相关电子书下载

（美）詹姆斯·布彻，（美）苏珊·米内卡，（美）吉尔·霍利著2014 年出版598 页ISBN：7302330026

本书是经典心理学教材，囊括了国外最前言的变态心理学方面的思想,内容翔实，逻辑缜密，有较高的学术水准和出版价值。

（美）莱特斯通，（美）特里，（美）纳多著2010 年出版283 页ISBN：9787302239314

本书全面讲述数据库物理设计方案，主要包括：物理数据库设计概况，基本索引方法，查询优化和方案选择等内容。

m>PETERm> I.REED MANLIO CARBONI BELINDA J.JOHNSTON STEFANO GUADAGNI1990 年出版192 页ISBN：0792389174

JOSEPH W.GLANNON ANDREW M.PERLAMN m>PETERm> RAVEN-HANSEN2011 年出版1287 页ISBN：0735597891

F.WALTHER m>PETERm> H.FEIST2010 年出版400 页ISBN：3836522861

DAVID LEWIN m>PETERm> FEUILLE THOMAS A.KOCHAN JOHN THOMAS DELANEY1988 年出版648 页ISBN：0669110817

edited by m>Peterm> W. Hawkes2005 年出版333 页ISBN：0120147785

m>PETERm> RADAN AND JOHN GOOLEY2010 年出版668 页ISBN：0409325937

H.J.DE BLIJ m>PETERm> O.MULLER EUGENE J.PALKA2005 年出版429 页ISBN：0471649910

（美）埃德蒙·M.克拉克（EDMUNDM.CLARKE，JR.），（美）ORNAGRUMBERG，（美）DORONA.PELED著；吴尽昭，何安平，高新岩译2018 年出版226 页ISBN：9787121352744

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