面向计算机科学的数理逻辑系统建模与推理 英文版·第2版

本书提供了与现代计算机科学以及实际应用相关的重要内容，并且更大程度地满足了上述两种需求。

面向对象的系统分析与设计

本书从面向对象的角度，以UML和当前最新的一些技术阐述了系统的分析与设计。内容涉及：面向对象开发的基础、项目规划和管理、系统分析与设计、系统实现与操作。...

面向对象的系统分析与设计 UML版

本书用UML描述了系统分析与设计的建模和结构化。

无线电抗干扰通信原理及应用

本书讲述无线电抗干扰的的理论与应用知识。

光电干扰防护系统技术

面向大批量定制的产品建模 理论·方法·应用 theory， method and application

本书是一部面向大批量定制的产品建模理论、方法和实践的学术著作。全书共7章：第1章讲述了大批量定制背景；第2章阐述了大批量定制产品的设计技术；第3～5章论述了面向大批量定制产品的建模理论和设计原理及其实现...

经济管理模型的多变量统计方法及分析系统Qstat

电子商务下企业分销管理模拟系统的分析与设计

本书分析电子商务的涵义、分类、主要构成和关键技术，讨论网络营销和电子商务的区别与联系。

面向对象管理系统开发平台 MABC应用与实践

本书从理论联系实际出发，以实例的操作介绍了MABC从建立使用到开发应用分系统的全过程，全面系统地介绍了MABC 8.0 的各项功能，操作方法和注意事项，总结概括了开发管理信息系统的众多模式和经验，内容深入浅出，实用...

安全协议的建模与分析：CSP方式

本书介绍了安全协议的一种建模与分析方法。