McGraw-Hill PERSONAL COMPUTER PROGRAMMING ENCYCLOPEDIA LANGUAGES AND OPERATING SYSTEMS
1985 年出版696 页ISBN：0070053898
concepts of programming languages fifth edition=程序设计语言原理 英文版 第5版
robert w.sebesta著2003 年出版705 页ISBN：7111101618
Lecture Notes in Computer Science 3774 Database Programming Languages 10th International Symposium
DBPL 20052005 年出版295 页ISBN：3540309519
Lecture Notes in Computer Science 4797 Database Programming Languages 11th International Symposium
DBPL 20072007 年出版262 页ISBN：9783540759867
Lecture Notes in Computer Science 3780 Programming Languages and Systems Third Asian Symposium
APLAS 20052005 年出版435 页ISBN：3540297359
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE 353 FOUNDATIONS OF EQUATIONAL LOGIC PROGRAMMING
1989 年出版250 页ISBN：038751533X
CONFERENCE RECORD OF THE TENTH ANNUAL ACM SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES
2222 年出版312 页ISBN：0897910907
Lecture Notes in Computer Science 4279 Programming Languages and Systems 4th Asian Symposium
APLAS 20062006 年出版423 页ISBN：9783540489375
Lecture Notes in Computer Science 4807 Programming Languages and Systems 5th Asian Symposium
APLAS 20072007 年出版431 页ISBN：9783540766360
A Programming Logic With An Introduction To The PL/CV Verifier
1978 年出版389 页ISBN：0876267266
