计算机科学技术名词 2002 第2版=Chinese terms in computer science and technology
计算机科学技术名词审定委员会编1994 年出版553 页ISBN:7030097254
Lecture Notes in Computer Science 4533 Term Rewriting and Applications 18th International Conference
RTA 20072007 年出版419 页ISBN:9783540734475
Lecture Notes in Computer Science 3350 Practical Aspects Of Declarative Languages 7th International
PADL 20052005 年出版269 页ISBN:3540243623
Lecture Notes in Computer Science 2987 Foundations of Software Science and Computation Structures 7t
FOSSACS 20042004 年出版528 页ISBN:3540212981