M N KOBRINSKY 相关电子书下载

M.C.OLIVER1984 年出版398 页ISBN：

DONNA M.MOSICH1990 年出版522 页ISBN：

（苏联）N·洛芬斯基著；申谷译1951 年出版105 页ISBN：

Robert N.Jester2222 年出版212 页ISBN：080312418X

ANTHONY N.MARTONOSI1985 年出版449 页ISBN：030641452X

ANTHONY N.MARTONOSI2222 年出版423 页ISBN：030641452X

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

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

（美）Jeffery M.Zupan，（美）Mark Wright著；贾晶，程锦译2005 年出版58 页ISBN：756004560X

本书用中英对照的形式，结合图片和文字，介绍了人类交通的发展历史与现状，尤其讨论了发展公共交通的重要性，以及各国在这方面采取的做法。...

（美）（M.F.艾尼特）（M.F.Arnett）等著；万玉丹等译1997 年出版386 页ISBN：7302025290

（美）M.David Stone，（美）Alfred Poor著；邓刚，吴浩译2001 年出版326 页ISBN：7301050631

本书以独立的问题为单元组织全文，内容包括计算机崩溃、计算机硬件和Windows、计算机噪音、计算机变慢或者时间失准、计算机启动黑屏等。