本書是面向MySQL數(shù)據(jù)庫管理系統(tǒng)初學(xué)者的一本高質(zhì)量書籍，適用于高職院校教學(xué)應(yīng)用。MySQL因?yàn)槠浞�(wěn)定、可靠、快速、管理方便以及支持眾多操作系統(tǒng)平臺的特點(diǎn)，已經(jīng)成為世界范圍內(nèi)最流行的開源數(shù)據(jù)庫之一。本書根據(jù)就業(yè)崗位需要，針對初學(xué)者量身定做，除了理論知識外，重點(diǎn)通過實(shí)訓(xùn)練習(xí)，引領(lǐng)讀者快速學(xué)習(xí)和掌握MySQL的開發(fā)和管理技

本書內(nèi)容包括:HTML5應(yīng)用初體驗(yàn)、圖文頁面設(shè)計(jì)、CSS3.0動畫效果設(shè)計(jì)、Canvas應(yīng)用、HTML5表單應(yīng)用等。

本書共12個(gè)單元,內(nèi)容包括Linux系統(tǒng)概述、安裝Linux系統(tǒng)、圖形界面管理、終端操作、目錄及其操作、文本編輯、Linux軟件包管理、Linux文件系統(tǒng)管理、網(wǎng)絡(luò)配置管理、用戶和進(jìn)程管理、Shell程序設(shè)計(jì)、常見服務(wù)配置。每個(gè)單元的內(nèi)容分為知識入門、循序漸進(jìn)、知識拓展三部分。在每章的知識入門部分,介紹了本章相關(guān)的概念

本書共分為9章內(nèi)容,分別為:第1章,程序設(shè)計(jì)回顧及軟件設(shè)計(jì)導(dǎo)論;第2章,設(shè)計(jì)模式基礎(chǔ);第3章,創(chuàng)建型模式;第4章,結(jié)構(gòu)型模式;第5章,行為型模式;第6章,體系結(jié)構(gòu);第7章,體系結(jié)構(gòu)案例研究;第8章,體系結(jié)構(gòu)的分析與評估;第9章,流行的軟件體系結(jié)構(gòu)。

本書內(nèi)容分為12章,系統(tǒng)地講解編程與C語言基礎(chǔ)、基本數(shù)據(jù)類型、運(yùn)算符與表達(dá)式、順序結(jié)構(gòu)程序設(shè)計(jì)、選擇結(jié)構(gòu)程序設(shè)計(jì)、循環(huán)結(jié)構(gòu)程序設(shè)計(jì)、數(shù)組、函數(shù)、指針、結(jié)構(gòu)體、聯(lián)合體與枚舉、編譯預(yù)處理、文件處理等知識,設(shè)有多個(gè)實(shí)例以及階段性綜合訓(xùn)練,將理論和實(shí)踐緊密結(jié)合。

本書首先介紹了可視化的數(shù)據(jù)基礎(chǔ),明確了數(shù)據(jù)的特征等基礎(chǔ)概念,并詳細(xì)說明了可視化中數(shù)據(jù)處理的一般流程;然后介紹了高維非空間數(shù)據(jù)、層次與網(wǎng)絡(luò)數(shù)據(jù)、跨媒體數(shù)據(jù)等各種數(shù)據(jù)的可視化方法,使讀者了解到不同類型的可視化技巧;接著介紹了可視化交互過程,以及如何評估可視化的方法,使讀者能夠在動態(tài)環(huán)境中進(jìn)行可視化呈現(xiàn);最后介紹了相關(guān)可視化

本書以Python3.8為基礎(chǔ),圍繞Python3版本展開深入講解,主要內(nèi)容包括了12個(gè)單元。每個(gè)單元的內(nèi)容按照由淺入深的方式,分為知識入門、循序漸進(jìn)、知識拓展三部分。在講解過程中,穿插了大量的實(shí)例和任務(wù),幫助讀者理解和掌握各個(gè)知識。同時(shí),每個(gè)單元結(jié)尾都配以相關(guān)的習(xí)題,有助于讀者自測和練習(xí)。

本書內(nèi)容分為12個(gè)單元。內(nèi)容包括數(shù)據(jù)庫設(shè)計(jì)概述、MySQL環(huán)境配置與創(chuàng)建數(shù)據(jù)庫、MySQL表結(jié)構(gòu)的管理、表記錄的更新操作、表記錄的檢索、MySQL運(yùn)算符和系統(tǒng)函數(shù)、視圖與觸發(fā)器、存儲過程與函數(shù)、MySQL分區(qū)、MySQL查詢優(yōu)化、MySQL索引優(yōu)化與數(shù)據(jù)庫優(yōu)化以及用戶信息管理系統(tǒng)。

本書以MicrosoftOffice2010為版本，從Office2010軟件的安裝講解開始，著重介紹常用的Office組件，全書分三篇：Word2010篇、Excel2010篇、PowerPoint2010篇。在本書的每章開始均加入了本章重點(diǎn)要掌握的知識技巧，進(jìn)行點(diǎn)睛指引。書中的案例來自于實(shí)際工作中遇到的問題。本書可

作為軟件測試（包括白盒測試和黑盒測試）中的一個(gè)基本問題，測試用例自動生成尤為重要，這是因?yàn)榘缀袦y試中的許多問題（如控制流測試和數(shù)據(jù)流測試）以及黑盒測試中的一些問題都可以歸結(jié)為測試用例生成問題。解決這個(gè)問題的本質(zhì)在于約束系統(tǒng)的建立和求解。約束求解是人工智能的一個(gè)傳統(tǒng)研究方向。本書將系統(tǒng)地研究如何進(jìn)行軟件系統(tǒng)的約束建