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