Lecture Notes in Computer Science 3051 Relational and Kleene-Algebraic Methods in Computer Science 7
2004 年出版278 页ISBN:354022145X
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