Lecture Notes in Computer Science 3517 Human Interactive Proofs Second International Workshop
HIP 20052005 年出版141 页ISBN：3540260013
Lecture Notes in Computer Science 4502 Types for Proofs and Programs International Workshop
TYPES 2006 Nottingham2222 年出版0 页ISBN：
Lecture Notes in Computer Science 3085 Types for Proofs and Programs International Workshop
TYPES 2003 Torino2222 年出版0 页ISBN：
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 4796 Human-Computer Interaction IEEE International Workshop
HCI 20072007 年出版157 页ISBN：9783540757726
Lecture Notes in Computer Science 2095 Computer Vision Systems Second International Workshop
ICVS 2001 Vancouver2222 年出版0 页ISBN：
Lecture Notes in Computer Science 2939 Digital Watermarking Second International Workshop
IWDW 20032004 年出版602 页ISBN：354021061X
Lecture Notes in Computer Science 3854 Autonomic Communication Second International IFIP Workshop
WAC 20052006 年出版303 页ISBN：3540329927
Lecture Notes in Computer Science 3032 Grid and Cooperative Computing Second International Workshop
GCC 20032004 年出版1112 页ISBN：3540219889
Lecture Notes in Computer Science 3033 Grid and Cooperative Computing Second International Workshop
GCC 20032004 年出版1076 页ISBN：3540219935
