Lecture Notes in Artificial Intelligence 4120 Artificial Intelligence and Symbolic Computation 8th I
AISC 20062006 年出版269 页ISBN：3540397280
Lecture Notes in Computer Science 3116 Algebraic Methodology and Software Technology 10th Internatio
AMAST 20042004 年出版569 页ISBN：3540223819
Lecture Notes in Computer Science 3441 Foundations of Software Science and Computation Structures 8t
FOSSACS 20052005 年出版521 页ISBN：3540253882
Lecture Notes in Artificial Intelligence 3949 Artificial Intelligence and Neural Networks 14th Turki
TAINN 20052006 年出版227 页ISBN：3540367136
Lecture Notes in Computer Science 3921 Foundations of Software Science and Computation Structures 9t
FOSSACS 20062006 年出版447 页ISBN：3540330453
Lecture Notes in Computer Science 4542 Requirements Engineering:Foundation for Software Quality 13th
REFSQ 20072007 年出版383 页ISBN：9783540730309
Lecture Notes in Artificial Intelligence 2464 Artificial Intelligence and Cognitive Science 13th Iri
AICS 20022002 年出版247 页ISBN：3540441840
Lecture Notes in Artificial Intelligence 3249 Artificial Intelligence and Symbolic Computation 7th I
AISC 20042004 年出版285 页ISBN：3540232125
Lecture Notes in Computer Science 4209 String Processing and Information Retrieval 13th Internationa
SPIRE 20062006 年出版367 页ISBN：3540457747
Lecture Notes in Computer Science 2984 Fundamental Approaches to Software Engineering 7th Internatio
FASE 20042004 年出版389 页ISBN：3540213058
