Lecture Notes in Computer Science 4574 Formal Techniques for Networked and Distributed Systems-FORTE
2007 年出版375 页ISBN：9783540731955
Lecture Notes in Computer Science 4229 Formal Techniques for Networked and Distributed Systems-FORTE
2006 年出版486 页ISBN：3540462198
Lecture Notes in Computer Science 4228 Modular Programming Languages 7th Joint Modular Languages Con
JMLI 20062006 年出版415 页ISBN：3540409270
Lecture Notes in Computer Science 3731 Formal Techniques for Networked and Distributed Systems-FORTE
2005 年出版558 页ISBN：354029189X
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 3606 Parallel Computing Technologies 8th International Conference
PaCT 20052005 年出版470 页ISBN：3540281266
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 4700 Formal Methods and Hybrid Real-Time Systems Essaya in Honour
2007 年出版539 页ISBN：9783540752202
Lecture Notes in Computer Science 3774 Database Programming Languages 10th International Symposium
DBPL 20052005 年出版295 页ISBN：3540309519
Lecture Notes in Computer Science 4797 Database Programming Languages 11th International Symposium
DBPL 20072007 年出版262 页ISBN：9783540759867
