本書在編寫時考慮到了Redis的實際應用場景,所以認真詳細分析了Java中的三種Redis開發結構,包括Lettuce、SpringDataRedis以及與SpringBoot的整合開發,整體的圖書編寫中基于Linux系統環境,按照由淺至深的順序遞進知識體系。從最基礎的服務安裝、常用數據類型、Redis配置管理、Jav
本書介紹了ISO/IEC15026系列標準中的系統和軟件保證方法——軟件保證舉證。全書共6章,首先概述了軟件保證舉證的相關知識,接著詳細介紹了軟件安全性舉證、軟件可靠性舉證、軟件保密性舉證和軟件可信性舉證的基礎知識、舉證框架、論證模式及應用實例,最后給出了基于非形式邏輯理論的軟件保證舉證信心評定方法。 本書適合從事軟件
本書是一本機甲設計素材臨摹圖鑒。全書共分為4章。第1章為機甲的結構,介紹了機甲的頭部、手爪、腿部和腳部的設計與繪制要點:第2章為常見的機甲武器,介紹了機甲常見武器裝備,如激光武器、機槍、霰彈槍、高能束武器、巨型刀劍、能量斧頭等武器的設計與繪制要點;第3章為不同類型的機甲,介紹了常見的生化機甲、未來機甲、蒸汽機甲和Q版機
醫學統計學是我國各醫學院校本科生、研究生的必修課,也是從事醫學科學研究工作者不可缺少的方法論。本書通過圖文并茂的方式講解SPSS在醫學統計與數據分析中的各項操作,全書分為16章,詳細介紹醫學統計學的基本概念、SPSS的基本操作,醫學數據的描述性統計分析、參數與非參數檢驗、方差分析、相關分析、回歸分析、聚類分析、判別分析
本書是專為中老年人打造的拉伸訓練指南。本書在簡要介紹中老年人拉伸的基礎知識后, 重點介紹了頸部、上肢、軀干、髖部和下肢的拉伸運動,最后還就中老年人的飲食、放松、睡眠等健康習慣進行了闡述。本書介紹的拉伸運動簡單易學,在家即可開展,便于中老年人實施。中老年人進行這些拉伸運動,可以提升肌肉的柔韌性和關節的靈活性,提升生活質量
本書是專為孕期和產后女性準備的恢復、塑形實用指導書。書中借助精美的解剖圖譜,詳細介紹了懷孕和分娩后女性的身體變化,以及如何通過適當的拉伸運動來預防和調理身體不適。本書旨在幫助孕期和產后女性用科學的方法盡快恢復身體狀態,重塑身形。
本書從千兆光網的發展演進、技術內涵等維度闡述千兆光網的整體價值內涵,同時對千兆光網在數字政府、數字經濟、數字社會維度的支撐價值進行了概括性闡述。本書圍繞社會經濟與民生相關領域,聚焦業內代表性強、模式可復制的千兆光網融合應用,收錄了智能制造、智慧醫療、智慧教育、數字政府、智能建造、數字金融、智慧城市、信息消費、交通運輸、
數字經濟已經成為一種新的經濟形態和經濟增長方式。隨著人工智能、大數據、區塊鏈、云計算、5G通信等關鍵技術的深入發展,數字經濟進入了感知泛在、連接泛在、智能泛在、信任泛在的新時代。“智聯萬物”和“智鏈百業”成為數字經濟3.0時代的基本特征。本書以通信行業視角,審視數字經濟的階段特征、發展脈絡及其內在技術邏輯,闡述數字經濟
本書是作者從多年包裝設計工作中精心挑選的典型包裝結構的總結與分享,共48個案例。這些案例主要包括常見的紙質包裝盒、塑料薄膜包裝,以及鐵盒和其他精裝盒等。每個案例都有成品展示、設計說明,以及包裝材質、結構或印刷工藝的介紹。同時,對尺寸、用色、各種工藝的標注方法等關鍵信息也做了詳細說明。
材料是我們人類賴以生存和發展的基礎。我相信很多小讀者都很好奇,這些非凡的材料是由哪些化學元素組成的呢?那就讓我們帶著疑問,跟隨化學元素向導們來一趟探索材料構成的神奇旅程吧! 本書講解了超過100種炙手可熱的材料,它們或以單一元素形式出現,或與其他元素組隊出現,涵蓋了電子材料、航空航天材料、核材料、建筑材料、能源材料、生