Lecture Notes in Computer Science 4817 Information Security and Cryptology-ICISC 2007 10th Internati
2007 年出版368 页ISBN：9783540767879
Lecture Notes in Computer Science 190 Distributed Systems Methods and Tools for Specification An Adv
1985 年出版573 页ISBN：3540152164
Lecture Notes in Computer Science 3235 Formal Techniques for Networked and Distributed Systems-FORTE
2004 年出版376 页ISBN：3540232524
Lecture Notes in Computer Science 4574 Formal Techniques for Networked and Distributed Systems-FORTE
2007 年出版375 页ISBN：9783540731955
Lecture Notes in Computer Science 4229 Formal Techniques for Networked and Distributed Systems-FORTE
2006 年出版486 页ISBN：3540462198
Lecture Notes in Computer Science 2971 Information Security and Cryptology-ICISC 2003 6th Internatio
2004 年出版458 页ISBN：3540213767
Lecture Notes in Computer Science 4296 Information Security and Cryptology-ICISC 2006 9th Internatio
2006 年出版358 页ISBN：9783540491125
Lecture Notes in Computer Science 3935 Information Security and Cryptology-ICISC 2005 8th Internatio
2006 年出版458 页ISBN：3540333541
Lecture Notes in Computer Science 1586 Parallel and Distributed Processing 11th IPPS/SPDP'99 Worksho
1999 年出版1443 页ISBN：3540658319
Lecture Notes in Computer Science 3506 Information Security and Cryptology-ICISC 2004 7th Internatio
2005 年出版490 页ISBN：3540262261
