IVAN M ROITT 相关电子书下载

C.M.BLACKWOOD1978 年出版75 页ISBN：

M.P.WILLCOCKS1947 年出版288 页ISBN：

EDITH M.PHELPS2222 年出版0 页ISBN：

GARY M.MARANELL2222 年出版0 页ISBN：

PETER M.LENCSIS1998 年出版173 页ISBN：

VALERIE M.HOPE2007 年出版273 页ISBN：

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

DONNA M.MOSICH1990 年出版522 页ISBN：

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

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

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

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