软件工程 卷2 系统与语言规约

本书介绍了描述系统与语言的规约的基本原理和技术。本卷首先讲授一些高级的原理和技术，然后讲授符号学建模的基本原理和技术。其中重要的一部分介绍了对空间和简单时态现象进行建模的基本原理和技术。...

地下工程项目群质量检测集成系统

本书为适应民用和军事建筑对地下工程质量越来越高的要求，而提出明确的质量检测的诸方面，并就此设计出该质量检测的集成软件系统。

黄河防洪工程维护管理系统研发

黄河防洪工程维护管理系统是“黄河数字监管系统”的组成部分，是“数字黄河”工程建设中六大业务应用系统之一。本书分析了系统需求，阐述了项目总体架构，技术路线，以及项目研发中的关键技术等。...

新日本语能力测试N1备考官方标准对策集 突破160高分全真模拟题

本书共有12套模拟题，每套模拟题严格按照N1考试的顺序、题型进行编写，并配有完整的参考答案。本书的特点：1．精研变革、直击考点；2．一线名师、准确预测；3．还两套题、充分演练。...

1902-1937年北京的妇女救济 以官方善业为研究中心

本书通过考察清末民初北京妇女救济的发展历程，主要探讨以下几个问题：清末民初，北京官办妇女救济机构的理念和实践的具体状况，在面临政治、经济等条件变化时妇女救济事业如何开展，效果如何；影响妇女救济活动有效.....

高等学校教材 UNIX操作系统教程

Visual FoxPro应用系统开发教程

会计信息系统实验教程

本书与《会计信息系统》相配套，以用友财务软件为样版，指导财务工作者按计算机管理系统软件应用于企业财务管理工作，并将新旧企业会计准则的差异在会计科目中做出标识。...

用友ERP生产管理系统实验教程

本书是用友ERP生产管理系统实验教程。

计算机系统结构教程

本书主要介绍了计算机系统结构、存储系统、流水线技术、RISC结构计算机、多处理机系统、分布式系统结构和非控制流计算机结构。