Lecture Notes in Computer Science 3839 Types for Proofs and Programs International Workshop
TYPES 2004 Jouy-en-Josas2222 年出版0 页ISBN:
Lecture Notes in Computer Science 3796 Cryptography and Coding 10th IMA International Conference
2005 年出版460 页ISBN:354030276X
计算机科学技术名词 2002 第2版=Chinese terms in computer science and technology
计算机科学技术名词审定委员会编1994 年出版553 页ISBN:7030097254