Lecture Notes in Computer Science 2967 Generic Model Management Concepts and Algorithms
2004 年出版238 页ISBN：3540219803
Lecture Notes in Computer Science 3657 Formal Methods for Components and Objects
2005 年出版325 页ISBN：3540291318
Lecture Notes in Computer Science 4559 Usability and Internationalization HCI and Culture
2007 年出版661 页ISBN：9783540732860
Lecture Notes in Artificial Intelligence 449 10th International Conference on Automated Deduction
M.E.Stickel1990 年出版688 页ISBN：
Lecture Notes in Computer Science 4446 Evolutionary Computation in Combinatorial Optimization 7th Eu
EvoCOP 20072007 年出版241 页ISBN：9783540716143
Lecture Notes in Computer Science 3004 Evolutionary Computation in Combinatorial Optimization 4th Eu
EvoCOP 20042004 年出版241 页ISBN：3540213678
Lecture Notes in Computer Science 3906 Evolutionary Computation in Combinatorial Optimization 6th Eu
EvoCOP 20062006 年出版293 页ISBN：3540331786
Lecture Notes In Computer Science 4181:Advances in Web Based Learning-ICWL 2006
Wenyin Liu2006 年出版378 页ISBN：
Lecture Notes in Computer Science 3562 Artificial Intelligence and Knowledge Engineering Application
IWINAC 20052005 年出版636 页ISBN：3540263195
Lecture Notes in Computer Science 3294 Teaching Formal Methods CoLogNET/FME Stmposium
TFM 20042004 年出版249 页ISBN：3540236112
