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 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 4497 Computation and Logic in the Real World Third Conference on C
CiE 20072007 年出版826 页ISBN：9783540730002
Lecture Notes in Computer Science 3323 Rules and Rule Markup Languages for the Semantic Web Third In
RuleML 20042004 年出版215 页ISBN：3540238425
Lecture Notes in Computer Science 3791 Rules and Rule Markup Languages for the Semantic Web First In
RuleML 20052005 年出版225 页ISBN：354029922X
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
