Computer Interface Engineering for Real-Time Systems:A Model-Based Approach
1987 年出版292 页ISBN:0131630237
Lecture Notes in Computer Science 3639 Model Checking Software 12th International SPIN Workshop
2005 年出版287 页ISBN:3540281959
E-COLLABORATIVE KUOWLEDGE CONSTRUCTION:LEARNING FROM COMPUTER-SUPPORTED AND VIRTUAL ENVIRONMENTS
2010 年出版335 页ISBN:1615207299
硅超大规模集成电路工艺技术 理论、实践与模型 fundamentals, practice and modeling
(美)James D. Plummer,(美)Michael D. Deal,(美)Peter B. Griffin著;严利人,王玉东,熊小义等译2005 年出版618 页ISBN:7121019876
本书是美国斯坦福大学电气工程系“硅超大规模集成电路制造工艺”课程所使用的教材,该课程是为电气工程系微电子学专业的四年级本科生及一年级研究生开设的一门专业课。本书最大的特点是,不仅详细介绍了与硅超...
Lecture Notes in Computer Science 3796 Cryptography and Coding 10th IMA International Conference
2005 年出版460 页ISBN:354030276X
MATHEMATICAL STERUCTURES FOR COMPUTER SCIENCE A Modern Approach to Discrete Mathematics SIXTH EDITIO
2007 年出版807 页ISBN:071676864X