Lecture Notes in Computer Science 4623 Ontologies-Based Databases and Information Systems First and
ODBIS 2005/20062007 年出版154 页ISBN:9783540754732
Lecture Notes in Computer Science 4732 Theorem Proving in Higher Order Logics 20th International Con
TPHOLs 20072007 年出版400 页ISBN:9783540745907
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 3646 Advances in Intelligent Data Analysis VI 6th International Sy
IDA 20052005 年出版522 页ISBN:3540287957
Lecture Notes in Computer Science 3129 Advances in Web-Age Information Management 5th International
WAIM 20042004 年出版753 页ISBN:3540224181
Lecture Notes in Computer Science 4896 E-Voting and Identity First International Conference
VOTE-ID 20072007 年出版189 页ISBN:9783540774921
Lecture Notes in Computer Science 3686 Pattern Recognition and Data Mining Third International Confe
ICAPR 2005 BathAugu 年出版2005 页ISBN:Part I
Lecture Notes in Computer Science 4700 Formal Methods and Hybrid Real-Time Systems Essaya in Honour
2007 年出版539 页ISBN:9783540752202