Lecture Notes in Computer Science 3112 Key Technologies for Data Management 21st British National Co
BNCOD 212004 年出版264 页ISBN：3540223827
Lecture Notes in Computer Science 3223 Theorem Proving on Higher Order Logics 17th International Con
TPHOLs 20042004 年出版337 页ISBN：3540230173
Lecture Notes in Computer Science 2152 Theorem Proving on Higher Order Logics 14th International Con
TPHOLs 20012001 年出版394 页ISBN：354042525X
Lecture Notes in Artificial Intelligence 3904 Declarative Agent Languages and Technologies III Third
DALT 20052006 年出版245 页ISBN：3540331069
LECTURE NOTES IN MATHEMATICS 1446: METHODS OF NONCONVEX ANALYSIS
1990 年出版210 页ISBN：3540531203;0387531203
LECTURE NOTES IN MATHEMATICS 1422: COMPLEX GEOMETRY AND ANALYSIS
1990 年出版109 页ISBN：3540524347;0387524347
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
Lecture Notes in Computer Science 3914 Software Engineering for Multi-Agent Systems IV Research Issu
2006 年出版253 页ISBN：3540335803
