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 4011 The Semantic Web:Research and Applications 3rd European Seman
ESWC 20062006 年出版728 页ISBN:3540345442
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 469 Semantics of Systems of Concurrent Processes
1990 年出版456 页ISBN:3540534792
Lecture Notes in Computer Science 3362 Construction and Analysis of Safe
Secure2005 年出版0 页ISBN:
Lecture Notes in Computer Science 3956 Construction and Analysis of Safe
Secure2006 年出版0 页ISBN:
Lecture Notes in Computer Science 3928 Smart Card Research and Advanced Applications 7th IFIP WG 8.8
CARDIS 20062006 年出版359 页ISBN:3540333118