（美）John Clark Craig著；雷鹏飞等译1993 年出版380 页ISBN：7502733159
求是科技编著2005 年出版426 页ISBN：7115131570
本书介绍了极具实用价值的企业经营与管理方面的应用系统。
李书琴主编；陈勇，孙健敏副主编；蔚继承编（西北农林科技大学信息工程学院）2004 年出版341 页ISBN：7560417396
王萍主编2009 年出版197 页ISBN：9787560621760
本书通过案例教学的方式讲解了Visual Basic的基础知识，程序的几种界面、数组的使用及控件、算法等知识。
Lecture Notes in Artificial Intelligence 4451 Artifical Intelligence for Human Computing ICMI 2006 a
2007 年出版359 页ISBN：9783540723462
Lecture Notes in Computer Science 2989 Model Checking Software 11th International SPIN Workshop
2004 年出版307 页ISBN：3540213147
Lecture Notes in Computer Science 1592 Advances in Cryptology-EUROCRYPT'99 International Conference
1999 年出版475 页ISBN：3540658890
Lecture Notes in Computer Science 4595 Model Checking Software 14th International SPIN Workshop
2007 年出版285 页ISBN：9783540733690
Lecture Notes in Computer Science 3027 Advances in Cryptology-EUROCRPYT 2004 International Conferenc
2004 年出版628 页ISBN：3540219358
Lecture Notes in Computer Science 3925 Model Checking Software 13th International SPIN Workshop
2006 年出版305 页ISBN：3540331026
