Lecture Notes in Computer Science 3725 Correct Hardware Design and Verification Methods 13th IFIP WG
CHARME 20052005 年出版412 页ISBN:3540291059
METHODS IN NUCLEIC ACIDS RESEARCH
JIM D.KARAM LEE CHAO GREGORY W.WARR2222 年出版403 页ISBN:0849353114
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:
Group Technology production methods in manufacture
1986 年出版190 页ISBN:0470202947