非线性代数方程组与定理机器证明

杨路等著（华东师范大学软件学院）1996 年出版203 页ISBN：754281379X

Inventor应用机械工程师

深圳市索维思达软件咨询有限公司编2008 年出版120 页ISBN：9787114073915

本书为Inventor认证工程师考前辅导用书，内容包括：Inventor入门，草图基础，创建草图特征，创建放置特征，创建工作特征，创建和编辑工程图，创建和编辑装配模型等。...

MICROSOFT C 6.0之一安装及使用手册

北京科海培训中心，中科院软件研究所2222 年出版49 页ISBN：

钢筋算法与实例详解

广联达软件股份有限公司编著2010 年出版398 页ISBN：9787802276529

本书以一份基本钢筋构件的完整工程为主线，以大量的图片和表格的方式，详细讲解了工程所涉及到的平板式筏形基础、框架柱、剪力墙等钢筋构件的基本原理和计算公式，并给出了所有构件钢筋的手工计算过程和答案。...

计算机软件著作权保护工作手册

中国软件登记中心，中国计算机报社编1993 年出版218 页ISBN：7505319183

系统虚拟化 原理与实现

Intel corporation 2008英特尔开源软件技术中心，复旦大学并行处理研究所著2009 年出版238 页ISBN：9787302193722

本书系统地介绍了以软件完全虚拟化、硬件辅助虚拟化及类虚拟化为核心的各种系统虚拟化技术。

红旗Linux用户基础教程

中科红旗软件技术有限公司编著2001 年出版278 页ISBN：7505364766

红旗Linux授权培训中心指定用书红旗Linux指定培训教材:本书从最基本的红旗Linux2.0讲起，详细介绍了红旗Linux中外设、文件系统、Shell系统、常用命令、基本网络操作命令、XWindows系统的使用。 ...

中国地震分析预报软件系统 SSEPC

国家地震局软件技术组编著1994 年出版289 页ISBN：750281051X

内容包括:绪论、SSEPC系统、SSEPC子系统、SSEPC系统管理、程序使用说明及附录。

DJS-100-30计算机集成电路说明

DJS-100系列电子数字计算机软件联合设计组编1976 年出版283 页ISBN：

江苏省软件产业发展研究报告（2007）

江苏省信息产业厅，江苏省软件行业协会编2007 年出版238 页ISBN：