（美）罗伯特·M·索洛（R·M·Solow）著相关电子书下载

（美）J.R.罗伯茨（J.R.Roberts）编著；陈景惠，白萍译2000 年出版255 页ISBN：7543312204

P.M.STOCKER P.M.D.GRAY M.P.ATKINSON2222 年出版400 页ISBN：0521254302

（美）李佛斯（T.M.Rivers），（美）霍施福（F.L.Horsfall）主编；沈鼎鸿，高骥千主译1964 年出版728 页ISBN：14119·869

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

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

（美）V.M.希尔耶（V.M.Hillyer）著2016 年出版422 页ISBN：9787511731159

本书是一部通俗的有关艺术的大众读物，分绘画、雕塑、建筑三个部分，每个部分都从“最早”讲起，介绍其“成长”脉络，评述各个“成长”时期的名家名作，浅显而系统地勾勒出绘画、雕塑、建筑这三个主要艺术形式的发展...

（美）夏普（Ansel M.Sharp）等著；郭庆旺，应惟伟译2000 年出版437 页ISBN：7300035078

（美）Thomas M.ThomasⅡ等著；前导工作室译2001 年出版423 页ISBN：7111092937

（美）戴尔·布朗（Dale M.Brown）主编；王淑芳等译2002 年出版198 页ISBN：7219044569

（美）怀特（White，Frank.M.）原著；彭逸凡译著1992 年出版373 页ISBN：7506211645

（美）格利哥莱（J.M.Gregory）原著；严既澄译述1926 年出版97 页ISBN：