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
Towards A Common Software / Hardware Methodology For Future Advanced Driver Assistance Systems The D
Guillermo Paya Vaya2017 年出版274 页ISBN:8793519145