Lecture Notes in Computer Science 3965 Formal Methods for Hardware Verification 6th International Sc
Communication2006 年出版0 页ISBN:
Lecture Notes in Computer Science 3578 Intelligent Data Engineering and Automated Learning-IDEAL 200
2005 年出版599 页ISBN:354026972X
Lecture Notes in Computer Science 3465 Formal Methods for Mobile Computing 5th International School
Communication2005 年出版271 页ISBN:
MATERIALS SCIENCE FORUM VOLUME 7(1986) KINETICS AND MASS TRANSPORT IN SILICATEAND OXIDE SYSTEMS
1986 年出版331 页ISBN:0878495398
Introduction to COMPUTER CONCEPTS Hardware and Software
LARRY W.DICKEY1974 年出版342 页ISBN: