Thisbooksystematicallypresentsthemostrecentprogressinstabilityandcontrolofimpulsivesystemswithdelays.Impulsivesystemshaverecentlyattractedcontinuedhighresearchi

本書介紹了高效的軟件設計和編程方法，把精益需求分析、領域驅動設計、面向對象、契約式設計、測試驅動開發(fā)、意圖導向編程及演進式設計等編程實踐融會貫通，深入洞察軟件設計本質，展示了一個清晰的程序員編程能力提升路線圖。全書共十二章，按照程序員技能提升的順序，分為品味篇、專業(yè)篇和高效篇。本書適合各種編程語言的一線開發(fā)者、大學計算

本教材共分11章，從基本的操作系統(tǒng)的認識逐步深入講解操作系統(tǒng)的四大功能，即處理機管理功能、存儲管理功能、設備管理功能和文件管理功能。章節(jié)分布第1章是操作系統(tǒng)概述，第2章是進程與線程，第3章是進程的同步與互斥，第4章是處理器管理，第5章是死鎖，第6章是存儲管理，第7章虛擬存儲，第8章是設備管理，第9章是文件管理，第10章

本書以OpenCV-Python（thePythonAPIforOpenCV）為工具，以案例為載體，系統(tǒng)介紹了計算機視覺從入門到深度學習的相關知識點。本書從基礎知識、基礎案例、機器學習、深度學習和人臉識別5個方面對計算機視覺的相關知識點進行了全面、系統(tǒng)、深入的介紹。書中共介紹了40余個經典的計算機視覺案例，其中既有圖像

本書全面系統(tǒng)地介紹了Dreamweaver的操作方法和網頁制作技巧，內容包括初識Dreamweaver、文本、圖像和多媒體、超鏈接、表格、ASP、CSS、模板和庫、表單、行為、網頁代碼和綜合設計實訓等。本書內容主要以課堂案例為主線，每個課堂案例以圖文演示的方式給出了詳細的操作步驟。讀者通過課堂案例的學習，可以快速熟悉軟

本書以實際應用為寫作目的，圍繞WPSOffice2019軟件展開介紹，內容講解遵循由淺入深、從理論到實踐的原則。全書共12章，依次介紹了文檔的常見操作、圖文混排的方法、文檔中表格的應用、長文檔的編排、電子報表的創(chuàng)建、公式與函數的應用、數據的分析管理、圖表的應用、演示

本書按照Web前端工程師崗位技能要求，以真實項目組織內容，由淺入深地講解了如何利用HTML5和CSS3等網頁制作技術制作網站。本書共分為7個項目，項目1為Web前端基礎的相關介紹；項目2和項目3包含HTML和CSS的基礎知識、常用標簽、CSS基礎語法及選擇器等內容；項目4和項目5介紹了HTML5語義化標簽、CSS3的新

本書以拉格朗日力學理論與自動定理證明思想為指導，系統(tǒng)深入地研究了泛函變分、拉格朗日力學和機器人動力學之間的天然關系，從而構建了以泛函變分的形式化為形式化數學基礎、以拉格朗日力學的形式化為中心、以機器人動力學形式化分析為應用依托的定理證明體系。內容涵蓋了自動定理證明、泛函變分、拉格朗日力學、形式化驗證等領域�！禕R》全書

本書按照新時期“雙一流”學科建設課程的教學大綱要求編寫而成，在簡要介紹C++程序設計語言和測量平差數學模型的基礎上，討論各種平差方法的程序設計原理、編程思路、編程技巧，并給出完整的程序代碼和應用算例。本書以自編能夠實現水準網、平面控制網、GNSS向量網、攝影測量數據處理及點云數據處理等通用平差計算程序為主線，完整、系統(tǒng)

本書全面系統(tǒng)地介紹了3dsMax2020的基本操作方法和效果圖的制作方法。全書共9章，內容包括基礎知識和基本操作、基本幾何體的創(chuàng)建、二維圖形的創(chuàng)建、三維圖形的創(chuàng)建、高級建模、復合對象的創(chuàng)建、材質和紋理貼圖、攝像機和燈光環(huán)境特效的使用、綜合實訓案例現代客餐廳燈。本書將案例融入軟件功能的介紹過程中，力求通過課堂案例演練，使