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 Artificial Intelligence 4149 Cooperative Information Agents X 10th International Wo
CIA 20062006 年出版477 页ISBN：354038569X
Lecture Notes in Computer Science 4572 Security and Privacy in Ad-hoc and Sensor Networks 4th Europe
ESAS 20072007 年出版247 页ISBN：9783540732747
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 4497 Computation and Logic in the Real World Third Conference on C
CiE 20072007 年出版826 页ISBN：9783540730002
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
