本書主題為基于最弱前置條件計(jì)算的軟件測試及錯(cuò)誤定位分析方法研究。主要包括以下幾個(gè)方面的內(nèi)容：一、首先對(duì)基于程序分析的軟件測試及錯(cuò)誤定位研究的總體情況進(jìn)行分析。回顧軟件測試技術(shù)近幾十年的發(fā)展歷程，分析該技術(shù)的重要地位、目前的現(xiàn)狀及面臨的主要困境。分析作為軟件質(zhì)量維護(hù)重要環(huán)節(jié)的軟件修復(fù)，并進(jìn)一步細(xì)化軟件修復(fù)的重要步驟

本書主要面向應(yīng)用型大學(xué)計(jì)算機(jī)類專業(yè)學(xué)生，從程序員的視角出發(fā)，圍繞可執(zhí)行文件的生成、加載和執(zhí)行，重點(diǎn)介紹如何利用計(jì)算機(jī)系統(tǒng)相關(guān)知識(shí)來編寫更有效的程序。全書將每個(gè)環(huán)節(jié)涉及的硬件和軟件的基本概念關(guān)聯(lián)起來，幫助學(xué)生建立完整的層次框架，從而加強(qiáng)系統(tǒng)觀。本書共分8章，涵蓋計(jì)算機(jī)系統(tǒng)基礎(chǔ)、高級(jí)語言程序、數(shù)據(jù)的機(jī)器級(jí)表示、數(shù)據(jù)的基本運(yùn)

本教材落實(shí)立德樹人的根本任務(wù),通過理論知識(shí)學(xué)習(xí)、基礎(chǔ)技能訓(xùn)練和綜合應(yīng)用實(shí)踐,培養(yǎng)中等職業(yè)學(xué)校學(xué)生符合時(shí)代要求的信息素養(yǎng)和適應(yīng)職業(yè)發(fā)展需要的信息能力。課程通過多樣化的教學(xué)形式,幫助學(xué)生認(rèn)識(shí)信息技術(shù)對(duì)當(dāng)今人類生產(chǎn)、生活的重要作用;理解信息技術(shù)、信息社會(huì)等概念和信息社會(huì)特征與規(guī)范;掌握信息技術(shù)設(shè)備與系統(tǒng)操作、網(wǎng)絡(luò)應(yīng)用基礎(chǔ)、圖

本書通過具體示例演示大規(guī)模C++開發(fā)的基本設(shè)計(jì)設(shè)想，為各種規(guī)模的項(xiàng)目奠定基礎(chǔ)，并演示成功進(jìn)行大規(guī)模實(shí)際開發(fā)所需的過程、方法、技術(shù)和工具。通過閱讀本書，讀者可以逐步改變自己的設(shè)計(jì)和開發(fā)方法。本書旨在使用軟件從業(yè)人員熟悉的C++構(gòu)件來解決現(xiàn)實(shí)問題，同時(shí)確定（并激發(fā)）現(xiàn)代C++替代方案。作者利用超過30年的構(gòu)建大規(guī)模、關(guān)鍵任

中望?3D是一款專門基于Windows系統(tǒng)開發(fā)的三維CAD軟件，該軟件以參數(shù)化特征造型為基礎(chǔ)，具有功能強(qiáng)大、易學(xué)易用等特點(diǎn)。本書系統(tǒng)地介紹了中望?3D2021?中文版軟件在草圖線框繪制、三維造型建模、裝配體動(dòng)畫設(shè)計(jì)、工程圖設(shè)計(jì)等方面的應(yīng)用。本書的特點(diǎn)是將軟件基本操作與產(chǎn)品設(shè)計(jì)相結(jié)合，通過實(shí)例介紹常用工具的功能及屬性設(shè)置

本書為職業(yè)本科計(jì)算機(jī)類專業(yè)基礎(chǔ)課MOOC+SPOC系列教材。 本書圍繞職業(yè)本科教育計(jì)算機(jī)類專業(yè)人才培養(yǎng)目標(biāo)，結(jié)合“Python程序設(shè)計(jì)”課程定位及學(xué)生認(rèn)知特點(diǎn)，從實(shí)踐的角度出發(fā)，全面介紹Python語言的環(huán)境搭建、基本數(shù)據(jù)處理、流程控制、批量數(shù)據(jù)處理、文本數(shù)據(jù)處理、函數(shù)應(yīng)用、模塊化編程、文件讀寫操作和面向?qū)ο缶幊痰葍?nèi)容

本實(shí)驗(yàn)指導(dǎo)結(jié)合了實(shí)際工程案例，基于新華三的云教學(xué)領(lǐng)航基礎(chǔ)服務(wù)平臺(tái)包含實(shí)驗(yàn)機(jī)架管理基礎(chǔ)功能、用戶中心功能、實(shí)驗(yàn)報(bào)告功能、云端連接功能，實(shí)訓(xùn)教學(xué)與實(shí)驗(yàn)教學(xué)管理功能等。基于新華三的計(jì)算機(jī)網(wǎng)絡(luò)實(shí)驗(yàn)室已于2020年7月建設(shè)完成，目前已使用3年，實(shí)驗(yàn)室里面的設(shè)備共9組，教師機(jī)1組，學(xué)生機(jī)8組。網(wǎng)絡(luò)實(shí)驗(yàn)室方案從邏輯上可分為實(shí)驗(yàn)臺(tái)區(qū)域

Cinema4D(C4D)是視頻設(shè)計(jì)師的B備工具。本書全面闡述了C4D的各種建模方法，并用案例介紹了產(chǎn)品建模技術(shù)。通過本書可以讓讀者全方位了解C4D。 本書共10章，內(nèi)容包括進(jìn)入C4D的世界、初識(shí)C4D、C4D基本操作、C4D工程文件管理、C4D參數(shù)化對(duì)象、NURBS建模、造型工具組、變形工具組、對(duì)象和樣條的編輯操作以

本書是一本面向應(yīng)用的計(jì)算機(jī)組成原理教程。全書共9章：第1章從計(jì)算和編碼兩方面介紹現(xiàn)代計(jì)算機(jī)的處理對(duì)象二值符號(hào)；第2章引導(dǎo)讀者建立計(jì)算機(jī)系統(tǒng)的整體框架；第3章介紹計(jì)算機(jī)的存儲(chǔ)系統(tǒng)；第4章介紹I/O接口與I/O過程控制；第5章介紹計(jì)算機(jī)核心部件控制器的工作原理和基本設(shè)計(jì)方法；第6章在架構(gòu)層面介紹處理器中的并行技術(shù)；第7章介

本書以組網(wǎng)、建網(wǎng)、管網(wǎng)和用網(wǎng)為出發(fā)點(diǎn)，循序漸進(jìn)地介紹了網(wǎng)絡(luò)基礎(chǔ)知識(shí)、TCP/IP、局域網(wǎng)組網(wǎng)技術(shù)、Internet應(yīng)用和Internet網(wǎng)絡(luò)服務(wù)等內(nèi)容。全書共分三篇：TCP/IP網(wǎng)絡(luò)基礎(chǔ)、局域網(wǎng)基礎(chǔ)與應(yīng)用、Internet應(yīng)用。其中，TCP/IP網(wǎng)絡(luò)基礎(chǔ)篇包括4章內(nèi)容：計(jì)算機(jī)網(wǎng)絡(luò)概論、計(jì)算機(jī)網(wǎng)絡(luò)體系結(jié)構(gòu)、數(shù)據(jù)通信基礎(chǔ)、