Lecture Notes in Computer Science 3731 Formal Techniques for Networked and Distributed Systems-FORTE
2005 年出版558 页ISBN:354029189X
Lecture Notes in Computer Science 3153 Mathematical Foundations Of Computer Science 2004 29 Internat
MFCS 20042004 年出版902 页ISBN:3540228233
Lecture Notes in Computer Science 4514 Logical Foundations of Computer Science International Symposi
LFCS 20072007 年出版513 页ISBN:9783540727323
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 4623 Ontologies-Based Databases and Information Systems First and
ODBIS 2005/20062007 年出版154 页ISBN:9783540754732
Lecture Notes in Computer Science 3279 Peer-to-Peer Systems III Third International Workshop
IPTPS 20042004 年出版300 页ISBN:354024252X
Lecture Notes in Computer Science 3640 Peer-to-Peer Systems III 4th International Workshop
IPTPS 20052005 年出版288 页ISBN:3540290680
Lecture Notes in Computer Science 3618 Mathematical Foundations Of Computer Science 2005 30th Intern
MFCS 20052005 年出版814 页ISBN:3540287027
Lecture Notes in Computer Science 4708 Mathematical Foundations of Computer Science 2007 32nd Intern
MFCS 20072007 年出版764 页ISBN:9783540744559