Lecture Notes in Computer Science 2937 Verification
Model Checking2004 年出版0 页ISBN：
COMPUTER SYSTEMS A PROGRAMMER'S PERSPECTIVE
[美]RANDAL E.BRYANT DAVID R.OHALLARON著2006 年出版978 页ISBN：
COMPUTER ARITHMETIC IN THEORY AND PRACTICE
ULRICH W.KULISCH WILLARD I.MIRANKER2222 年出版249 页ISBN：012428650X
COMPUTER NETWORKS:A TUTORIAL FOURTH EDITION
THE INSTITUTE OF ELECTRICAL AND ELECTRONICS ENGINEERS1984 年出版497 页ISBN：
谢波等编著2010 年出版343 页ISBN：9787121104190
本书第一部分包括第1章，简要介绍IBM System x的体系架构。第二部分包括第2章、第3章和第4章，结合具体范例，详细介绍了IBM ServerGuide Scripting Toolkit高效部署解决方案、BoMC可启动介质创建器和Start Now A...
MEMOIRS OF THE AMERICAN MATHEMATICAL SOCIETY NUMBER 1041 THE REGULARITY OF GENERAL PARABOLIC SYSTEM
VERENA BOGELEIN FRANK DUZAAR GIUSEPPE MINGIONE2012 年出版143 页ISBN：0821889756
Microsoft.NET框架1.1类库参考手册.第2卷.System.Collections至Systems.IO
美国微软公司著2004 年出版1017 页ISBN：7302081360
本书是.NET框架参考手册系列之一，介绍了从Systems.Collections至System.IO命名空间。包括类、方法、属性、构造函数、字段、接口等。本书是辞典型书籍，主要适用于.NET程序开发人员查阅。...
An Experimental Approach to CDMA and Interference Mitigation from System Architecture to Hardware Te
Luca Fanucci2004 年出版0 页ISBN：
