本书围绕计算机代码的验证工作，以代码验证的背景和历史发展为切入点，从微分方程出发，提出了一个逐步验证代码精度阶的方法和流程。重点讨论了在验证过程中如何设计一套具有覆盖性的测试相关问题。详细介绍了精度阶验证的有关内容，包括代码验证和解验证、代码确认的区别，人造精确解方法，并给出了精度阶验证的实例。

本书介绍了SSL、TLS和DTLS协议的基础理论和工程化实践经验，深入地论述了涉及的密码知识以及在互联网应用过程中遇到的实际问题，包括协议结构、工作原理、安全性分析及其面临的攻击，公钥证书管理及其常见问题与易犯错误等内容。本书以大量的现实应用问题作为牵引，特别是对SSL、TLS和DTLS在真实网络环境下的实际配置与部署

本书共分两部分，每部分又分3篇。第一部分“基础篇”主要介绍了虚拟机的创建以及OracleRAC环境的配置与建设；“高级篇”主要介绍如何安全、有效地对RAC集群环境和数据库进行省级维护；“附录篇”补充了与前两篇相关且紧密联系的内容，使平台建设与维护方面的案例更加丰富和完善。第二部分“基础环境搭建”主要介绍DG服务器基础环

本书是编者多年教学经验的结晶，在全面介绍Java编程原理和基本概念的基础上，重点培养读者面向对象的思想及利用面向对象思想解决实际问题的能力。 本书以培养学生的职业能力为核心，以工作实践为主线，面向企业技术工程师岗位能力模型设置教材内容，建立以实际工作过程为框架的职业教育课程结构。 本书可作为高等院校计算机专业及理工

书中阐述了网络物理和社会系统（CyberPhysicalandSocialSystems,CPSS）中大数据与物联网的联系和遇到的问题，介绍了情景意识和决策支持的分析模型，描述了信息的表征和表示方式，给出了融合方法和数据处理策略，并提出了基于FIAT的复杂环境决策支持。基于分析和信息融合的核心概念，本书还介绍了通过FI

该选题作者是资深的高级程序工程师，精通Java相关知识，非常了解初学者的难点和痛点，全书在知识难度设置上循序渐进，讲解方式由浅入深。本书针对的是零基础的读者，循序渐进地讲解了使用Java语言的核心知识，并通过具体实例的实现过程讲解了各个知识点的使用方法和流程。包括环境搭建、基础语法、运算符和表达式、流程控制语句、函数、

本书共六章，主要内容包括：互联网大数据时代的概述、互联网背景下高校网络构建需求分析、互联网时代背景下高校学习中心网络系统构建基础、互联网时代背景下高校网络学习中心系统集成构建、互联网背景下高校网络学习中心综合布线系统设计与实施、互联网时代背景下高校学习中心网络管理系统架构。

本书共九章，内容包括：云计算概述、云计算技术分析、云计算数据中心与应用平台、大数据概述、大数据技术分析、大数据展现、云计算与大数据的关系、云计算与大数据的安全管理、云计算与大数据的实践应用。

本书采用“项目导入、项目启发”的方式进行内容的组织，是一本以项目导入、情景模拟的方式，进行知识点讲解和程序设计能力培养的教材。书中主要内容有Java的数据类型、程序结构的设计、面向对象类的设计及继承和多态的实现等基本理论知识，还包括Java中GUI的设计、Java中文件的操作、Java中线程的使用及数据库链接等一些非常

专业教学标准是政府规范职业学校专业建设、专业教学，以及进行专业评估的指导性文件。它具体规定了专业培养目标、职业领域、人才培养规格、职业能力要求、课程结构、课程标准、技能考核项目与要求、教学安排和教学条件等内容。它既是学校开设专业、设置课程、组织教学的依据，也可作为学生选择专业和用人单位招聘录用毕业生的参考。