Lecture Notes in Computer Science 4053 Intelligent Thtoring Systems 8th International Conference
ITS 20062006 年出版821 页ISBN:3540351590
Lecture Notes in Computer Science 3114 Computer Aided Verification 16th International Conference
CAV 20042004 年出版536 页ISBN:3540223428
Lecture Notes in Computer Science 4671 Parallel Computing Technologies 9th International Conference
PaCT 20072007 年出版635 页ISBN:9783540739395
Lecture Notes in Computer Science 4475 Fun With Algorithms 4th International Conference
FUN 20072007 年出版273 页ISBN:9783540729136
Lecture Notes in Computer Science 3714 Software Product Lines 9th International Conference
SPLC 20052005 年出版235 页ISBN:3540289364
Lecture Notes in Computer Science 3576 Computer Aided Verification 17th International Conference
CAV 20052005 年出版564 页ISBN:3540272313
Lecture Notes in Computer science 4590 Computer Aided Verification 19th International Conference
CAV 20072007 年出版562 页ISBN:9783540733676
Lecture Notes in Computer Science 3606 Parallel Computing Technologies 8th International Conference
PaCT 20052005 年出版470 页ISBN:3540281266
Lecture Notes in Computer Science 4233 Neural Information Processing 13th International Conference
ICONIP 20062006 年出版1203 页ISBN:3540464816