MCGRAW-HILL PERSONAL COMPUTER PROGRAMMING ENGYGLOPEDIA LANGUAGES AND OPERATING SYSTEMS SECOND EDITIO
J.BIRNES P.WOODALL NANCY HAYFIELD2222 年出版752 页ISBN：0070053936
Lecture Notes in Computer Science 130 Axiomatising the Logic of Computer Programming
1982 年出版304 页ISBN：3540112103
Lecture Notes in Computer Science 2986 Programming Languages and Systems 13th European Symposium on
ESOP 20042004 年出版417 页ISBN：3540213139
Lecture Notes in Computer Science 2028 Programming Languages and Systems 10th European Symposium on
ESOP 20012001 年出版433 页ISBN：3540418628
Lecture Notes in Computer Science 3444 Programming Languages and Systems 14th European Symposium on
ESOP 20052005 年出版439 页ISBN：3540254358
Lecture Notes in Computer Science 4421 Programming Languages and Systems 16th European Symposium on
ESOP 20072007 年出版538 页ISBN：9783540713142
Lecture Notes in Computer Science 3924 Programming Languages and Systems 15th European Symposium on
ESOP 20062006 年出版343 页ISBN：354033095X
Lecture Notes in Artificial Intelligence 3625 Inductive Logic Programming 15th International Confere
ILP 20052005 年出版427 页ISBN：3540281770
Lecture Notes in Artificial Intelligence 4455 Inductive Logic Programming 16th International Confere
ILP 20062007 年出版456 页ISBN：9783540738466
Lecture Notes in Artificial Intelligence 3194 Inductive Logic Programming 14th International Confere
ILP 20042004 年出版361 页ISBN：3540229418
