本書基于SQLServer2019,系統(tǒng)全面地闡述了數(shù)據(jù)庫系統(tǒng)的基礎理論、基本技術和基本方法,以培養(yǎng)數(shù)據(jù)庫應用能力為主要目標,重點關注數(shù)據(jù)庫系統(tǒng)的基礎性和應用性。全書以圖書借閱管理系統(tǒng)為主線,將數(shù)據(jù)庫相關基礎理論和應用實踐有機結合。全書包括緒論、關系數(shù)據(jù)庫系統(tǒng)、關系數(shù)據(jù)庫標準語言SQL、數(shù)據(jù)庫安全性與完整性、關系數(shù)據(jù)庫

本書在選材與編排上,貼近當前普通高等院�！皵�(shù)據(jù)結構”課程的現(xiàn)狀和發(fā)展趨勢,內(nèi)容難度適度,突出實用性和應用性。在內(nèi)容選取與結構上,本書并未對各種數(shù)據(jù)結構面面俱到,而是通過分類和講解典型結構,使讀者形成對數(shù)據(jù)結構的宏觀認識。根據(jù)內(nèi)容側重,本書共分為8章,分別為緒論、線性表、棧和隊列、串和數(shù)組、樹形結構、圖、內(nèi)排序和查找。

本書共分4章:第1章介紹不帶類型的λ-演算、簡單類型的λ-演算和F系統(tǒng),主要討論語法和β-歸約語義;第2章介紹Coq,重點是從函數(shù)式程序設計的角度展開討論,內(nèi)容涉及自然數(shù)函數(shù)、列表、多態(tài)數(shù)據(jù)結構、依賴類型、高階函數(shù)、柯里-霍華德關聯(lián)以及余歸納類型;第3章介紹OCaml這門通用程序設計語言,除了基本的程序設計概念,還討論

本書以提高計算機應用能力為主線,以案例導向、融合醫(yī)學、面向應用、注重實用為特色,強調(diào)計算機基本原理、基礎知識、操作技能三者的有機結合。全書共6個部分,包括計算機基礎知識、計算機系統(tǒng)、文字處理軟件Word、電子表格處理軟件Excel、演示文稿制作軟件PowerPoint、計算機網(wǎng)絡基礎知識與應用。本教材力求做到語言簡潔,

本書根據(jù)教育部大學計算機課程教學指導委員會新制定的《關于進一步加強高等學校計算機基礎教學的意見暨計算機基礎課程教學基本要求》編寫而成,本書主要內(nèi)容包括信息化與信息技術、信息安全、計算機基礎知識、計算機網(wǎng)絡應用技術、多媒體應用技術、操作系統(tǒng)、文字處理軟件、電子表格軟件、演示文稿軟件及新一代信息技術(物聯(lián)網(wǎng)、云計算、大數(shù)據(jù)

本書共兩個部分。第一部分是上機指導,包括從零開始--了解計算機、打造精美文檔--文檔制作、高效管理數(shù)據(jù)--電子表格制作、提升說服力--演示文稿制作、快速獲取信息--信息檢索、感受新興技術--新一代信息技術概述、提升個人素質--信息素養(yǎng)與社會責任7個方面的內(nèi)容。讀者可以按照《信息技術基礎(Windows10+WPSOff

本書詳細地介紹了軟件測試的相關知識。全書共9章,第1章主要講解軟件測試的基礎知識,第2-3章主要講解黑盒測試方法與白盒測試方法,第4-7章主要講解接口測試、性能測試、Web自動化測試和App測試的相關知識,第8-9章通過一個綜合項目--安享智慧理財,完整呈現(xiàn)軟件測試的全過程,幫助讀者鞏固前面所學的相關知識。

本書以《全國計算機等級考試二級Python語言程序設計考試大綱(2022版)》為基礎，以計算機語言類初學者為教學對象，以Python3.x為背景，循序漸進地介紹了Python語言的基本知識、基礎語法、數(shù)據(jù)結構、控制結構和基本應用等內(nèi)容。本書共分為12章，主要內(nèi)容有Python概述、數(shù)據(jù)結構、運算符與表達式、流程控制結構

《Web前端開發(fā)試題分析與解答》（下冊）針對《Web前端開發(fā)職業(yè)技能等級標準》（中級和高級）內(nèi)容進行編寫，是促進Web前端開發(fā)職業(yè)技能等級證書試點院校教學的工具性教材。本書匯集了2019年12月、2020年12月及2021年12月的Web前端開發(fā)中級和高級真題試卷，并分別對理論卷和實操卷進行真題解析，包括試卷結構、分值

數(shù)據(jù)科學如今已經(jīng)深入到我們生活中的各個領域，行業(yè)從業(yè)者都應該懂得一些數(shù)據(jù)科學的知識。那么如何能夠快速掌握這門流行的技術呢？通過系統(tǒng)地學習本書和動手實踐，可以滿足這個需求。本書共六個部分，用通俗的語言和生動的例子為讀者展現(xiàn)數(shù)據(jù)科學的魅力。第一部分介紹了數(shù)據(jù)科學的基本知識，讓讀者可以輕松了解它的流程與原理。第二部分，通過幾