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 3640 Peer-to-Peer Systems III 4th International Workshop
IPTPS 20052005 年出版288 页ISBN：3540290680
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 3066 Rough Sets and Current Trends in Computing 4th Interna
RSCTC 20042004 年出版853 页ISBN：3540221174
Lecture Notes in Artificial Intelligence 4259 Rough Sets and Current Trends in Computing 5th Interna
RSCTC 20062006 年出版951 页ISBN：3540476938
Lecture Notes in Computer Science 3386 Public Key Cryptography-PKC 2005 8th International Workshop o
2005 年出版433 页ISBN：3540244549
Lecture Notes in Computer Science 3914 Software Engineering for Multi-Agent Systems IV Research Issu
2006 年出版253 页ISBN：3540335803
Lecture Notes in Computer Science 2917 Model-Checking Based Data Retrieval An Application To Semistr
2004 年出版134 页ISBN：3540209719
Lecture Notes in Computer Science 3456 Operational Semantics for Timed Systems A Non-standard Approa
2005 年出版223 页ISBN：3540255761
