Lecture Notes in Computer Science 4709 Formal Methods for Components and Objects 5th International S
FMCO 2006 Amsterdam2222 年出版0 页ISBN:
Lecture Notes in Computer Science 4111 Formal Methods for Compoents and Objects 4th International Sy
FMCO 2005 Amsterdam2222 年出版0 页ISBN:
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 3548 Detection Of Intrusions and Malware
and Vulnerability Assessment Second International Conference2005 年出版241 页ISBN:
Lecture Notes in Computer Science 4579 Detection Of Intrusions and Malware
and Vulnerability Assessment 4th International Conference2007 年出版251 页ISBN:
Lecture Notes in Computer Science 3455 ZB 2005:Formal Specification and Development in Z and B 4th I
2005 年出版493 页ISBN:3540255591
Lecture Notes in Computer Science 3795 Grid and Cooperative Computing-GCC 2005 4th International Con
2005 年出版1203 页ISBN:3540305106
Lecture Notes in Computer Science 4249 Cryptographic Hardware and Embedded Systems-CHES 2006 8th Int
2006 年出版462 页ISBN:3540465596
Lecture Notes in Computer Science 3617 Image Analysis and Processing-ICIAP 2005 13th International C
2005 年出版1221 页ISBN:3540288694