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 3959 Theory and Applications of Models of Computation Third Intern
TAMC 20062006 年出版794 页ISBN：3540340211
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 4623 Ontologies-Based Databases and Information Systems First and
ODBIS 2005/20062007 年出版154 页ISBN：9783540754732
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 4743 Frontiers of High Performance Computing and Networking-ISPA 2
2007 年出版536 页ISBN：9783540747666
Lecture Notes in Computer Science 4331 Frontiers of High Performance Computing and Networking-ISPA 2
2006 年出版1141 页ISBN：9783540498605
