Lecture Notes in Computer Science 3670 Formal Techniques for Comprter Systems and Busoness Processes
EPEW 20052005 年出版349 页ISBN:3540287019
Lecture Notes in Computer Science 3188 Formal Methods for Components and Objects Second Internationa
FMCO 2003 Leiden2222 年出版0 页ISBN:
Lecture Notes in Computer Science 3941 Interactive Systems Design
Specification2006 年出版0 页ISBN:
Lecture Notes in Computer Science 4323 Interactive Systems Design
Specification2007 年出版0 页ISBN:
Lecture Notes in Computer Science 4517 Wired/Wireless Internet Communications 5th International Conf
WWIC 20072007 年出版382 页ISBN:9783540726944
Lecture Notes in Computer Science 3009 Product Focused Software Process Improvement 5th Internatonal
PROFES 20042004 年出版584 页ISBN:3540214216
Lecture Notes in Computer Science 3908 Innovative Internet Community Systems 5th International Works
IICS 20052006 年出版206 页ISBN:3540339736
Lecture Notes in Computer Science 3348 Progress in Cryptology-INDOCRYPT 2004 5th Internaitonal Confe
2004 年出版431 页ISBN:3540241302
Lecture Notes in Computer Science 4382 Languages and Compilers for Parallel Computing 19th Internati
LCPC 20062007 年出版366 页ISBN:9783540725206