孙振宇摄；常恒强主编1997 年出版90 页ISBN：7800941981
本套书是一套由刘永升主编的社科类文化知识类丛书，内容包括对中国五千年历史文化的追述以及对世界各国优秀文化的介绍。是一部普及性的小百科知识丛书。...
（英）德里克·贾曼著；（英）霍华德·苏雷摄；陶立夏译2018 年出版144 页ISBN：9787020131099
这是一本摄影散文集，作者是英国著名导演德里克·贾曼，贾曼记录了位于海边的花园和他本人生活长达九年的时光，摄影师是著名摄影师霍华德·苏雷。贾曼从童年始就热衷于园艺，他又有一双诗人和画家的眼睛，对植物花卉...
（美）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知识。本书大部分章节后都提供了相应的编程习题，供开发者巩固所学、将理论融入实际开发之...
李刚，魏鹏娟主编2016 年出版452 页ISBN：9787509835784
书稿记述了1935—1948年间毛泽东经济思想和中共中央关于经济工作的方针政策形成和发展的历程，同时介绍了陕甘宁边区兼顾各根据地经济发展情况，从宏观到微观反映中共中央在延安十三年经济建设发展史，并总结了其...
李刚田书2016 年出版103 页ISBN：9787550817531
此作品集是“西泠印社知名社员海外系列展--李刚田书法篆刻日本展”后的作品集，包括李刚田的书法作品。书法作品有扇面、多条屏、对联及条幅。...
李刚著2006 年出版436 页ISBN：7224075612
本书内容分8章及1个附录，沿着“双层次市场网络结构”展开论述，对明清时期陕西商品经济状况及市场网络体系进行了深入分析和探讨。
李刚健，穆泉伶，王平主编2011 年出版294 页ISBN：9787115256317
本书系统地介绍了使用中文版AutoCAD 2010进行计算机绘图的方法。全书共分15章，主要内容包括AutoCAD 2010基础知识，基本绘图命令，图形尺寸的标注和绘图辅助工具的使用，三维图形的绘制和渲染以及AutoCAD绘图综合...
