Lecture Notes in Computer Science 2635 From Object-Orientation to Formal Methods Essays in Memory of
2004 年出版389 页ISBN：354021366X
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 Artificial Intelligence 3187 Multiagent System Technologies Second German Conferenc
MATES 20042004 年出版341 页ISBN：3540232222
Lecture Notes in Artificial Intelligence 4604 Conceptual Structures:Knowledge Architectures for Smar
ICCS 20072007 年出版514 页ISBN：9783540736806
Lecture Notes in Computer Science 2920 Wireless Sensor Networks First European Worksop
EWSN 20042004 年出版365 页ISBN：3540208259
Lecture Notes in Artificial Intelligence 4511 User Modeling 2007 11th International Conference
UM 20072007 年出版487 页ISBN：9783540730774
Lecture Notes in Computer Science 3083 Component Deployment Second International Working Conference
CD 20042004 年出版247 页ISBN：3540220593
Lecture Notes in Computer Science 3517 Human Interactive Proofs Second International Workshop
HIP 20052005 年出版141 页ISBN：3540260013
