Lecture Notes in Computer Science 2635 From Object-Orientation to Formal Methods Essays in Memory of
2004 年出版389 页ISBN：354021366X
Methods of X-ray and neutron scattering in polymer science
Ryong-joon roe2000 年出版331 页ISBN：0195113217
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
Lecture Notes in Computer Science 3791 Rules and Rule Markup Languages for the Semantic Web First In
RuleML 20052005 年出版225 页ISBN：354029922X
Lecture Notes in Computer Science 130 Axiomatising the Logic of Computer Programming
1982 年出版304 页ISBN：3540112103
Lecture Notes in Computer Science 4170 Toward Category-Level Object Recognition
2006 年出版618 页ISBN：9783540687948
Lecture Notes in Computer Science 2956 Reading and Learning Adaptive Content Recognition
2004 年出版354 页ISBN：3540219048
LOGIC AND LINGUISTICS RESEARCH DIRECTIONS IN COGNTIVE SCIENCE EUROPEAN PERSPECTIVES VOL.2
2222 年出版217 页ISBN：0863771122
