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

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

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

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

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

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

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

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

本書主要對近年來新生的多種仿生智能計算理論與方法進行了研究，包括生物地理進化算法、螢火蟲算法、差分進化算法以及灰狼優(yōu)化算法等，并基于這些人工仿生智能計算方法對片上系統(tǒng)的可測性設(shè)計進行了研究。本書共6章，主要內(nèi)容包括片上系統(tǒng)可測性設(shè)計概述、基于生物地理進化算法的掃描鏈平衡理論與方法、基于多目標(biāo)智能算法的三維Wrapper

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