Lecture Notes in Computer Science 4126 Reasoning Web Second International Summer School 2006
2006 年出版268 页ISBN:354038409X
Lecture Notes in Computer Science 86 Abstract Software Specifications 1979 Copenhagen Winter School
19791980 年出版567 页ISBN:3540100075
Lecture Notes in Computer Science 4053 Intelligent Thtoring Systems 8th International Conference
ITS 20062006 年出版821 页ISBN:3540351590
Lecture Notes in Computer Science 3774 Database Programming Languages 10th International Symposium
DBPL 20052005 年出版295 页ISBN:3540309519
Lecture Notes in Computer Science 3114 Computer Aided Verification 16th International Conference
CAV 20042004 年出版536 页ISBN:3540223428