傳統(tǒng)的軟件理論研究是形式語法和形式語義分離，語義研究成果沒有實用性,測試一直是軟件開發(fā)的必要步驟。本書是統(tǒng)一研究語法與語義的成果，包括程序模型（OE），語義公理（A），語義謂詞（SP），語義謂詞演算，是一套全新的完整的實用的程序理論。實例證明用OESPA可以用于程序開發(fā)各步驟，程序驗證及程序驗證自動化（符號演算）。測試

本書是Linux入門書，旨在介紹在Linux操作系統(tǒng)上開發(fā)軟件所需具備的知識。本書共分四部分，主要內(nèi)容包括：開源軟件簡介；Linux操作系統(tǒng)基礎(chǔ)知識介紹，包括文件系統(tǒng)、Linux基本命令、文本編輯器、系統(tǒng)管理等內(nèi)容；Linux編程語言概述，內(nèi)容涵蓋BASHshell腳本、Perl腳本、Python腳本，以及C、C++和

本書從CINEMA4D的基礎(chǔ)知識和工作流程開始講起，再圍繞各種模型（文字模型、卡通模型和特效模型等）的制作、材質(zhì)的調(diào)節(jié)和綜合應(yīng)用案例進(jìn)行講解，全流程記錄了每個案例的詳細(xì)制作過程。本書對CINEMA4D的建模、燈光、材質(zhì)和渲染這幾大核心技術(shù)進(jìn)行了提煉，并從實際工作的角度出發(fā)，讓讀者掌握不同項目的制作過程和技巧。在閱讀本書

深度學(xué)習(xí)是當(dāng)前人工智能的引領(lǐng)技術(shù)，是引發(fā)新一輪人工智能熱潮的原動力。本書從模型、算法、原理等角度全面介紹深度學(xué)習(xí)技術(shù)，包括近兩年最新成果。全書由三大部分組成。第一部分是機器學(xué)習(xí)和神經(jīng)網(wǎng)絡(luò)基礎(chǔ)，包括機器學(xué)習(xí)問題、淺層機器學(xué)習(xí)、早期神經(jīng)網(wǎng)絡(luò)等；第二部分是深度學(xué)習(xí)模型及算法，包括深度生成模型、卷積網(wǎng)絡(luò)、循環(huán)和遞歸網(wǎng)絡(luò)、表示學(xué)

全書共分8章，主要內(nèi)容包括計算機基礎(chǔ)知識、Windows7操作系統(tǒng)、使用Word2010制作文檔、使用Excel2010制作電子表格、使用PowerPoint2010制作演示文稿、計算機網(wǎng)絡(luò)與Internet基礎(chǔ)、數(shù)據(jù)庫設(shè)計基礎(chǔ)、常用工具軟件。內(nèi)容和主教材配套，具有通俗易懂、實用性、操作性強的特點。

本書共分10章，內(nèi)容包括信息社會與計算技術(shù)、計算機系統(tǒng)與工作原理、操作系統(tǒng)與資源管理、計算機網(wǎng)絡(luò)、文檔制作與數(shù)字化編輯、數(shù)據(jù)庫技術(shù)、多媒體技術(shù)、網(wǎng)頁制作與信息發(fā)布、信息安全與網(wǎng)絡(luò)維護(hù)、問題求解與算法設(shè)計。本書將理論與實踐相結(jié)合，圍繞教學(xué)內(nèi)容精心設(shè)計了15個貼近實際的上機實驗。

本書全面講述龍芯電腦操作系統(tǒng)的使用方法。全書分為3篇，共13章，分別介紹龍芯電腦和龍芯桌面系統(tǒng)入門，龍芯電腦系統(tǒng)環(huán)境，文件和文件夾管理，應(yīng)用商店，文字輸入，上網(wǎng)，辦公軟件，光盤刻錄，打印和掃描，多媒體應(yīng)用軟件，實用工具軟件，系統(tǒng)配置，系統(tǒng)管理等內(nèi)容。 本書面向龍芯電腦的用戶，以實例講解為主，旨在幫助讀者快速上手龍芯電腦

