Lecture Notes in Artificial Intelligence 3904 Declarative Agent Languages and Technologies III Third
DALT 20052006 年出版245 页ISBN：3540331069
Lecture Notes in Computer Science 3791 Rules and Rule Markup Languages for the Semantic Web First In
RuleML 20052005 年出版225 页ISBN：354029922X
Lecture Notes in Computer Science 4468 Formal Methods for Open Object-Based Distributed Systems 9th
2007 年出版317 页ISBN：9783540729198
Lecture Notes in Computer Science 4193 Parallel Problem Solving from Nature-PPSN IX 9th Internationa
2006 年出版1061 页ISBN：3540389903
Lecture Notes in Artificial Intelligence 4327 Declarative Agent Languages and Technologies IV 4th In
DALT 20062006 年出版257 页ISBN：9783540689591
Lecture Notes in Computer Science 2968 Real-Time and Embedded Computing Systems and Applications 9th
RTCSA 20032004 年出版620 页ISBN：3540219749
Lecture Notes in Computer Science 4646 Computer Science Logic 21st International Workshop
CSL 2007 16th Annual Conference of the EACSL2007 年出版600 页ISBN：9783540749141
Lecture Notes in Computer Science 3063 Reliable Software Technologies-Ada-Europe 2004 9th Ada-Europe
2004 年出版333 页ISBN：3540220119
Lecture Notes in Computer Science 4642 Advances in Biometrics International Conference
ICB 20072007 年出版1216 页ISBN：9783540745488
