James A.Gentry Jr.修订相关电子书下载

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

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

WILLIAM RELLING JR.1998 年出版230 页ISBN：0802733166

中国建筑工业出版社编辑部修订1976 年出版47 页ISBN：15040·3318

铁道部第四勘测设计院修订1989 年出版619 页ISBN：7113004113

《毛南族简史》编写组，《毛南族简史》修订本编写组2008 年出版126 页ISBN：9787105087204

本书对初版《毛南族族简史》中的错别字进行了修改，增补了一些新观点。新增的新中国成立后的内容，简要地介绍了现当代毛南族的历史。

（宋）王十朋著；梅溪集重刊委员会编；王十朋纪念馆修订2012 年出版572 页ISBN：7532556571

（宋）王十朋著；梅溪集重刊委员会编；王十朋纪念馆修订2012 年出版1256 页ISBN：7532556571

铁道部第四勘测设计院修订1989 年出版482 页ISBN：7113004105

《出国留学人员英语强化教学大纲》修订组编1992 年出版335 页ISBN：7810097474

杨贤江教育思想研究会编；王伯康，张建国，柳国梁修订2005 年出版227 页ISBN：7802060451

本套书是一套较具史料价值的纪念文集，其著作是教育界的重要文化遗产。