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 Computer Science 3352 Security in Communication Networks 4th International Conferen
SCN 20042005 年出版381 页ISBN：3540243011
Lecture Notes in Computer Science 3933 Knowledge Discovery in Inductive Databases 4th International
KDID 20052006 年出版251 页ISBN：3540332928
Lecture Notes in Computer Science 3424 Privacy Enhancing Technologies 4th International Workshop
PET 20042005 年出版345 页ISBN：3540262032
Lecture Notes in Computer Science 4475 Fun With Algorithms 4th International Conference
FUN 20072007 年出版273 页ISBN：9783540729136
Lecture Notes in Computer Science 2999 Integrated Formal Methods 4th International Conference
IFM 20042004 年出版541 页ISBN：3540213775
Lecture Notes in Computer Science 2327 High Performance Computing 4th International Symposium
ISHPC 20022002 年出版564 页ISBN：354043674X
Lecture Notes in Computer Science 3970 Wired/Wireless Internet Communications 4th International Conf
WWIC20062006 年出版350 页ISBN：3540340238
Lecture Notes in Computer Science 2257 Practical Aspects Of Declarative Languages 4th International
PADL 20022002 年出版351 页ISBN：354043092X
