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 3536 Application and Theory of Petri Nets 2005 26th International
ICATPN 20052005 年出版474 页ISBN：3540263012
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 3987 Location-and Context-Awareness Second International Workshop
LoCA 20062006 年出版289 页ISBN：3540341501
Lecture Notes in Computer Science 2360 Application and Theory of Petri Nets 2002 23rd International
ICATPN 20022002 年出版444 页ISBN：3540437878
Lecture Notes in Computer Science 2968 Real-Time and Embedded Computing Systems and Applications 9th
RTCSA 20032004 年出版620 页ISBN：3540219749
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
