传统的软件理论研究是形式语法和形式语义分离，语义研究成果没有实用性,测试一直是软件开发的必要步骤。本书是统一研究语法与语义的成果，包括程序模型（OE），语义公理（A），语义谓词（SP），语义谓词演算，是一套全新的完整的实用的程序理论。实例证明用OESPA可以用于程序开发各步骤，程序验证及程序验证自动化（符号演算）。测试

本书是Linux入门书，旨在介绍在Linux操作系统上开发软件所需具备的知识。本书共分四部分，主要内容包括：开源软件简介；Linux操作系统基础知识介绍，包括文件系统、Linux基本命令、文本编辑器、系统管理等内容；Linux编程语言概述，内容涵盖BASHshell脚本、Perl脚本、Python脚本，以及C、C++和

本书从CINEMA4D的基础知识和工作流程开始讲起，再围绕各种模型（文字模型、卡通模型和特效模型等）的制作、材质的调节和综合应用案例进行讲解，全流程记录了每个案例的详细制作过程。本书对CINEMA4D的建模、灯光、材质和渲染这几大核心技术进行了提炼，并从实际工作的角度出发，让读者掌握不同项目的制作过程和技巧。在阅读本书

深度学习是当前人工智能的引领技术，是引发新一轮人工智能热潮的原动力。本书从模型、算法、原理等角度全面介绍深度学习技术，包括近两年最新成果。全书由三大部分组成。第一部分是机器学习和神经网络基础，包括机器学习问题、浅层机器学习、早期神经网络等；第二部分是深度学习模型及算法，包括深度生成模型、卷积网络、循环和递归网络、表示学

全书共分8章，主要内容包括计算机基础知识、Windows7操作系统、使用Word2010制作文档、使用Excel2010制作电子表格、使用PowerPoint2010制作演示文稿、计算机网络与Internet基础、数据库设计基础、常用工具软件。内容和主教材配套，具有通俗易懂、实用性、操作性强的特点。

本书共分10章，内容包括信息社会与计算技术、计算机系统与工作原理、操作系统与资源管理、计算机网络、文档制作与数字化编辑、数据库技术、多媒体技术、网页制作与信息发布、信息安全与网络维护、问题求解与算法设计。本书将理论与实践相结合，围绕教学内容精心设计了15个贴近实际的上机实验。

本书全面讲述龙芯电脑操作系统的使用方法。全书分为3篇，共13章，分别介绍龙芯电脑和龙芯桌面系统入门，龙芯电脑系统环境，文件和文件夹管理，应用商店，文字输入，上网，办公软件，光盘刻录，打印和扫描，多媒体应用软件，实用工具软件，系统配置，系统管理等内容。 本书面向龙芯电脑的用户，以实例讲解为主，旨在帮助读者快速上手龙芯电脑

本套书由码高少儿编程项目组编著，教孩子循序渐进地学习Scratch编程知识。书中以小故事为背景，并设计了角色，用丰富的人设和故事把Scratch所要表达的计算思维展现出来。每节课还搭配线上教学视频和课件，帮助孩子形成提出问题、分析问题和解决问题的逻辑思维。本套书非常适合孩子阅读和使用。全书共2篇，主题分别为宇宙大冒险和

全书共分8章，主要内容包括概论、计算机基础知识、操作系统基础、常用Office软件、多媒体技术及应用、计算机网路基础、Internet应用基础、数据库基础等。本书内容详实，结构合理，注重理论和实践相结合，具有通俗易懂、实用性、操作性强的特点。

本书旨在讨论人工智能领域未来的发展方向，即通用人工智能和奇点现象。本书涵盖了奇点理论提出以来该领域取得的一系列研究进展，剖析了实现通用人工智能所面临的问题并分析了各种实现途径。作者不仅展开了天马行空的想象，思考未来技术，比如意识上传、飞米技术等如何为通用人工智能提供可行性，还将现有的通用人工智能技术落地，在生物学领域进

