唐整生，许冬梅主编；林陈彪，李琳副主编；杨雪春，邹泽昌，陈婉华等参编；陈清泉，周少秋主审2014 年出版264 页ISBN：9787562945710
本书主要内容包括：三视图基础；投影制图；视图、剖视图和断面图；标高投影；机械零件图；机械装配图，透视图；积累了编者多年丰富的教学经验，具有鲜明的画图与读图特色。...
（美）EDMUND M.CLARKE JR.，ORNA GRUMBERG，DORON A.PELED著；李刚，宋雨等译2015 年出版223 页ISBN：9787121272950
模型检测是一种用于自动验证有限状态并发系统的技术，与基于模拟、测试和演绎推理的传统技术相比，具有许多方面的优势。本书涵盖的内容包括模型检测的基本知识、模态逻辑、符号化技术、SAT Solver、限界模型检...
李刚，杨帆，冼宁编著2015 年出版136 页ISBN：9787531468080
本教材综合了众多同类教材的有关论述，以课堂单元教学的可操作性为前提，强调简洁、明了、实效，同时结合单元学习的展开，以相关内容相辅助，清晰阐述课程内容；课题设置和教学提示则进一步完善教学内容。除了概论部.....
李刚编著2009 年出版496 页ISBN：9787121097553
本书深入地介绍了XML的各种相关知识，本书不仅详细介绍了XML文档的各种知识，还通过案例示范了实际开发中的如何应用XML知识。本书大部分章节后都提供了相应的编程习题，供开发者巩固所学、将理论融入实际开发之...
黄卓主编；宋少忠，李刚健，侯冬薇副主编2006 年出版319 页ISBN：7508438760
本书是按教育部提出的“计算机教学基本要求”而编写的。在编写形式上力求深入浅出、图文并茂，并兼顾全国最新计算机等级考试一级考试大纲和二级公共基础大纲的要求。全书共分为10章，全面系统地介绍了计算机的...
李刚田书2016 年出版103 页ISBN：9787550817531
此作品集是“西泠印社知名社员海外系列展--李刚田书法篆刻日本展”后的作品集，包括李刚田的书法作品。书法作品有扇面、多条屏、对联及条幅。...
李刚著2006 年出版436 页ISBN：7224075612
本书内容分8章及1个附录，沿着“双层次市场网络结构”展开论述，对明清时期陕西商品经济状况及市场网络体系进行了深入分析和探讨。
