Lecture Notes in Computer Science 4318 Information Security and Cryptology Second SKLOIS Conference
Inscrypt 20062006 年出版306 页ISBN：9783540496083
Lecture Notes in Computer Science 4738 Affective Computing and Intelligent Interaction Second Intern
ACII 20072007 年出版781 页ISBN：9783540748885
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 3759 Parallel and Distributed Processing and Applications-ISPA 200
2005 年出版669 页ISBN：3540297707
Lecture Notes in Computer Science 3478 Global Optimization and Constraint Satisfaction Second Intern
COCOS 20032005 年出版192 页ISBN：354026003X
