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
Lecture Notes in Computer Science 4471 Interactive TV:A Shared Experience 5th European Conference
EuroITV 20072007 年出版236 页ISBN:9783540725589
Lecture Notes in Computer Science 3489 Component-Based Software Engineering 8th International Sympos
CBSE 20052005 年出版358 页ISBN:3540258779