Lecture Notes in Computer Science 2982 Active Networks IFIP-TC6 5th International Working Conference
IWAN 20032004 年出版308 页ISBN：3540212507
Lecture Notes in Computer Science 4708 Mathematical Foundations of Computer Science 2007 32nd Intern
MFCS 20072007 年出版764 页ISBN：9783540744559
Lecture Notes in Computer Science 4162 Mathematical Foundations of Computer Science 2006 31st Intern
MFCS 20062006 年出版814 页ISBN：3540377913
Lecture Notes in Computer Science 130 Axiomatising the Logic of Computer Programming
1982 年出版304 页ISBN：3540112103
Lecture Notes in Computer Science 125 Logic of Programs Workshop
ETH Zurich1981 年出版245 页ISBN：
Lecture Notes in Computer Science 3967 Computer Science-Theory and Applications First International
CSR 20062006 年出版685 页ISBN：3540341668
Lecture Notes in Computer Science 4649 Computer Science-Theory and Applications Second International
CSR 20072007 年出版420 页ISBN：9783540745099
Lecture Notes in Computer Science 183 The Munich Project CIP Volume I:The Wide Spectrum Language CIP
1985 年出版275 页ISBN：3540151877
Lecture Notes in Computer Science 3242 Parllel Problem Solving from Nature-PPSN VIII 8th Internation
2004 年出版1185 页ISBN：3540230920
Lecture Notes in Computer Science 4468 Formal Methods for Open Object-Based Distributed Systems 9th
2007 年出版317 页ISBN：9783540729198
