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 2242 Grid Computing-GRID 2001 Second International Workshop
2001 年出版185 页ISBN：3540429492
Lecture Notes in Computer Science 3639 Model Checking Software 12th International SPIN Workshop
2005 年出版287 页ISBN：3540281959
BOUNDARY ELEMENTS 12 VOL.2:APPLICATIONS IN FLUID MECHANICS AND FIELD PROBLEMS
M.TANAKA C.A.BREBBIA AND T.HONMA1990 年出版572 页ISBN：1853120936
LANGUAGE USE IN THE PUBLIC SPHERE METHODOLOGICAL PERSPECTIVES AND EMPIRICAL APPLICATIONS
INES OLZA，OSCAR LOUREDA & MANUEL CASADO-VELARDE2014 年出版564 页ISBN：9783034312868
Lecture Notes in Computer Science 3796 Cryptography and Coding 10th IMA International Conference
2005 年出版460 页ISBN：354030276X
