形式語言與自動機理論是計算機類專業(yè)的一門重要課程。本書是作者結合其近40年來在大學講授該門課程的經(jīng)驗和體會，選擇和組織有關內容撰寫而成。基于計算機問題求解的需要討論正則語言和上下文無關語言的文法、識別模型及其性質，圖靈機的基本知識。其內容特點是抽象和形式化，既有嚴格的理論證明，又具有很強的構造性。敘述中特別注意引導讀者

本書面向初學Python語言的讀者詳細地介紹了Python的基礎知識，以及Python第三方庫的安裝和卸載方法，同時，全面且系統(tǒng)地講解了Python語言的語法和程序設計方法。本書內容豐富，案例實用。全書共12章，主要包括Python簡介以及環(huán)境配置、Python基本語法、基本數(shù)據(jù)類型、程序控制結構、海龜繪圖、函數(shù)、組合

Web前端設計是為適應信息時代發(fā)展應運而生的多領域交叉設計方向，對設計師而言，Web跨平臺、跨終端、智能化的新特征，對內容策略、交互方式、用戶體驗設計都提出了更高的要求，同時了解前端技術對設計師提升自身創(chuàng)新能力也變得越發(fā)重要。因此，本書內容整體上包含設計和技術兩部分，并在內容編排和設計上充分體現(xiàn)設計和技術的有機融合。在

本書共分為11章，將從源碼角度入手，由淺入深分析Vue3框架的核心邏輯。首先通過極簡demo引出Vue3框架核心思想，其次結合源碼分析Vue3框架核心邏輯的實現(xiàn)原理，后介紹Vue3框架常用命令、組件等底層實現(xiàn)邏輯。幫助讀者深入理解Vue3框架的內部實現(xiàn)原理與運行邏輯，理解Vue3框架語法，揭開藏在表面的內容，讓開發(fā)者能

本書以數(shù)據(jù)工程的基本理論為基礎，以數(shù)據(jù)工程建設的流程為框架，介紹了數(shù)據(jù)工程概論、數(shù)據(jù)規(guī)劃設計、數(shù)據(jù)模型構建、數(shù)據(jù)采集與數(shù)據(jù)處理、數(shù)據(jù)存儲與數(shù)據(jù)管理、數(shù)據(jù)分析與數(shù)據(jù)挖掘、數(shù)據(jù)共享應用、數(shù)據(jù)標準規(guī)范、數(shù)據(jù)工程實踐案例等內容。其具體內容為：第1章重點介紹數(shù)據(jù)工程涉及的概念、體系架構、國內外建設發(fā)展情況；第2章到第8章詳細介紹

《UML統(tǒng)一建模實用教程（第2版）（微課版）》是一本關于UML語言基礎和建模方法的實用教程，以真實系統(tǒng)的需求分析、設計為背景，詳細介紹了UML語言的構造塊、規(guī)則、公共機制和建模方法。同時，以網(wǎng)上書店系統(tǒng)建模、氣象監(jiān)測系統(tǒng)建模和電梯系統(tǒng)建模為實例，詳細演示了領域建模、用例建模和動態(tài)建模的全過程，并結合面向對象分析設計技術

本教材通過先例子在介紹命令方式來講解AutoCAD2015繪制機械圖形的基本思路和方法。全書共分十個項目，主要內容包括AutoCAD2015基本知識和操作、二維圖形的繪制及編輯、文字書寫及尺寸標注、零件圖及裝配圖的繪制方法和技巧、三維實體模型的創(chuàng)建、圖形輸出、制圖員國家職業(yè)資格標準及考試模擬題等。本教材主要通過案例講命

電子硬件工程師入職圖解手冊 硬件知識篇

互聯(lián)網(wǎng)靈境貫通了整個世界，人類處于前所未有的相互鏈接狀態(tài)。互聯(lián)網(wǎng)既是國家治理的工具，也是國家治理的對象。國家既依賴互聯(lián)網(wǎng)強化自身能力，也時刻面對日新月異的信息技術的挑戰(zhàn)。本書以美國為鏡像，從認證這一國家基礎能力切入，立足中國，描摹了信息環(huán)境的發(fā)展、治理與安全及其對現(xiàn)實世界的影響，梳理了19932022三十年中國互

如何從短視頻剪輯新手變高手？本書主要講解短視頻剪輯的各種方法和技巧，幫助讀者快速上手短視頻剪輯，創(chuàng)作出自己的作品。本書共5章，包括認識剪輯、實用剪輯、后期美化、創(chuàng)意效果和綜合案例等內容，收錄了短視頻剪輯的60多個常見方法和技巧。每個方法和技巧都配有詳細的圖文操作說明，幫助讀者深入了解和高效掌握短視頻剪輯。本書內容從易到