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

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

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

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

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

本書(shū)分為WPSOffice案例應(yīng)用、浙江省計(jì)算機(jī)等級(jí)考試(二級(jí)WPS辦公軟件高級(jí)應(yīng)用技術(shù))考證實(shí)訓(xùn)兩篇，包含中國(guó)菜演示文稿母版制作、演示文稿首頁(yè)設(shè)計(jì)、函數(shù)進(jìn)階使用、學(xué)生信息管理、二級(jí)WPS表格實(shí)訓(xùn)等任務(wù)。

本書(shū)在編寫(xiě)體系上做了精心設(shè)計(jì)，按照理實(shí)一體化教學(xué)思路進(jìn)行編排。本書(shū)結(jié)合學(xué)科特點(diǎn)，推進(jìn)課程思政建設(shè)。每個(gè)項(xiàng)目設(shè)置”思政課堂”模塊，在培養(yǎng)學(xué)生信息技術(shù)能力的同時(shí)，著力引導(dǎo)學(xué)生樹(shù)立正確的職業(yè)道德觀，增強(qiáng)愛(ài)崗敬業(yè)的理念，提升綜合素養(yǎng)。本書(shū)共有8個(gè)項(xiàng)目，內(nèi)容包括信息素養(yǎng)與安全、認(rèn)識(shí)Windows10操作系統(tǒng)、計(jì)算機(jī)網(wǎng)絡(luò)基礎(chǔ)、Wo

本書(shū)由國(guó)家工業(yè)信息安全發(fā)展研究中心組織編寫(xiě)，是反映全球網(wǎng)絡(luò)空間領(lǐng)域最新發(fā)展情況的綜合性報(bào)告，全書(shū)分戰(zhàn)略政策篇、組織機(jī)構(gòu)與作戰(zhàn)力量建設(shè)篇、網(wǎng)絡(luò)安全技術(shù)篇、網(wǎng)絡(luò)安全演習(xí)篇，主要跟蹤2022年度美國(guó)、歐盟、英國(guó)、俄羅斯、日本等國(guó)家和組織在本領(lǐng)域內(nèi)的戰(zhàn)略政策、組織機(jī)構(gòu)與作戰(zhàn)力量、網(wǎng)絡(luò)安全演習(xí)及網(wǎng)絡(luò)安全技術(shù)發(fā)展等方面的最新動(dòng)向，

本書(shū)針對(duì)零基礎(chǔ)的電子商務(wù)及相關(guān)專業(yè)的學(xué)生編寫(xiě)開(kāi)發(fā)，幫助同學(xué)們快速掌握Photoshop軟件在圖像處理中的應(yīng)用。教材以Photoshop軟件的各種重要應(yīng)用工具為主線，對(duì)每個(gè)工具的適用范圍以及使用方法進(jìn)行詳細(xì)介紹，讓學(xué)生可以快速地熟悉軟件的各種工具的功能使用和制作思路。主要內(nèi)容包括：基礎(chǔ)知識(shí)、基礎(chǔ)操作、繪制和編輯選區(qū)、繪制

本書(shū)全面、系統(tǒng)地介紹Ilustrator的基本操作方法和平面設(shè)計(jì)技巧，具體內(nèi)容包括Ilustrator基礎(chǔ)知識(shí)、繪制與編輯圖形、填充與描邊圖形、編輯與管理對(duì)象、創(chuàng)建與美化文字、應(yīng)用圖層與蒙版、應(yīng)用畫(huà)筆、效果與樣式、應(yīng)用符號(hào)與圖表、文件的輸入與輸出和綜合設(shè)計(jì)實(shí)訓(xùn)。本書(shū)在內(nèi)容編排上通過(guò)“預(yù)備知識(shí)”講解矢量圖形制作和設(shè)計(jì)的基