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 3532 The Semantic Web:Research and Applications Second European Se
ESWC 20052005 年出版730 页ISBN:3540261249
Lecture Notes in Computer Science 3053 The Semantic Web:Research and Applications First European Sem
ESWS 20042004 年出版492 页ISBN:3540219994
Lecture Notes in Computer Science 3208 Principles and Practice of Semantic Web Reasoning Second Inte
PPSWR 20042004 年出版163 页ISBN:3540229612
Lecture Notes in Computer Science 2791 Formal Modeling and Analysis of Timed Systems First Internati
FORMATS 20032004 年出版281 页ISBN:3540216715
Lecture Notes in Computer Science 3723 Analysis and Modelling of Faces and Gestures Second Internati
AMFG 20052005 年出版424 页ISBN:3540292292
Lecture Notes in Computer Science 3387 Semantic Web Services and Web Process Composition First Inter
SWSWPC 20042005 年出版147 页ISBN:3540243283
Lecture Notes in Computer Science 2635 From Object-Orientation to Formal Methods Essays in Memory of
2004 年出版389 页ISBN:354021366X