Lecture Notes in Computer Science 2967 Generic Model Management Concepts and Algorithms
2004 年出版238 页ISBN：3540219803
Essential Guide to Apple Computers In Libraries Volume 3 Communications and Networking
1988 年出版219 页ISBN：0887360769
Using computers : a gateway to information and programming in Qbasic
gary b.shelly and thomas j.cashman and gloria a.waggoner and william c.waggoner1995 年出版656 页ISBN：0789503093
CONTEMPORARY MATHEMATICS 453 Surveys on Discrete and Computational Geometry Twenty Years Later
2008 年出版558 页ISBN：9780821842393
Computation and storage in the cloud : understanding the trade-offs
Dong Yuan and Yun Yang2013 年出版113 页ISBN：0124077676
Wave fields in real media: wave propagation in anisotropic
anelastic2015 年出版664 页ISBN：
硬件设计验证 基于模拟与形式的方法 simulation and formal method-based approaches
（美）William K. Lam著；王维维译2007 年出版359 页ISBN：7111195027
本书的主要内容围绕着对硬件设计验证的两大方法（基于模拟的方法和形式验证的方法）展开。
计算机安全——原理与实践=COMPUTER SECURITY:PRINCIPLES AND PRACTICE 第二版 英文版
（美）William Stallings，（澳）Lawrie Brown著2013 年出版811 页ISBN：7121200342
创新型国家的基因工程 中国高新技术产业开发区探究 Research on Chinese new and high technology industrial development zones
刘永彪著2006 年出版297 页ISBN：7503535571
高新技术产业开发区的出现是中国改革开放进程中一个十分重要的经济现象。本书以十一届三中全会以来改革开放的历史为背景，借鉴国外高新技术产业开发区发展的成功经验，全面系统分析了发展高新技术产业开发区过...
