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 3691 Computer Analysis of Images and Patterns 11th International C

CAIP 20052005 年出版865 页ISBN：3540289690

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