（美）彼得·H.基普斐（Peter H.Zipfel）著相关电子书下载

（英）彼得·弗里斯通，（英）大卫·埃文斯著2012 年出版264 页ISBN：9787305097317

本书是一本关于英国“皇后”乐队主唱弗雷迪·莫库里和他的私人助理彼得·弗里斯通（即该书作者之一）的生活的传记。在书中，弗里斯通详细描述了他和弗雷迪以及“皇后”乐队相处的十二年中，扮演的诸如服务生、管家...

吴斐编著2016 年出版318 页ISBN：9787307139978

《拥抱新欢亚马逊》（Embracing Amazon Service）——电子商务篇 (E-Commerce)给读者展示了一个璀璨斑斓的电子商务世界。电子商务，英文是Electronic Commerce，简称EC，它指使用各种电子工具从事商务活动。这些工具...

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

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

F.WALTHER PETER H.FEIST2010 年出版400 页ISBN：3836522861

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

edited by Peter W. Hawkes2005 年出版333 页ISBN：0120147785

PETER RADAN AND JOHN GOOLEY2010 年出版668 页ISBN：0409325937

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

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

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