SIMON CLARKE 相关电子书下载

（美）西蒙（Phil Simon）著2014 年出版0 页ISBN：

Simon J.Baginski2012 年出版294 页ISBN：1612097008

（美）西蒙·科林（Simon Collin）著；微软看就通翻译小组译1996 年出版128 页ISBN：7532339211

Martha Clarke原著2010 年出版372 页ISBN：9789861266633

BAPTISTE GAULT，MICHAEL.MOODY，JULIE M.CAIRNEY，SIMON P.RINGER著；刘金来，何立子，金涛译2016 年出版326 页ISBN：7030474261

（德）Heinz-Joachim Simon著；陈兆等译2003 年出版186 页ISBN：7806762906

一个品牌想获得成功，必须得到专业的打造、管理和推入市场。通过本书读者可以逐步认识到品牌的奥秘。

（英）西蒙·辛格（Simon Singh）著2018 年出版0 页ISBN：

（法）宾尼特（A.Binet），（法）欣蒙（T.Simon）著；费培杰译1923 年出版128 页ISBN：

SIMON ST.LAURENT1998 年出版348 页ISBN：155828592X

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

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