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 3608 Algorithms and Data Structures 9th International Workshop
WADS 20052005 年出版446 页ISBN：3540281010
Lecture Notes in Computer Science 4619 Algorithms and Data Structures 10th International Workshop
WADS 20072007 年出版662 页ISBN：9783540739487
Lecture Notes in Computer Science 4184 Web Services and Formal Methods Third International Workshop
WS-FM 20062006 年出版289 页ISBN：3540388621
Lecture Notes in Computer Science 4685 Grid Economics and Business Models 4th International Workshop
GECON 20072007 年出版201 页ISBN：9783540744283
Lecture Notes in Computer Science 3987 Location-and Context-Awareness Second International Workshop
LoCA 20062006 年出版289 页ISBN：3540341501
Lecture Notes in Computer Science 3634 Computer Science Logic 19th International Workshop
CSL 20052005 年出版567 页ISBN：3540282319
Lecture Notes in Computer Science 4207 Computer Science Logic 20th International Workshop
CSL 20062006 年出版627 页ISBN：3540454586
