硬件设计验证 基于模拟与形式的方法 simulation and formal method-based approaches
(美)William K. Lam著;王维维译2007 年出版359 页ISBN:7111195027
本书的主要内容围绕着对硬件设计验证的两大方法(基于模拟的方法和形式验证的方法)展开。
ENGLISH 2200:A PROGRAMED COURSE IN GRAMMAR AND USAGE COLLEGE EDITION
JOSEPH C.BLUMENTHAL2222 年出版383 页ISBN:015522719X
黎宏主编2007 年出版251 页ISBN:9787301082867
《大学英语阅读教程》为北京大学出版社出版的大学英语立体化网络化系列教材之一。共分四册,每册有24课。每册的选材分别与《大学英语教程》1-4册相对应,话题广泛,思考深刻。其中既有贴近大学生生活的校园话题,...
STUDENT'S SOLUTION MANUAL ALGEBRA FOR COLLEGE STUDENTS THIRD EDITION
GERALD KRUSINSKI JOHN SULLIVAN AUGUST ZARCONE BRIAN HAYES1996 年出版753 页ISBN:067399547X
THE ETC PROGRAM A COMPETENCY-BASED READING/WRITING BOOK 3:AN IMMIGRATION STORY
ELAINE KIRN SHANTI ISABEL PEDERSON1988 年出版138 页ISBN:
THE ETC PROGRAM A COMPETENCY-BASED LISTENING/SPEAKING BOOK 3:AN IMMIGRATION STORY
ELAINE KIRN BERNICE M.BLOCH1988 年出版125 页ISBN:
VISUAL SERVOING Real-Time Control of Robot Manipulators Based on Visual Sensory Feedack
1993 年出版363 页ISBN:9810213646
Hardware-Based Computer Security Techniques to Defeat Hackers From Biometrics to Quantum Cryptograph
2008 年出版227 页ISBN:9780470193396
THE MYTH OF THE LEARNING MACHINE:The Theory and Practice of Computer Based Training
1983 年出版240 页ISBN:0905104501