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 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 4497 Computation and Logic in the Real World Third Conference on C
CiE 20072007 年出版826 页ISBN：9783540730002
Lecture Notes in Artificial Intelligence 3097 Automated Reasoning Second International Joint Confere
IJCAR 20042004 年出版492 页ISBN：3540223452
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
