Lecture Notes in Computer Science 3258 Principles and Practice of Constraint Programming-CP 2004
2004 年出版822 页ISBN：3540232419
Lecture Notes in Computer Science 3177 Intelligent Data Engineering and Automated Learning-IDEAL 200
2004 年出版852 页ISBN：3540228810
Lecture Notes in Computer Science 4224 Intelligent Data Engineering and Automated Learning-IDEAL 200
2006 年出版1447 页ISBN：3540454853
Lecture Notes in Computer Science 4741 Primnciples and Practice of Constraint Programming-CP 2007
2007 年出版890 页ISBN：9783540749691
Lecture Notes in Computer Science 3965 Formal Methods for Hardware Verification 6th International Sc
Communication2006 年出版0 页ISBN：
Lecture Notes in Computer Science 3578 Intelligent Data Engineering and Automated Learning-IDEAL 200
2005 年出版599 页ISBN：354026972X
Lecture Notes in Computer Science 3465 Formal Methods for Mobile Computing 5th International School
Communication2005 年出版271 页ISBN：
Lecture Notes in Computer Science 3277 Job Scheduling Strategies for Parallel Processing 10th Intrna
JSSPP 20042005 年出版317 页ISBN：3540253300
Lecture Notes in Computer Science 4382 Languages and Compilers for Parallel Computing 19th Internati
LCPC 20062007 年出版366 页ISBN：9783540725206
