Lecture Notes in Computer Science 3188 Formal Methods for Components and Objects Second Internationa
FMCO 2003 Leiden2222 年出版0 页ISBN：
Lecture Notes in Computer Science 3983 Computational Science and Its Applications-ICCSA 2006
Marina Gavrilova2222 年出版0 页ISBN：
Lecture Notes in Computer Science 4184 Web Services and Formal Methods Third International Workshop
WS-FM 20062006 年出版289 页ISBN：3540388621
Lecture Notes in Computer Science 2244 Perspectives Of System Informatics 4th International Andrei E
PSI 20012001 年出版548 页ISBN：354043075X
Lecture Notes in Computer Science 3582 FM 2005:Formal Methods International Symposium of Formal Meth
2005 年出版558 页ISBN：3540278826
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 4382 Languages and Compilers for Parallel Computing 19th Internati
LCPC 20062007 年出版366 页ISBN：9783540725206
Lecture Notes in Computer Science 3293 Web Content Caching and Distribution 9th International Worksh
WCW 20042004 年出版285 页ISBN：3540235167
Lecture Notes in Computer Science 3927 Hybrid Systems:Computation and Control 9th International Work
HSCC 20062006 年出版583 页ISBN：3540331700
