Lecture Notes in Computer Science 2635 From Object-Orientation to Formal Methods Essays in Memory of
2004 年出版389 页ISBN:354021366X
LECTURE NOTES IN MATHEMATICS 1274: EQUIVARIANT K-THEORY AND FREENESS OF GROUP ACTIONS ON C*-ALGEBRAS
1987 年出版374 页ISBN:3540182772;0387182772
Lecture Notes in Computer Science 3243 Algorithms and Models for the Web-Graph Third International W
WAW 20042004 年出版187 页ISBN:3540234276
Lecture Notes in Computer Science 4497 Computation and Logic in the Real World Third Conference on C
CiE 20072007 年出版826 页ISBN:9783540730002
Lecture Notes in Computer Science 3323 Rules and Rule Markup Languages for the Semantic Web Third In
RuleML 20042004 年出版215 页ISBN:3540238425