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
Lecture Notes in Computer Science 4423 Foundations of Software Science and Computational Structures
FOSSACS 20072007 年出版379 页ISBN：9783540713883
Lecture Notes in Computer Science 3552 Quality of Service-IWQoS 2005
2005 年出版400 页ISBN：3540262946
Lecture Notes in Computer Science 3548 Detection Of Intrusions and Malware
and Vulnerability Assessment Second International Conference2005 年出版241 页ISBN：
Lecture Notes in Computer Science 4362 SOFSEM 2007:Theory and Practice of Computer Science 33nd Conf
2007 年出版937 页ISBN：9783540695066
Lecture Notes in Computer Science 2932 SOFSEM 2004:Theory and Practice of Computer Science 30th Conf
2004 年出版385 页ISBN：3540207791
Lecture Notes in Computer Science 4579 Detection Of Intrusions and Malware
and Vulnerability Assessment 4th International Conference2007 年出版251 页ISBN：