本套書由碼高少兒編程項目組編著，教孩子循序漸進(jìn)地學(xué)習(xí)Scratch編程知識。書中以小故事為背景，并設(shè)計了角色，用豐富的人設(shè)和故事把Scratch所要表達(dá)的計算思維展現(xiàn)出來。每節(jié)課還搭配線上教學(xué)視頻和課件，幫助孩子形成提出問題、分析問題和解決問題的邏輯思維。本套書非常適合孩子閱讀和使用。全書共2篇，主題分別為宇宙大冒險和

全書共分8章，主要內(nèi)容包括概論、計算機基礎(chǔ)知識、操作系統(tǒng)基礎(chǔ)、常用Office軟件、多媒體技術(shù)及應(yīng)用、計算機網(wǎng)路基礎(chǔ)、Internet應(yīng)用基礎(chǔ)、數(shù)據(jù)庫基礎(chǔ)等。本書內(nèi)容詳實，結(jié)構(gòu)合理，注重理論和實踐相結(jié)合，具有通俗易懂、實用性、操作性強的特點。

本書旨在討論人工智能領(lǐng)域未來的發(fā)展方向，即通用人工智能和奇點現(xiàn)象。本書涵蓋了奇點理論提出以來該領(lǐng)域取得的一系列研究進(jìn)展，剖析了實現(xiàn)通用人工智能所面臨的問題并分析了各種實現(xiàn)途徑。作者不僅展開了天馬行空的想象，思考未來技術(shù)，比如意識上傳、飛米技術(shù)等如何為通用人工智能提供可行性，還將現(xiàn)有的通用人工智能技術(shù)落地，在生物學(xué)領(lǐng)域進(jìn)

本書是一本關(guān)于交互設(shè)計的入門教程。交互設(shè)計分為三大領(lǐng)域，分別是基于屏幕的界面設(shè)計、交互產(chǎn)品設(shè)計以及服務(wù)設(shè)計中的交互設(shè)計。本書主要關(guān)注基于屏幕的交互界面設(shè)計。在本書的第一部分中，介紹了交互設(shè)計的概念、發(fā)展歷程、類型、流程等，以及進(jìn)行交互設(shè)計研究與分析的一些基本方法。在第二部分中，講解了制作交互界面原型，包括低保真與高保真

本習(xí)題集是依據(jù)職業(yè)院校教學(xué)要求，結(jié)合《全國計算機等級考試一級MSOffice考試大綱（2018年版）》編寫而成的，全書包括計算機基礎(chǔ)知識、計算機網(wǎng)絡(luò)基礎(chǔ)及應(yīng)用、Windows7操作系統(tǒng)及其操作、Word2010的使用、Excel2010的使用和PowerPoint2010的使用6個方面的知識要點和習(xí)題，供讀者練習(xí)。通過

計算機圖形學(xué)和數(shù)字化快速成型技術(shù)相結(jié)合,實現(xiàn)了計算機建模、CAD數(shù)據(jù)直接制造模型或零件,更加快速而精密地制造出任意復(fù)雜的模型和零件。本書講解了計算機圖形學(xué)和數(shù)字化快速成型技術(shù)的基本原理和方法,著重介紹了OpenGL編程、算法、曲線曲面、仿射變換,銜接計算機圖形學(xué)和數(shù)字化快速成型的關(guān)鍵技術(shù)——數(shù)字化快速成型的前處理,以及

本書結(jié)合實際案例介紹了PMML語言的各個組成元素，包括數(shù)據(jù)字典、挖掘模式/架構(gòu)、數(shù)據(jù)轉(zhuǎn)換、模型定義、輸出、目標(biāo)、模型解釋、模型驗證等元素，并介紹了表述數(shù)據(jù)挖掘模型的PMML實例文檔創(chuàng)建流程；同時也對各種PMML元素中涉及的一些統(tǒng)計知識做了必要介紹。通過學(xué)習(xí)，讀者可以完整地了解和掌握PMML語言，將其應(yīng)用于數(shù)據(jù)挖掘建模。

