Lecture Notes in Computer Science 3739 Advances in Web-Age Information Management 6th International
WAIM 20052005 年出版930 页ISBN:3540292276
Lecture Notes in Computer Science 3603 Theorem Proving in Higher Order Logics 18th International Con
TPHOLs 20052005 年出版409 页ISBN:3540283722
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 4407 Logic-Based Program Synthesis and Transformation 16th Interna
LOPSTR 20062007 年出版236 页ISBN:9783540714095
Lecture Notes in Computer Science 3079 High Speed Networks and Multimedia Communications 7th IEEE In
HSNM 20042004 年出版1103 页ISBN:3540222626
Lecture Notes in Computer Science 3646 Advances in Intelligent Data Analysis VI 6th International Sy
IDA 20052005 年出版522 页ISBN:3540287957
Lecture Notes in Computer Science 3271 Management of Multimedia Networks and Services 7th IFIP/IEEE
MMNS 20042004 年出版335 页ISBN:3540232397
Lecture Notes in Computer Science 3129 Advances in Web-Age Information Management 5th International
WAIM 20042004 年出版753 页ISBN:3540224181
Lecture Notes in Computer Science 3640 Peer-to-Peer Systems III 4th International Workshop
IPTPS 20052005 年出版288 页ISBN:3540290680
Lecture Notes in Computer Science 4484 Theory and Applications of Models of Computaion 4th Internati
TAMC 20072007 年出版772 页ISBN:9783540725039