硬件设计验证 基于模拟与形式的方法 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
