本書主要介紹如何利用數學符號操作、基于規則的系統和通用程序構建靈活的軟件，并利用依賴系統跟蹤、解釋和控制回溯。第1章通過對編程哲學的介紹提出靈活性的概念。第2章探討如何用一些普遍適用的方法構建易于擴展的系統。第3章介紹謂詞分派的通用程序。第4章介紹符號模式匹配，首先啟用術語重寫系統，然后通過合一展示類型推理的實現。第5章探討解釋和編譯。第6章展示如何構造分層數據和分層程序的系統，并用各種元數據注釋其中的數據項。第7章引入傳播這一概念來擺脫計算機語言的面向表達式范式。
本書共14章，內容涵蓋Python基礎語法、數據類型和運算、流程控制語句、函數和模塊、面向對象編程、異常處理、文件和網絡操作，以及GUI編程、數據庫編程和多線程編程。
本書以“崗課賽證”育人模式為指引，將競賽資源融入課程教學，將教學內容與行業職位能力銜接。本書遵循“做中學、學中做”理念，采用“項目引領、任務驅動”方式編排內容，依據行業主流可視化技術，劃分為3篇，包括Matplotlib數據可視化、ECharts數據可視化和動態數據可視化技術，難度逐漸增加。每個模塊設計1或2個項目，每個項目劃分若干任務，每個任務安排相關理論知識和實踐內容。通過完成每個任務，讀者逐步學習各種主流可視化技術，掌握數據可視化的概念、目標、特征和流程等基礎知識，掌握數據可視化
全書共10章，分為三部分。第一部分(第1章)提出一種架構認知的方法論，即架構認知框架=架構知識模型+架構落地方法+架構思維模式，后續章節圍繞此方法論展開。第二部分(第2-4章)介紹架構知識模型，該模型將大量的架構知識點進行分類與結構化，同類架構知識之間通常存在一些共性規則，可以相互借鑒。第三部分(第5-10章)介紹架構落地方法和架構思維模式。本部分提出一個標準化的端到端架構落地方法，該方法是在RUP、DDD和TOGAF等各類架構理論基礎上融合而成的，以幫助讀者有效應對復雜系統的設計。最
本書為該套叢書的第二卷：計算機視覺。本書主要介紹了深度模型、激活函數和特征空間；Torchvision、數據集、模型和變換；卷積神經網絡、丟棄和學習率調度器；遷移學習和微調流行的模型(ResNet、Inception等)等內容。
本書主要介紹了梯度下降和PyTorch的Autograd；訓練循環、數據加載器、小批量和優化器；二元分類器、交叉熵損失和不平衡數據集；決策邊界、評估指標和數據可分離性等內容。
這是一本能為數字化轉型企業的數據治理提供全面指導的著作。它基于國際主流的數據治理框架和用友多年的數據治理經驗，從道、法、術、器4個維度全面而深入地展開，不僅有數據治理在戰略層面的頂層設計，還有數據治理在執行層面的實施方法，既可以作為數據治理的綱領性指南，又可以作為數據治理的實操手冊。從數據治理的戰略規劃到落地實施，本書將各環節的核心內容凝練為“3個戰略機制、8項關鍵舉措、7種技術能力、7個治理工具”。數據治理之道——3個戰略機制高屋建瓴地介紹了數據治理的數據戰略、組織機制和數據文化。這
本書詳細闡述了基礎設施即代碼的概念、原理、設計方法以及實踐，幫助讀者深入理解基礎設施即代碼的本質和價值。書中通過大量的案例和實踐經驗，展示了如何運用基礎設施即代碼來提高企業生產力，改變數據走向，優化流量模式。
本書重點講解VEXIQ第二代機器人編程、案例、競賽等內容的全面知識和實踐。VEXIQ第二代為新發布的VEXIQ機器人教學、競賽套裝。本書講解了VEXIQ第二代機器人新增加的硬件、傳感器設備，以及新的圖形化編程軟件的使用方法。本書凝聚了作者多年教學、參賽經驗，系統總結了VEXcodeIQ軟件對VEX機器人進行編程和設計的方法、技巧及注意事項。通過豐富有趣的實戰案例幫助讀者快速學會搭建、編程、控制機器人，并在比賽中取得優秀成績。
本書提供了一個以項目為導向的云原生Spring實踐指南，將幫助你總攬日益復雜的云計算環境，并學習如何將模式和技術結合在一起，建立一個真正的云計算原生系統并將其投入生產。本書分為四個部分，共計16章。第一部分內容為此次從代碼到生產的云原生之旅奠定了基礎，幫助你更好地理解本書其他部分所涉及的主題。第二部分介紹了使用SpringBoot和Kubernetes構建生產就緒的云原生應用的主要實踐和模式。第三部分涵蓋了云中分布式系統的基本屬性和模式，包括韌性、安全性、可擴展性和API網關，以及反應
新書資訊 新書推薦