Lecture Notes in Computer Science 4405 Agent-Oriented Software Engineering VII 7th International Wor
AOSE 20062007 年出版224 页ISBN：9783540709442
Lecture Notes in Computer Science 4690 Advances in Databases and Information Systems 11th East Europ
ADBIS 20072007 年出版377 页ISBN：9783540751847
Lecture Notes in Computer Science 4269 Large Scale Management of Distributed Systems 17th IFIP/IEEE
DSOM 20062006 年出版282 页ISBN：3540476598
Lecture Notes in Artificial Intelligence 3371 Intelligent Agents and Multi-Agent Systems 7th Pacific
PRIMA 20042005 年出版329 页ISBN：3540253408
Lecture Notes in Computer Science 4204 Principles and Practice of Constraint Programming-CP 2006 12t
CP 20062006 年出版774 页ISBN：3540462678
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 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
