本書圍繞計(jì)算機(jī)代碼的驗(yàn)證工作，以代碼驗(yàn)證的背景和歷史發(fā)展為切入點(diǎn)，從微分方程出發(fā)，提出了一個(gè)逐步驗(yàn)證代碼精度階的方法和流程。重點(diǎn)討論了在驗(yàn)證過程中如何設(shè)計(jì)一套具有覆蓋性的測試相關(guān)問題。詳細(xì)介紹了精度階驗(yàn)證的有關(guān)內(nèi)容，包括代碼驗(yàn)證和解驗(yàn)證、代碼確認(rèn)的區(qū)別，人造精確解方法，并給出了精度階驗(yàn)證的實(shí)例。

本書介紹了SSL、TLS和DTLS協(xié)議的基礎(chǔ)理論和工程化實(shí)踐經(jīng)驗(yàn)，深入地論述了涉及的密碼知識以及在互聯(lián)網(wǎng)應(yīng)用過程中遇到的實(shí)際問題，包括協(xié)議結(jié)構(gòu)、工作原理、安全性分析及其面臨的攻擊，公鑰證書管理及其常見問題與易犯錯誤等內(nèi)容。本書以大量的現(xiàn)實(shí)應(yīng)用問題作為牽引，特別是對SSL、TLS和DTLS在真實(shí)網(wǎng)絡(luò)環(huán)境下的實(shí)際配置與部署

本書共分兩部分，每部分又分3篇。第一部分“基礎(chǔ)篇”主要介紹了虛擬機(jī)的創(chuàng)建以及OracleRAC環(huán)境的配置與建設(shè)；“高級篇”主要介紹如何安全、有效地對RAC集群環(huán)境和數(shù)據(jù)庫進(jìn)行省級維護(hù)；“附錄篇”補(bǔ)充了與前兩篇相關(guān)且緊密聯(lián)系的內(nèi)容，使平臺建設(shè)與維護(hù)方面的案例更加豐富和完善。第二部分“基礎(chǔ)環(huán)境搭建”主要介紹DG服務(wù)器基礎(chǔ)環(huán)

本書是編者多年教學(xué)經(jīng)驗(yàn)的結(jié)晶，在全面介紹Java編程原理和基本概念的基礎(chǔ)上，重點(diǎn)培養(yǎng)讀者面向?qū)ο蟮乃枷爰袄�用面向�(qū)ο笏枷虢鉀Q實(shí)際問題的能力。 本書以培養(yǎng)學(xué)生的職業(yè)能力為核心，以工作實(shí)踐為主線，面向企業(yè)技術(shù)工程師崗位能力模型設(shè)置教材內(nèi)容，建立以實(shí)際工作過程為框架的職業(yè)教育課程結(jié)構(gòu)。 本書可作為高等院校計(jì)算機(jī)專業(yè)及理工

書中闡述了網(wǎng)絡(luò)物理和社會系統(tǒng)（CyberPhysicalandSocialSystems,CPSS）中大數(shù)據(jù)與物聯(lián)網(wǎng)的聯(lián)系和遇到的問題，介紹了情景意識和決策支持的分析模型，描述了信息的表征和表示方式，給出了融合方法和數(shù)據(jù)處理策略，并提出了基于FIAT的復(fù)雜環(huán)境決策支持�；�于分析和信息融合的核心概念，本書還介紹了通過FI

本書采用“項(xiàng)目導(dǎo)入、項(xiàng)目啟發(fā)”的方式進(jìn)行內(nèi)容的組織，是一本以項(xiàng)目導(dǎo)入、情景模擬的方式，進(jìn)行知識點(diǎn)講解和程序設(shè)計(jì)能力培養(yǎng)的教材。書中主要內(nèi)容有Java的數(shù)據(jù)類型、程序結(jié)構(gòu)的設(shè)計(jì)、面向?qū)ο箢惖脑O(shè)計(jì)及繼承和多態(tài)的實(shí)現(xiàn)等基本理論知識，還包括Java中GUI的設(shè)計(jì)、Java中文件的操作、Java中線程的使用及數(shù)據(jù)庫鏈接等一些非常

專業(yè)教學(xué)標(biāo)準(zhǔn)是政府規(guī)范職業(yè)學(xué)校專業(yè)建設(shè)、專業(yè)教學(xué)，以及進(jìn)行專業(yè)評估的指導(dǎo)性文件。它具體規(guī)定了專業(yè)培養(yǎng)目標(biāo)、職業(yè)領(lǐng)域、人才培養(yǎng)規(guī)格、職業(yè)能力要求、課程結(jié)構(gòu)、課程標(biāo)準(zhǔn)、技能考核項(xiàng)目與要求、教學(xué)安排和教學(xué)條件等內(nèi)容。它既是學(xué)校開設(shè)專業(yè)、設(shè)置課程、組織教學(xué)的依據(jù)，也可作為學(xué)生選擇專業(yè)和用人單位招聘錄用畢業(yè)生的參考。

本書詳細(xì)介紹了lllustrator的平面設(shè)計(jì)與應(yīng)用技法。全書共10章內(nèi)容，涵蓋了lustrator入門知識，圖形、路徑、文本、圖表的創(chuàng)建與編輯以及在這一過程中所使用的工具，對象的編輯與排列，描邊與填色，蒙版與圖層的應(yīng)用，圖形樣式與效果等內(nèi)容及等各個(gè)知識點(diǎn)的講授，還附上了有針對性的案例，幫助讀者更好理解所教授內(nèi)容，培養(yǎng)

本書是“十三五”職業(yè)教育國家規(guī)劃教材。本書根據(jù)教育部2021年頒布的《高等職業(yè)教育專科信息技術(shù)課程標(biāo)準(zhǔn)》編寫而成，旨在培養(yǎng)職業(yè)院校學(xué)生的綜合信息素養(yǎng)，拓展專業(yè)視野，提升數(shù)字化創(chuàng)新與發(fā)展能力，促進(jìn)專業(yè)技術(shù)與信息技術(shù)融合，并樹立正確的信息社會價(jià)值觀和責(zé)任感。本書精心選擇教學(xué)案例、有效設(shè)計(jì)教學(xué)形式，全書共分6個(gè)模塊，主要內(nèi)容

本書介紹了使用Animate軟件進(jìn)行動畫制作的流程，內(nèi)容包括：AnimateCC2020基礎(chǔ)知識、圖形和文本的繪制與編輯、對象的編輯與操作、制作動畫、元件與庫、圖層與高級動畫、動作腳本應(yīng)用基礎(chǔ)、發(fā)布設(shè)置與導(dǎo)出等。