面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems

本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题，反映了计算机科学中数理...

面向管理的数量分析 （第九版）

Petri网在C4ISR系统建模、仿真与分析中的应用

本书介绍Petri网的基本理论及Petri网在C4ISR系统分析、设计与评估各方面的应用。

面向管理的数量分析 第8版

本书阐述了近年来数量分析技术在各种组织，决策环境中的应用方法和原则。

雷达系统分析与建模

本书共分9章。第1章推导了探测距离的标准雷达方程；第2章归纳了雷达检测理论；第3章归纳了目标和干扰；第4章介绍了雷达天线；第5章类似地介绍了波形和信号处理概况；第6章概述了雷达传播及其对雷达探测和测量的影响；....

UML系统建模与分析设计

本书系统、全面地阐述了基于UML的面向对象分析与设计的基本概念，详细介绍了统一建模语言UML及其开发过程，以一个集成案例贯穿可行性研究、需求分析、系统分析与系统设计的全过程，列举大量实例，并给出各阶段的基...

面向21世纪课程教材 教育部面向21世纪信息管理与信息系统系列教材 企业知识管理战略

本书系统研究企业的知识转移战略，知识创新战略等。

网络制造资源管理系统建模和开发

本书以网络制造资源管理系统建模和开发过程为主线，讨论网络制造资源管理系统的发展历程，计算机网络体系结构、数据库、C/S B/S体系结构，网络制造资源管理系统基本功能。...

企业与信息系统建模分析

企业建模技术是解决日渐复杂的企业管理体系和企业管理信息系统的架构造成的信息系统实施成功率低，企业管理架构的调整造成已建信息系统的失效的一个有效的切入点。本书介绍了企业及信息系统建模的主要体系框...

面向对象的系统设计 第2版

本书主要介绍面向对象的系统设计的基础和设计方法。