明日科技编著2007 年出版791 页ISBN：7115166900
本书介绍了Visual Basic开发经验技巧1266个，覆盖了程序开发中的各种实际需求。全书分为30章，分别是开发环境、语言基础、程序算法、数组与指针、函数和过程、字符及字符串处理技术、日期和时间、数据处理技术...
刘瑞新等编著2003 年出版304 页ISBN：7505386360
本书以Visual Basic 6.0中文版为语言背景，通过大量实例，深入浅出地介绍了Visual Basic程序开发环境、程序设计基础、可视化编程的概念与方法、顺序结构程序设计、选择结构程序设计、循环结构程序设计、数组、...
地方立法的可持续发展评估：原则、制度与方法 principles， institutions and methods 以北京市地方立法评估制度的构建为中心
汪劲著2006 年出版224 页ISBN：7301113234
本书主要论述了地方立法如何应对可持续发展战略的需求，确立了对北京市地方立法进行可持续发展影响评估的原则、标准及其方法。
首席信息官智慧 硅谷顶级IT专家的最佳实践 best practices from silicon valley's leading IT experts
（美）迪安·莱恩（Dean Lane）著；戴伟辉等译2005 年出版342 页ISBN：7810982842
本书是由20位责任或历任世界著名公司CIO的大师们亲笔所写，系统完整地解答了如何成为IT顶尖专家、保持IT公司不断强大繁荣，以及如何整合IT来使商业利益最大化等一系列问题，包含与IT领导技术相关的所有方面。...
Lecture Notes in Computer Science 3965 Formal Methods for Hardware Verification 6th International Sc
Communication2006 年出版0 页ISBN：
Lecture Notes in Computer Science 3578 Intelligent Data Engineering and Automated Learning-IDEAL 200
2005 年出版599 页ISBN：354026972X
Lecture Notes in Computer Science 3465 Formal Methods for Mobile Computing 5th International School
Communication2005 年出版271 页ISBN：
