本書圍繞計(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

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

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

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

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

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