Lecture Notes in Computer Science 4125 Databases
Information Systems2007 年出版0 页ISBN：
Lecture Notes in Computer Science 4349 Verification
Model Checking2007 年出版0 页ISBN：
Lecture Notes in Computer Science 3385 Verification
Moel Checking2005 年出版0 页ISBN：
Lecture Notes in Computer Science 2944 Databases
Information Systems2004 年出版0 页ISBN：
Lecture Notes in Computer Science 3367 Databases
Information Systems2005 年出版0 页ISBN：
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...
