Lecture Notes in Computer Science 4700 Formal Methods and Hybrid Real-Time Systems Essaya in Honour
2007 年出版539 页ISBN:9783540752202
Lecture Notes in Computer Science 3160 Mobile Human-Computer Interaction-MobileHCI 2004 6th Internat
MobileHCI 20042004 年出版541 页ISBN:3540230866
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 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 3081 Digital Cities III Information Technologies for Social Capita
2005 年出版436 页ISBN:3540253319
Lecture Notes in Computer Science 3711 Entertainment Computing-ICEC 2005 4th International Conferenc
2005 年出版540 页ISBN:3540290346