B方法与形式化软件开发技术研究

本书从软件实际开发过程出发，将形式化技术应用于每个开发阶段，系统地介绍了基于B方法完成软件形式化开发的模式、过程、技术和方法，其中包括UML模型图到B方法形式规约的比较全面的转换方法。...

计算机网络与信息安全

本书详细介绍计算机网络与信息安全的相关知识。

并行计算机体系结构 硬件/软件结合的设计与分析 原书第2版

当今并行计算机体系结构最令人振奋的发展是对传统的相互各异的并行实现方式的完美综合。本书正是以此技术为背景，通过大量的实例，精确的数据和作者对并行结构深邃的理解向人们提示了蕴藏于并行体系结构中的强...

加油站安全管理与安全技术

数学实验与软件计算

本书旨在培养读者学习数学的兴趣和应用数学解决实际问题的能力，强调数学思维的培养。其内容涵盖三部分：软件介绍、数值计算和数学的应用。这些内容相互渗透，有助于读者养成发现问题、提出问题、大胆设想、检验...

计算机常用工具软件教程与实训

本书详细介绍了目前最常用的计算机工具软件的安装、功能设置和使用技巧等各个环节的操作步骤。全书按功能分12章，内容主要涉及解压缩工具、病毒查杀工具、翻译工具、多媒体播放工具、多媒体处理工具、图像浏...

信息与网络安全研究新进展：全国计算机安全学术交流会论文集：第23卷

本书精选80余篇参加第二十三次全国计算机安全学会交流会的会议论文，内容涉及计算机安全、信息安全、网络安全等方面的原理、技术、理论、应用、评估等。...

中国计算机软件专业技术资格和水平考试全真试题精解 高级程序员级 第3版

中国计算机软件专业技术资格和水平考试对于促进我国软件事业的发展以及培养软件行业人才都起着重要作用。由于每年在全国范围内都进行初级程序员级、程序员级和高级程序员级考试，因此，这项考试规模大，影响范围...

计算机网络管理与安全

本书主要讲解计算机网络管理技术和安全技术两部分内容。在网络管理技术中重点介绍基于snmp的网络设备管理技术、基于Windows的活动目录技术、局域网监控技术；在网络安全方面，侧重介绍网络信息安全和系统安全，...

Visual C++程序设计与软件技术基础

21世纪高等院校计算机系列教材:本书采用循序渐进逐步深入的方法，对VC的基础、Windows编程及面向对象程序设计方法进行了深入的讲解，同时介绍了软件工程及数据结构等计算机软件专业基础知识。...