Lecture Notes in Computer Science 4887 Cryptography and Coding 11th IMA International Conference
2007 年出版423 页ISBN：9783540772712
Lecture Notes in Computer Science 3839 Types for Proofs and Programs International Workshop
TYPES 2004 Jouy-en-Josas2222 年出版0 页ISBN：
E-COLLABORATIVE KUOWLEDGE CONSTRUCTION:LEARNING FROM COMPUTER-SUPPORTED AND VIRTUAL ENVIRONMENTS
2010 年出版335 页ISBN：1615207299
Lecture Notes in Computer Science 3796 Cryptography and Coding 10th IMA International Conference
2005 年出版460 页ISBN：354030276X
A course in mathematical biology quantitative modeling with mathematical and computational methods
Gerda de Vries ; Johannes Muller ; Thomas Hillen ; Birgitt Schonfisch ; Mark Lewis2006 年出版309 页ISBN：0898716122
计算机科学技术名词 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