網(wǎng)絡(luò)安全是一場無休止的攻防戰(zhàn)。十幾年前，網(wǎng)絡(luò)安全工作者們普遍關(guān)注的是木馬、病毒、掛馬、釣魚等純粹的民用安全問題。之后是移動互聯(lián)網(wǎng)、商業(yè)網(wǎng)站、商業(yè)系統(tǒng)的安全性問題(入侵、篡改、拖庫、撞庫、個人信息泄露、DDoS攻擊等)。而到了2015年，網(wǎng)絡(luò)安全工作者們最愛談?wù)摰那把卦掝}是“APT(高級持續(xù)性威脅)攻擊”。這是一種針對性

系統(tǒng)集成項目管理工程師屬于軟考的中級資格，通過本考試的合格人員能夠掌握系統(tǒng)集成項目管理的知識體系；具備管理系統(tǒng)集成項目的能力；能根據(jù)需求組織制訂可行的項目管理計劃；能夠組織項目實施，對項目進(jìn)行監(jiān)控并能根據(jù)實際情況及時做出調(diào)整，系統(tǒng)地監(jiān)督項目實施過程的績效，保證項目在一定的約束條件下達(dá)到既定的項目目標(biāo)；能分析和評估項目管

本書講述了開發(fā)者使用JavaScript在各種Web開發(fā)場景下所需要掌握的重點知識和概念。從最基礎(chǔ)的開發(fā)工具講起，再到開發(fā)思維方式和前端頁面開發(fā)，然后擴展到小程序開發(fā)和開發(fā)工具的混合應(yīng)用，再講解前后端交互最常用的網(wǎng)絡(luò)協(xié)議及API設(shè)計，最后講解了使用Node.js開發(fā)服務(wù)器端應(yīng)用程序所需要掌握的核心概念。全書以數(shù)據(jù)鏈為線

本書采用體系化的思維來詮釋和構(gòu)建微服務(wù)體系，從整體上講述微服務(wù)體系的技術(shù)、架構(gòu)、框架、管理整合和規(guī)劃實施等內(nèi)容。本書不針對某個微服務(wù)技術(shù)或框架用法進(jìn)行細(xì)節(jié)說明，而是對微服務(wù)的整體領(lǐng)域進(jìn)行概述，同時說明如何實踐、如何驗證、如何落地。本書脈絡(luò)清晰，內(nèi)容翔實，引導(dǎo)讀者不僅“知其然”，而且還“知其所以然”。本書適合希望從初級技

本書介紹了互聯(lián)網(wǎng)環(huán)境下文本類型數(shù)據(jù)的分析方法，探討了當(dāng)前主流的文本挖掘技術(shù)，以及這些技術(shù)在商業(yè)環(huán)境中的具體應(yīng)用。本書從算法原理和應(yīng)用場景兩方面分別對在線文本分析技術(shù)進(jìn)行了介紹：從算法原理的角度，以數(shù)據(jù)挖掘和機器學(xué)習(xí)的相關(guān)知識為基礎(chǔ)，介紹了以文本建模、文本分類、文本聚類、序列標(biāo)注為主要任務(wù)的文本分析方法，并對當(dāng)前主流的深

本書主要內(nèi)容包括簡單C語言程序設(shè)計、分支結(jié)構(gòu)程序設(shè)計、循環(huán)結(jié)構(gòu)程序設(shè)計、函數(shù)、數(shù)據(jù)類型與表達(dá)式、宏定義與預(yù)處理、數(shù)組、指針、結(jié)構(gòu)體、文件和常用算法等。每章由學(xué)習(xí)目標(biāo)、主要內(nèi)容、重點與難點、教學(xué)案例、相關(guān)知識、知識拓展、豐富的習(xí)題和實訓(xùn)項目構(gòu)成。本書以能力培養(yǎng)為目標(biāo)，用案例引入知識，用任務(wù)驅(qū)動教學(xué)，按照學(xué)習(xí)者的認(rèn)知規(guī)律和