(美)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.David Stone,(美)Alfred Poor著;邓刚,吴浩译2001 年出版326 页ISBN:7301050631
本书以独立的问题为单元组织全文,内容包括计算机崩溃、计算机硬件和Windows、计算机噪音、计算机变慢或者时间失准、计算机启动黑屏等。
DOWN TO EARTH SOCIOLOGY ELGHTH EDITION
JAMES M HENSLIN2222 年出版527 页ISBN:0029146518
COTA EXAMINATION REVIEW MANUAL SECOND EDITION
M.TERESA MOHLER2222 年出版209 页ISBN:1556423462
SELF-DEFENSE FINANCE FOR SMALLBUSINESSES
WILBUR M.YEGGE2222 年出版236 页ISBN:0471122955
THE NEW YORK TIMES EVERYDAY DICTIONARY
THOMAS M.PAIKEDAY2222 年出版804 页ISBN:0812909100
THE HISTORY OF MATHEMATICS:AN INTRODUCTION
DAVID M.BURTON2222 年出版678 页ISBN:0205080952