本书是一本关于交互设计的入门教程。交互设计分为三大领域，分别是基于屏幕的界面设计、交互产品设计以及服务设计中的交互设计。本书主要关注基于屏幕的交互界面设计。在本书的第一部分中，介绍了交互设计的概念、发展历程、类型、流程等，以及进行交互设计研究与分析的一些基本方法。在第二部分中，讲解了制作交互界面原型，包括低保真与高保真

本习题集是依据职业院校教学要求，结合《全国计算机等级考试一级MSOffice考试大纲（2018年版）》编写而成的，全书包括计算机基础知识、计算机网络基础及应用、Windows7操作系统及其操作、Word2010的使用、Excel2010的使用和PowerPoint2010的使用6个方面的知识要点和习题，供读者练习。通过

计算机图形学和数字化快速成型技术相结合,实现了计算机建模、CAD数据直接制造模型或零件,更加快速而精密地制造出任意复杂的模型和零件。本书讲解了计算机图形学和数字化快速成型技术的基本原理和方法,着重介绍了OpenGL编程、算法、曲线曲面、仿射变换,衔接计算机图形学和数字化快速成型的关键技术——数字化快速成型的前处理,以及

本书结合实际案例介绍了PMML语言的各个组成元素，包括数据字典、挖掘模式/架构、数据转换、模型定义、输出、目标、模型解释、模型验证等元素，并介绍了表述数据挖掘模型的PMML实例文档创建流程；同时也对各种PMML元素中涉及的一些统计知识做了必要介绍。通过学习，读者可以完整地了解和掌握PMML语言，将其应用于数据挖掘建模。

网络安全是一场无休止的攻防战。十几年前，网络安全工作者们普遍关注的是木马、病毒、挂马、钓鱼等纯粹的民用安全问题。之后是移动互联网、商业网站、商业系统的安全性问题(入侵、篡改、拖库、撞库、个人信息泄露、DDoS攻击等)。而到了2015年，网络安全工作者们最爱谈论的前沿话题是“APT(高级持续性威胁)攻击”。这是一种针对性

系统集成项目管理工程师属于软考的中级资格，通过本考试的合格人员能够掌握系统集成项目管理的知识体系；具备管理系统集成项目的能力；能根据需求组织制订可行的项目管理计划；能够组织项目实施，对项目进行监控并能根据实际情况及时做出调整，系统地监督项目实施过程的绩效，保证项目在一定的约束条件下达到既定的项目目标；能分析和评估项目管

本书讲述了开发者使用JavaScript在各种Web开发场景下所需要掌握的重点知识和概念。从最基础的开发工具讲起，再到开发思维方式和前端页面开发，然后扩展到小程序开发和开发工具的混合应用，再讲解前后端交互最常用的网络协议及API设计，最后讲解了使用Node.js开发服务器端应用程序所需要掌握的核心概念。全书以数据链为线

本书采用体系化的思维来诠释和构建微服务体系，从整体上讲述微服务体系的技术、架构、框架、管理整合和规划实施等内容。本书不针对某个微服务技术或框架用法进行细节说明，而是对微服务的整体领域进行概述，同时说明如何实践、如何验证、如何落地。本书脉络清晰，内容翔实，引导读者不仅“知其然”，而且还“知其所以然”。本书适合希望从初级技

本书介绍了互联网环境下文本类型数据的分析方法，探讨了当前主流的文本挖掘技术，以及这些技术在商业环境中的具体应用。本书从算法原理和应用场景两方面分别对在线文本分析技术进行了介绍：从算法原理的角度，以数据挖掘和机器学习的相关知识为基础，介绍了以文本建模、文本分类、文本聚类、序列标注为主要任务的文本分析方法，并对当前主流的深

本书主要内容包括简单C语言程序设计、分支结构程序设计、循环结构程序设计、函数、数据类型与表达式、宏定义与预处理、数组、指针、结构体、文件和常用算法等。每章由学习目标、主要内容、重点与难点、教学案例、相关知识、知识拓展、丰富的习题和实训项目构成。本书以能力培养为目标，用案例引入知识，用任务驱动教学，按照学习者的认知规律和