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 4610 Autonomic and Trusted Computing 4th International Conference
ATC 20072007 年出版571 页ISBN：9783540735465
Lecture Notes in Computer Science 3503 Experimental and Efficient Algorithms 4th International Works
WEA 20052005 年出版624 页ISBN：3540259201
Lecture Notes in Computer Science 3810 Cryptology and Network Security 4th International Conference
CANS 20052005 年出版348 页ISBN：3540308490
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 4368 Approximation and Online Algorithms 4th International Worksho
WAOA 2006 Zurich2222 年出版0 页ISBN：
Lecture Notes in Bioinformatics 3370 Grid Computing in Life Science First International Workshop on
LSGRID 20042005 年出版188 页ISBN：3540252088
