Lecture Notes in Artificial Intelligence 3690 Multi-Agent Systems and Applications IV 4th Internatio
CEEMAS 20052005 年出版667 页ISBN：354029046X
Lecture Notes in Computer Science 3602 Languages and Compilers for High Performance Computing 17th I
LCPC 20042005 年出版486 页ISBN：354028009X
Lecture Notes in Computer Science 2254 Engineering for Human-Computer Interaction 8th IFIP Internati
EHCI 20012001 年出版359 页ISBN：354043044X
Lecture Notes in Computer Science 2152 Theorem Proving on Higher Order Logics 14th International Con
TPHOLs 20012001 年出版394 页ISBN：354042525X
Lecture Notes in Computer Science 4709 Formal Methods for Components and Objects 5th International S
FMCO 2006 Amsterdam2222 年出版0 页ISBN：
Lecture Notes in Computer Science 4111 Formal Methods for Compoents and Objects 4th International Sy
FMCO 2005 Amsterdam2222 年出版0 页ISBN：
Lecture Notes in Computer Science 3436 Embedded Systems Design The ARTIST Roadmap for Research and D
2005 年出版492 页ISBN：3540251073
Lecture Notes in Computer Science 3386 Public Key Cryptography-PKC 2005 8th International Workshop o
2005 年出版433 页ISBN：3540244549
Lecture Notes in Computer Science 4805 On the Move to Meaningful Internet Systems 2007:OTM 2007 Work
2007 年出版757 页ISBN：9783540768876
Lecture Notes in Computer Science 3762 On the Move to Meaningful Internet Systems 2005:OTM 2005 Work
2005 年出版1228 页ISBN：3540297391
