（美）EDMUND M.CLARKE JR.，ORNA GRUMBERG，DORON A.PELED著；李刚，宋雨等译2015 年出版223 页ISBN：9787121272950
模型检测是一种用于自动验证有限状态并发系统的技术，与基于模拟、测试和演绎推理的传统技术相比，具有许多方面的优势。本书涵盖的内容包括模型检测的基本知识、模态逻辑、符号化技术、SAT Solver、限界模型检...
（德）韦伯著；李刚剑等译2010 年出版252 页ISBN：9787100072410
本书是区位理论的代表作之一，详细论述了影响工业区位的运输、劳动力和集聚因子，对以后的区位理论、经济地理、区域经济研究和发展都产生了深远的影响。...
（美）Jon A.Bell等著；李刚，陈曦等译2001 年出版315 页ISBN：7980044894
本书分为四部分，包括3DSTUDIOMAXR3简介、材质、造型和修改工具、MAXScript和Plug-in等内容。
李刚总主编；李刚，刘丰等主编2014 年出版448 页ISBN：9787560564302
本书前面的章节主要介绍了骨外科学的基础知识，包括骨的发生和正常结构、骨伤的病理生理、骨科检查、常用治疗技术等；后面的章节分别详细讲述了上肢骨折、下肢骨折、脱位、周围神经与外周血管损伤等骨外科学常...
（美）戴维·M.里奇著；李刚，邹婧雅，王爽等译2018 年出版339 页ISBN：9787305194580
本书的主要描述对象是华盛顿的智库群体，作者从早期美国政治构建开始论述，详细分析了美国智库发展的历史以及政治环境，特别是对美国智库在美国政治权力中所起的作用做了独到的分析。书中阐述了这些智库在美国政...
