模型检测

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

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

有效学业评价 初中语文练习测试命题问题诊断与指导

沈伟，李晓华，李刚编著2011 年出版278 页ISBN：7560268729

三大构成 立体构成

李刚，杨帆，冼宁编著2015 年出版136 页ISBN：9787531468080

本教材综合了众多同类教材的有关论述，以课堂单元教学的可操作性为前提，强调简洁、明了、实效，同时结合单元学习的展开，以相关内容相辅助，清晰阐述课程内容；课题设置和教学提示则进一步完善教学内容。除了概论部.....

疯狂XML讲义

李刚编著2009 年出版496 页ISBN：9787121097553

本书深入地介绍了XML的各种相关知识，本书不仅详细介绍了XML文档的各种知识，还通过案例示范了实际开发中的如何应用XML知识。本书大部分章节后都提供了相应的编程习题，供开发者巩固所学、将理论融入实际开发之...

经济建设史 7

李刚，魏鹏娟主编2016 年出版452 页ISBN：9787509835784

书稿记述了1935—1948年间毛泽东经济思想和中共中央关于经济工作的方针政策形成和发展的历程，同时介绍了陕甘宁边区兼顾各根据地经济发展情况，从宏观到微观反映中共中央在延安十三年经济建设发展史，并总结了其...

救救中国 环境发出的黄牌警告

韩国刚主编；韩国刚，张义生，姜凤兰，侯代军，刘仁和，刘伟生，严济民，乔致奇，于连生，胡学海编1989 年出版204 页ISBN：7800331636

李刚田书法日本展作品集

李刚田书2016 年出版103 页ISBN：9787550817531

此作品集是“西泠印社知名社员海外系列展--李刚田书法篆刻日本展”后的作品集，包括李刚田的书法作品。书法作品有扇面、多条屏、对联及条幅。...

明清时期陕西商品经济与市场网络

李刚著2006 年出版436 页ISBN：7224075612

本书内容分8章及1个附录，沿着“双层次市场网络结构”展开论述，对明清时期陕西商品经济状况及市场网络体系进行了深入分析和探讨。

AutoCAD 2010建筑制图教程

李刚健，穆泉伶，王平主编2011 年出版294 页ISBN：9787115256317

本书系统地介绍了使用中文版AutoCAD 2010进行计算机绘图的方法。全书共分15章，主要内容包括AutoCAD 2010基础知识，基本绘图命令，图形尺寸的标注和绘图辅助工具的使用，三维图形的绘制和渲染以及AutoCAD绘图综合...

管理信息系统概论 通识教育

王晓静主编；王廷梅，李刚副主编2012 年出版307 页ISBN：9787302300762

本书从管理、信息、系统三个模块出发，首先介绍了管理、信息、系统等基础知识，又从不同功能、层次、特点角度介绍多种管理信息系统的组成及功能，最后按软件工程设计方法介绍了管理信息系统开发的过程。...