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 4185 The Semantic Web-ASWC 2006
2006 年出版777 页ISBN：3540383298
Lecture Notes in Computer Science 3298 The Semantic Web-ISWC 2004
2004 年出版841 页ISBN：3540237984
Lecture Notes in Computer Science 3729 The Semantic Web-ISWC 2005
2005 年出版1073 页ISBN：3540297545
Lecture Notes in Computer Science 4273 The Semantic Web-ISWC 2006
2006 年出版1004 页ISBN：9783540490296
Lecture Notes in Computer Science 4685 Grid Economics and Business Models 4th International Workshop
GECON 20072007 年出版201 页ISBN：9783540744283
Lecture Notes in Computer Science 3074 Constraint Databases First International Symposium
CDB 20042004 年出版181 页ISBN：3540221263
