Lecture Notes in Computer Science 4392 Theory of Cryptography 4th Theory of Cryptography Conference
TCC 20072007 年出版595 页ISBN:9783540709350
Lecture Notes in Computer Science 3393 Formal Methods in Software and Systems Modeling Essays Dedica
2005 年出版413 页ISBN:3540249362
Lecture Notes in Computer Science 4346 Formal Methods:Applications and Technology 11th International
FMICS 20062007 年出版364 页ISBN:9783540709510
Lecture Notes in Computer Science 4528 Nature Inspired Problem-Solving Methods in Knowledge Engineer
IWINAC 20072007 年出版650 页ISBN:9783540730545
Lecture Notes in Computer Science 4137 CONCUR 2006-Concurrency Theory 17th International Conference,
2006 年出版523 页ISBN:3540373764
Lecture Notes in Computer Science 4703 CONCUR 2007-Concurrency Theory 18th International Conference,
2007 年出版507 页ISBN:9783540744061
Lecture Notes in Computer Science 3653 CONCUR 2005-Concurrency Theory 16th International Conference,
2005 年出版578 页ISBN:3540283099