Lecture Notes in Computer Science 3294 Teaching Formal Methods CoLogNET/FME Stmposium
TFM 20042004 年出版249 页ISBN：3540236112
Lecture Notes in Computer Science 3798 Component Deployment Third International Working Conference
CD 20052005 年出版197 页ISBN：3540305173
Lecture Notes in Artificial Intelligence 3538 User Modeling 2005 10th Internatonal Conference
UM 20052005 年出版533 页ISBN：3540278850
Lecture Notes in Artificial Intelligence 4062 RoughSets and Knowledge Technology First International
RSKT 20062006 年出版810 页ISBN：3540362975
Lecture Notes in Aetificial Intelligence 3392 Applications of Declarative Programming and Knowledge
INAP 20042005 年出版309 页ISBN：3540255605
Lecture Notes in Computer Science 3154 Software Product Lines Third International Conference
SPLC 20042004 年出版335 页ISBN：3540229183
Lecture Notes in Computer Science 2379 Software Product Lines Second International Conference
SPLC 22002 年出版399 页ISBN：3540439854
Lecture Notes in Computer Science 3262 Universal Multiservice Networks Third European Conference
ECUMN 20042004 年出版556 页ISBN：3540235515
Lecture Notes in Artificial Intelligence 4565 Foundations of Augmented Cognition Third International
FAC 20072007 年出版450 页ISBN：9783540732150
Lecture Notes in Artificial Intelligence 4130 Automated Reasoning Third International Joint Conferen
IJCAR 20062006 年出版680 页ISBN：3540371877
