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
Lecture Notes in Computer Science 3701 Theoretical Computer Science 9th Italian Conference
ICTCS 20052005 年出版411 页ISBN：3540291067
Lecture Notes in Computer Science 3210 Computer Science Logic 18th International Workshop
CSL 20042004 年出版671 页ISBN：3540230246
Lecture Notes in Computer Science 3167 Refinement Techniques in Software Engineering First Pernambuc
PSSE 20042006 年出版391 页ISBN：3540462538
Lecture Notes in Computer Science 2204 Graph-Theoretic Concepts in Computer Science 27th Internation
WG 2001 Boltenhagen2222 年出版0 页ISBN：
Lecture Notes in Computer Science 4143 Generative and Transformational Techniques in Software Engine
GTTSE 20052006 年出版471 页ISBN：354045778X
Lecture Notes in Computer Science 4250 Advances in Computer Games 11th International Conference
ACG 20052006 年出版272 页ISBN：9783540488873
Lecture Notes in Computer Science 4136 Relations and Kleene Algebra in Computer Science 9th Internat
RelMiCS/AKA 20062006 年出版433 页ISBN：3540378731
Lecture Notes in Computer Science 3666 Recent Advances in Parallel Virtual Machine and Message Passi
2005 年出版546 页ISBN：3540290095
