（美）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年间毛泽东经济思想和中共中央关于经济工作的方针政策形成和发展的历程，同时介绍了陕甘宁边区兼顾各根据地经济发展情况，从宏观到微观反映中共中央在延安十三年经济建设发展史，并总结了其...
刘兴豪著2008 年出版260 页ISBN：9787104028796
本书介绍了民族器乐的作曲、演奏和教学等各个方面。
（美）迈克尔·豪（Michael J.A.Howe）著；顾肃，刘雪梅译2004 年出版237 页ISBN：7108020173
超凡能力是人力资源中蕴涵的一种重要的资源。作者对如何获得超凡能力？有没有一种方法使大多数儿童和年轻人能够具有超凡能力等问题做了全面探讨。...
曾杰豪主编2010 年出版240 页ISBN：9787509609378
本书结合高校就业指导的教学及工作实践，提出了将就业指导工作融入学生职业教育全过程的新思路，对大学生职业、择业、就业和创业等方面进行全面指导。...
