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 3517 Human Interactive Proofs Second International Workshop
HIP 20052005 年出版141 页ISBN：3540260013
Lecture Notes in Computer Science 4454 Tests and Proofs First International Conference
TAP 20072007 年出版217 页ISBN：9783540737698
Lecture Notes in Computer Science 3969 Coding and Cryptography International Workshop
WCC 20052006 年出版443 页ISBN：3540354816
Lecture Notes in Computer Science 125 Logic of Programs Workshop
ETH Zurich1981 年出版245 页ISBN：
Lecture Notes in Computer Science 2444 Technologies for E-Services Third International Workshop
TES 20022002 年出版171 页ISBN：3540441107
Lecture Notes in Computer Science 2193 Technologies for E-Services Second International Workshop
TES 20012001 年出版213 页ISBN：3540425659
