Lecture Notes in Computer Science 2963 Higher-Level Hardware Synthesis
2004 年出版195 页ISBN:3540213066
Lecture Notes in Computer Science 3321 Advances in Computer Science-ASIAN 2004 Higher-Level Decision
2004 年出版510 页ISBN:354024087X
Lecture Notes in Computer Science 4383 Hardware and Software
Verification and Testing Second International Haifa Verification Conference2007 年出版235 页ISBN:
Lecture Notes in Computer Science 3156 Cryptographic Hardware and Embedded Systems-CHES 2004
2004 年出版455 页ISBN:3540226664
Lecture Notes in Computer Science 3659 Cryptographic Hardware and Embedded Systems-CHES 2005
2005 年出版458 页ISBN:3540284745
Lecture Notes in Computer Science 3965 Formal Methods for Hardware Verification 6th International Sc
Communication2006 年出版0 页ISBN:
Lecture Notes in Computer Science 4684 Evolvable Systems:From Biology to Hardware 7th International
ICES 20072007 年出版446 页ISBN:9783540746256
Lecture Notes in Computer Science 3637 Evolvable Systems:From Biology to Hardware 6th International
ICES 20052005 年出版227 页ISBN:3540287361
Lecture Notes in Computer Science 3725 Correct Hardware Design and Verification Methods 13th IFIP WG
CHARME 20052005 年出版412 页ISBN:3540291059