赵学慧，赵玮编著2003 年出版290 页ISBN：7502758593
本书通过实例讲解Visual Basic程序开发的方法。
彭勇主编；刘军华，邹宇副主编2005 年出版274 页ISBN：7030160401
本书根据高职高专培养面向生产实际第一线应用型人才的特点，从实用出发，介绍高级语言程序设计基础、面向对象的方法和可视化编程技术。
（美）（G.康奈尔）Gary Cornell著；希望图书创作室译1999 年出版750 页ISBN：7900024360
柴欣，李惠然编著2003 年出版296 页ISBN：7113054331
本书是学习VB语言程序设计的基础教程，全书较为系统地进述了VB语言的基础知识、基本规则及编程方法等内容。
Lecture Notes in Artificial Intelligence 4724 Symbolic and Quantitative Approaches to Reasoning with
ECSQARU 20072007 年出版914 页ISBN：9783540752554
Lecture Notes in Artificial Intelligence 2143 Symbolic and Quantitative Approaches to Reasoning with
ECSQARU 20012001 年出版818 页ISBN：3540424644
Lecture Notes in Artificial Intelligence 4548 Automated Reasoning with Analytic Tableaux and Related
TABLEAUX 20072007 年出版245 页ISBN：9783540730989
Lecture Notes in Artificial Intelligence 3702 Automated Reasoning with Analytic Tableaux and Related
TABLEAUX 20052005 年出版343 页ISBN：3540289313
Lecture Notes in Artificial Intelligence 3571 Symbolic and Quantitative Approaches to Reasoning with
ECSQARU 20052005 年出版1028 页ISBN：3540273263
