Lecture Notes in Computer Science 4318 Information Security and Cryptology Second SKLOIS Conference
Inscrypt 20062006 年出版306 页ISBN：9783540496083
Lecture Notes in Computer Science 3531 Applied Cryptography and Network Security Third International
ACNS 20052005 年出版530 页ISBN：3540262237
Lecture Notes in Computer Science 3052 Abstract State Machines 2004 Advances in Theory and Practice
ASM 20042004 年出版235 页ISBN：3540220941
Lecture Notes in Computer Science 3914 Software Engineering for Multi-Agent Systems IV Research Issu
2006 年出版253 页ISBN：3540335803
Lecture Notes in Computer Science 3456 Operational Semantics for Timed Systems A Non-standard Approa
2005 年出版223 页ISBN：3540255761
Lecture Notes in Computer Science 2940 Software Engineering for Multi-Agent Systems II Research Issu
2004 年出版278 页ISBN：3540211829
Lecture Notes in Computer Science 2283 Isabelle/HOL A Proof Assistant for Higher-Order Logic
2002 年出版218 页ISBN：3540433767
Lecture Notes in Computer Science 3390 Software Engineering for Multi-Agent Systems III Research Iss
2005 年出版289 页ISBN：3540248439
Lecture Notes in Computer Science 3605 Embedded Software and Systems First International Conference
ICESS 2004 Hangzhou2222 年出版0 页ISBN：
Lecture Notes in Computer Science 3351 Approximation and Online Algorithms Second International Work
WAOA 2004 Bergen2222 年出版0 页ISBN：
