TOP
12/23年度盤點作業,門市店休一天,網路書店將暫停出貨,12/24將恢復正常營業,造成不便敬請見諒
搜尋結果 /

計算機科學叢書

235
2 / 6
計算機程序的構造和解釋(JavaScript版)(簡體書)
滿額折
本書主要介紹計算的核心思想,採用的方法是為計算建立一系列概念模型。主要內容包括:構造過程抽象,構造數據抽象,模塊化、對象和狀態,元語言抽象,寄存器機器裡的計算等。採用JavaScript作為實例分析,但並不拘泥於對語言的解釋,而是通過這種語言來闡述程序設計思想。第1章介紹了計算過程以及函數在程序設計中扮演的角色。第2章在第1章的基礎上提供了將數據對象組合起來形成複合數據,進而構造抽象的方法。第3章介紹了一些幫助我們模塊化構造大型系統的策略。第4章通過元語言抽象探究如何在一些語言的基礎上開發新語言的技術。第5章從寄存器機器的角度出發,通過設計寄存器機器,開發一些機制,實現重要的程序設計結構,同時給出一種描述寄存器機器設計的語言。本書揭示計算機程序設計思想的實質是改變了人們的思考方式:從命令式的觀點去研究知識的結構。
優惠價: 87 673
無庫存
64位匯編語言的編程藝術(簡體書)
滿額折
出版日:2024/01/16 作者:(美)蘭德爾‧海德(Randall Hyde)  出版社:機械工業出版社  裝訂:平裝
本書源于作者的經典書籍The Art of Assembly Language,從32位匯編語言升級為64位匯編語言,基於Microsoft宏匯編程序(MASM)講解x86-64 CPU上匯編語言的編程藝術。本書從計算機的組成結構開始介紹,包括計算機數據表示和運算,以及內存的訪問和組織等。之後詳細講解匯編語言程序設計,涉及過程和算術運算的相關知識,再通過低級控制結構過渡到高級主題,如表查找和位操作。此外,還探索了x87浮點單元、SIMD指令,以及MASM的宏工具。
優惠價: 87 1039
無庫存
操作系統概念(原書第10版)(簡體書)
滿額折
全書共九個部分,相較於上一版增加了三個部分,並且優化了各章的編排順序。本書不僅詳細講解進程管理、內存管理、存儲管理、保護與安全等概念,而且涵蓋重要的理論結果和案例研究,並且給出了供讀者深入學習的推薦讀物。這一版在移動操作系統、多核系統、虛擬化和NVM外存等方面做了大幅更新,每一章都融入了新的技術進展,並且更新了習題和編程項目。
優惠價: 87 830
無庫存
計算機組成與體系結構:性能設計(原書第11版)(簡體書)
滿額折
出版日:2023/09/19 作者:(美)威廉‧斯托林斯  出版社:機械工業出版社  裝訂:平裝
本書共由六個部分組成。第一部分(第1~2章)概述計算機組成與體系結構,以及計算機的發展演變、性能設計與評測;第二部分(第3~9章)介紹計算機系統,包括計算機的主要部件及其互連、Cache存儲器、內部存儲器、外部存儲器、輸入/輸出以及計算機體系結構與操作系統之間的關係;第三部分(第10~12章)介紹數字系統、計算機算術和數字邏輯;第四部分(第13~15章)介紹指令集和匯編語言;第五部分(第16~19章)介紹中央處理器,包括處理器結構和功能、精簡指令集計算機(RISC)、指令級並行和超標量方法、控制單元操作和微程序控制;第六部分(第20~21章)介紹並行處理和多核計算機。
優惠價: 87 1039
無庫存
計算機組成與設計(簡體書)
滿額折
本書採用開源的RISC-V指令系統體系結構,講解硬件技術、指令、算術運算、流水線、存儲層次、I/O以及並行處理器等。第2版將RV64切換為RV32以降低學習難度,新增關於領域定制體系結構(DSA)的討論以反映新的技術趨勢。此外,每一章都增加了“性能提升”和“自學”章節,並更新了大量練習題。
優惠價: 87 882
無庫存
模型檢測量子系統:原理與算法(簡體書)
滿額折
出版日:2023/06/27 作者:應明生; 馮元  出版社:機械工業出版社  裝訂:平裝
本書系統且全面地梳理了模型檢測量子系統的原理以及基於這些原理的算法,涵蓋作者相關論文中的重要研究成果。本書講解如何應用模型檢測技術來驗證量子工程系統的正確性、安全性和可靠性,包含步驟詳盡的算法以及豐富的示例和練習。書中首先介紹模型檢測和量子理論的基礎知識,然後討論量子自動機、量子馬爾可夫鏈和量子馬爾可夫決策過程的可達性問題,介紹求解這些問題所需的數學工具和算法,之後介紹一系列用於檢測超算子值馬爾可夫鏈的計算樹邏輯或線性時序邏輯的算法,最後指明該領域的發展方向。
優惠價: 87 517
無庫存
數據挖掘與機器學習:基礎概念和算法(原書第2版)(簡體書)
滿額折
出版日:2023/06/25 作者:(美)穆罕默德‧J.紮基; (巴)小瓦格納‧梅拉  出版社:機械工業出版社  裝訂:平裝
本書詳實介紹了數據挖掘與機器學習相關的各種內容,包括數據矩陣、圖數據、核方法、項集挖掘、聚類、貝葉斯分類器、決策樹、支持向量機、線性回歸、邏輯回歸、神經網絡、深度學習等,介紹其相關概念和基礎算法,並在每章的末尾配有相關練習。第二版新增了幾個關於回歸的章節,包括神經網絡和深度學習的內容。
優惠價: 87 1039
無庫存
分佈式算法(典藏版)(簡體書)
滿額折
出版日:2023/05/12 作者:(美)南希‧A.林奇(Nancy A. Lynch)著  出版社:機械工業出版社  裝訂:平裝
本書對分布式算法進行了全面介紹,包括同步模型、異步模型和部分同步模型,針對這些模型討論互斥性、一致性和通信問題,為設計、實現和分析分布式算法提供了藍圖。本書對分布式算法領域的許多經典問題給出了多種解決算法或者不可能性結果,絕大部分的算法附有詳細的證明過程,並且有精確的複雜度衡量。本書還配有大量習題,並在每章後列出了詳細的參考文獻。
優惠價: 87 621
無庫存
Python大學教程:面向計算機科學和數據科學(簡體書)
滿額折
出版日:2023/03/27 作者:(美)保羅‧戴特爾; (美)哈維‧戴特爾  出版社:機械工業出版社  裝訂:平裝
本書提供了一種獨特的方法來講解Python編程入門,內容符合新的ACM/IEEECS和相關的計算課程倡議,以及由美國國家科學基金會贊助的數據科學本科課程。內容涵蓋了新的主題和應用的覆蓋面,模塊化架構使教師能夠方便地調整文本,適應課程需求。通過本書,你將學習:538個案例研究,471道練習題和項目,557道自我測驗題。基於IPython和Jupyter Notebook的即時反饋。問題求解、算法開發、控制語句、函數等基礎知識。列表、元組、字典、集合、Numpy數組、pandas Series和DataFrame。2D/3D的靜態、動態和交互式可視化。字符串、文本文件、JSON序列化、CSV、異常。過程式、函數式和面向對象的程序設計方法。“數據科學入門”:基礎統計、模擬、動畫、隨機變量、數據整理、回歸。隱私、安全、倫理、可重現、透明。AI、大數據和雲數據科學案例研究:NLP、Twitter數據挖掘、IBM Watson、機器學習、深度學習、計算機視覺、Hadoop、Spark、NoSQL、IoT。開源庫:NumPy、pandas、Matplotlib、Seaborn、Folium、SciPy、NLTK、TextBlob、spaCy、Textatistic、Tweepy、Scikit-learn、Keras、PubNub等。
優惠價: 87 778
無庫存
Python編程與數值方法(簡體書)
滿額折
出版日:2023/02/06 作者:(美)孔慶凱; (美)提米‧西奧; (美)亞歷山大‧M. 拜耶恩  出版社:機械工業出版社  裝訂:平裝
本書面向工程和科學專業的學生,介紹編程工具和數值方法,旨在幫助學生掌握計算問題求解技巧。書中第 一部分介紹基本的Python編程概念,使用簡單的例子快速將新的概念付諸實踐;第二部分涵蓋算法和數值分析的基礎知識,幫助學生在實際設置中快速應用結果。
優惠價: 87 569
無庫存
計算機網絡:自頂向下方法(原書第8版)(簡體書)
滿額折
出版日:2022/10/01 作者:(美)詹姆斯‧F.庫羅斯; (美)基思‧W.羅斯  出版社:機械工業出版社  裝訂:平裝
本書是經典的計算機網絡教材之一,採用作者獨創的自頂向下方法來講授計算機網絡的原理及協議,自第1版出版以來已被國內外數百所高校選作教材,被譯為14種語言。第8版保持了以前版本的特色,繼續關注因特網和計算機網絡的現代處理方式,原理與實踐並重。第8版反映了近年來網絡領域的重要變化,包括4G/5G網絡的迅速普及和隨之而來的大量移動應用,以及軟件定義網絡(SDN)的應用及其對網絡管理的影響。書中還增加了對HTTP/2、HTTP/3、CUBIC、QUIC、NETCONF、YANG等新協議的介紹,並刪除關於多媒體網絡的一章。
優惠價: 87 673
無庫存
計算機網絡:自頂向下方法(原書第7版)(簡體書)
87 折
出版日:2022/07/01 作者:(美)詹姆斯‧F.庫羅斯  出版社:機械工業出版社  裝訂:平裝
本書是經典的計算機網絡教材之一,採用了作者獨創的自頂向下方法來講授計算機網絡的原理及其協議,自16年前第1版出版以來已經被數百所大學和學院選作教材,被譯為14種語言。第7版保持了以前版本的特色,繼續關注因特網和計算機網絡的現代處理方式,注重原理和實踐,為計算機網絡教學提供了一種新穎和與時俱進的方法。同時,第7版進行了相當多的修訂和更新,首次改變了各章的組織結構,將網絡層分成兩章(第4章關注網絡層的
匯編語言:基於x86處理器(原書第8版)(簡體書)
滿額折
出版日:2022/06/06 作者:(美)基普‧R.歐文  出版社:機械工業出版社  裝訂:平裝
本書專門為Intel/Windows/DOS平臺編寫,對匯編語言進行了完整且詳細的研究和講解,教授讀者在機器級編寫和調試程序。第1~9章包含匯編語言的基本概念、x86處理器架構、匯編語言基礎、過程等核心概念,後續章節講解了結構和宏、MS-Windows編程、浮點數處理和指令編碼等內容。本書不僅可作為匯編語言課程的教材,還可以作為計算機系統基礎和體系結構基礎方面的教材,符合國內所提倡的系統觀教學理念。書中不僅講授具體問題的解決方案,而且注重幫助學生舉一反三,綜合應用,學到的編程理念能順利應用於其他編程的課程中。
優惠價: 87 778
無庫存
分布式算法精髓(簡體書)
滿額折
出版日:2022/06/01 作者:(瑞士)羅傑‧沃滕霍弗  出版社:機械工業出版社  裝訂:平裝
互聯網是一個分布式系統,無線通信、雲計算或並行計算、多核系統、移動網絡也是如此。蟻群、大腦甚至人類社會都可以被建模為分布式系統。本書強調這些分布式系統同涉及的主題和技術,特別是強調分布式系統設計中的一些基本問題,涵蓋通信、協調、容錯性、本地性、並行性、打破對稱性、同步化、不確定性等。
優惠價: 87 412
無庫存
模式分類(原書第2版)(典藏版)(簡體書)
滿額折
出版日:2022/05/11 作者:(美)理查德‧O.杜達; (美)皮特‧E.哈特; (美)大衛‧G.斯托克  出版社:機械工業出版社  裝訂:平裝
本書是模式識別和場景分析領域奠基性的經典著作。在第2版中,除了保留第1版中關於統計模式識別和結構模式識別的主要內容以外,還新增了許多新理論和新方法,其中包括神經網絡、機器學習、數據挖掘、進化計算、不變量理論、隱馬爾可夫模型、統計學習理論和支持向量機等。本書還為模式識別未來的發展指明了方向。書中包含許多實例,各種不同方法的對比,豐富的圖表,以及大量的課後習題和計算機練習。
優惠價: 87 778
無庫存
實用編程語言理論基礎(原書第2版)(簡體書)
滿額折
出版日:2022/04/27 作者:(美)羅伯特‧哈珀  出版社:機械工業出版社  裝訂:平裝
本書提出了一種基於類型系統和結構操作語義的編程語言理論。第2版經過全面修訂,幾乎每章都包含習題,並新增一章討論類型細化。本書涉及的概念廣泛,包括:基本數據類型,多態和抽象類型,動態定型,動態分派,子類型和類型細化,符號和動態分類,並行和成本語義,併發和分佈。書中對不同編程語言的特性做了分析、證明和比較,所提供的方法可直接應用於語言的實現、程序推理邏輯的研發以及語言特性的形式化驗證,具有較高的實用性。本書不僅可以作為高等學校計算機相關專業的編程語言理論課程教材,也可供相關領域的科研人員和技術人員參考閱讀。
優惠價: 87 726
無庫存
鏈接器和加載器(簡體書)
滿額折
出版日:2022/04/22 作者:(美)John R.Levine  出版社:機械工業出版社  裝訂:平裝
本書講述構建程序的關鍵工具――鏈接器和加載器,內容包括鏈接和加載、體系結構、目標文件、存儲分配、符號管理、庫、重定位、加載和覆蓋、共享庫、動態鏈接和加載、動態鏈接的共享庫,以及著眼于成熟的現代鏈接器所做的一些變化;並介紹一個持續的實踐項目,即使用Perl語言開發一個可用的小鏈接器。本書適合高校計算機相關專業的學生、實習程序員、語言設計者和開發人員閱讀參考。
優惠價: 87 412
無庫存
網絡流算法(簡體書)
滿額折
出版日:2022/03/31 作者:(美)大衛‧P.威廉姆森  出版社:機械工業出版社  裝訂:平裝
網絡流理論在理論計算機科學、運籌學和離散數學等學科中均有應用,可用於貨物運輸建模和計算機視覺圖像分割等眾多問題。本書主要源于康奈爾大學的網絡流算法課程講義,包含出版年代較早的經典書籍中未能涵蓋的新研究成果。本書採用簡潔且統一的視點,討論解決網絡流問題的多種組合算法、多項式算法及其分析,涵蓋最大流、最小代價流、廣義流、多物流和全域最小割集等,還介紹了關於計算電流的新研究成果及其在經典問題上的應用。本書可作為面向研究生的網絡流算法教材,也適合該領域的研究人員參考。
優惠價: 87 517
無庫存
現代計算機組成與體系結構(簡體書)
滿額折
出版日:2022/03/29 作者:王黨輝  出版社:機械工業出版社  裝訂:平裝
本書對現代計算設備進行了介紹,包括其中可能出現的每一項重要技術和子系統,並闡釋其與其他系統部件之間的關係。全書分為三部分。第1部分介紹計算機體系結構基礎知識,包括計算機體系結構的基本概念、數字邏輯、處理器元件、計算機系統組件、硬件軟件接口、專用計算領域。第二部分介紹處理器體系結構和指令集,涉及處理器和存儲器體系結構、性能增強技術、專用處理器擴展、現代處理器體系結構和指令集、RISC-V體系結構和指令集。第三部分介紹計算機體系結構的應用,包括處理器虛擬化、具體的應用程序類別(包括移動設備、個人電腦、遊戲系統、互聯網搜索引擎和神經網絡)、計算機體系結構未來的方向。讀完本書,讀者將掌握目前在廣泛多樣的數字系統中所使用的計算機體系結構。
優惠價: 87 621
無庫存
程序設計語言原理(原書第12版)(簡體書)
滿額折
出版日:2022/03/10 作者:(美)羅伯特‧W.塞巴斯塔  出版社:機械工業出版社  裝訂:平裝
本書深入討論現代程序設計語言的基本結構。從程序設計語言基本原理的概念開始,討論用於評價程序設計語言和語言結構的標準;概述本書所討論語言的發展歷史;隨後介紹用於描述程序設計語言範式的主要形式化方法,並討論用於描述語法和語義的屬性文法;介紹詞法分析和語法分析;詳細描述程序設計語言中主要結構的設計問題,涵蓋數據類型、變量特性、表達式和賦值語句、控制語句、子程序及其實現、數據抽象極值、併發程序單元和異常處理。
優惠價: 87 1195
無庫存
數據庫系統概念(本科教學版‧原書第7版)(簡體書)
滿額折
出版日:2021/10/27 作者:(美)亞伯拉罕‧西爾伯沙茨; (美)亨利‧F. 科思; (印)S. 蘇達爾尚  出版社:機械工業出版社  裝訂:平裝
本書基於該書第7版進行改編,保留其中的基本內容,壓縮或刪除了一些高級內容,使其體系更符合國內本科數據庫課程教學要求。本書第1章概述數據庫系統,第一部分關係語言(包括第2-6章)講述關係語言的基本概念,第二部分(包括第7-9章)介紹數據庫設計與應用程序開發技術,第三部分(包括第10-14章)介紹數據庫系統實現的核心技術,第四部分(包括第15-17章)介紹大數據分析、區塊鏈數據庫、高級應用開發等高級話題。
優惠價: 87 465
無庫存
Python程序設計基礎(原書第5版)(簡體書)
滿額折
出版日:2021/10/13 作者:托尼‧加迪斯  出版社:機械工業出版社  裝訂:平裝
本書詳盡而系統地介紹了Python語言程序設計的方方面面,通過大量的示例、偽代碼、流程圖和其他工具,使讀者更容易學習程序設計邏輯。本書清晰、簡明、友好的表述風格,可以讓讀者輕鬆掌握Python程序設計理論,快速投入實際開發中。
優惠價: 87 726
無庫存
離散數學:面向計算機科學專業(簡體書)
滿額折
出版日:2021/09/28 作者:(美)克利福德‧斯坦; (美)羅伯特‧L.戴斯得爾; (美)肯尼斯‧博加特  出版社:機械工業出版社  裝訂:平裝
本書由計算機和數學領域的三位教授聯合撰寫,是為計算機專業量身定制的離散數學教材。針對初入學的本科生不理解為何要學習高深的數學,授課教師苦於向毫無編程經驗的學生講授繁雜的算法程序的問題,本書打破了傳統的課程順序和教學方法,明確“為何學”和“有何用”,不僅清晰呈現了計算機專業學生必需的數學知識,而且通過實踐和應用啟發學生對後續課程的學習興趣。主要內容涵蓋計數、密碼學與數論、邏輯與證明、歸納法、遞歸、概率以及圖論等。本書推導嚴謹、代碼清晰、練習豐富,可作為高等學校計算機相關專業的離散數學課程的教材,也可供計算機技術人員學習與參考。
優惠價: 87 517
無庫存
軟件工程:實踐者的研究方法(本科教學版‧原書第9版)(簡體書)
滿額折
出版日:2021/09/16 作者:(美)羅傑‧S.普萊斯曼; (美)布魯斯‧R.馬克西姆  出版社:機械工業出版社  裝訂:平裝
本書自第1版出版至今,近40年來在軟件工程界產生了巨大而深遠的影響。第9版繼承了之前版本的風格與優勢,全面系統地講解軟件過程、建模、質量與安全、軟件項目管理等知識,涵蓋相關的概念、原則、方法和工具,並且提供了豐富的擴展閱讀資源和網絡資源。同時,本書調整了篇章結構,使內容更加簡潔,更適於教學。本書是面向本科生的版本,保留了完整版中的基礎內容,壓縮或刪除了一些高級內容,更加適合作為高等院校計算機、軟件工程及相關專業的軟件工程課程教材。
優惠價: 87 465
無庫存
量子理論:可視化量子過程及其應用(簡體書)
滿額折
出版日:2021/09/14 作者:(英)鮑勃‧科克; (荷)亞里克斯‧基辛格  出版社:機械工業出版社  裝訂:平裝
本書通過創新的視覺方法解析量子力學的復雜理論,以圖解的方式為讀者詮釋量子世界的獨特特征,消除了復雜計算的必要。這種量子圖解形式將線性代數和希爾伯特空間的經典技術與量子計算理論的前沿研究相結合,代表了近十年研究的尖端成果。 本書以輕松友好的閱讀風格編寫,通過大量的圖表和卡通插圖,幫助讀者掌握圖解推理的技巧來理解量子理論和特征,配套一百多個習題和實例,讓學生更容易學習和掌握相關知識和技能。作為量子力學領域獨特的圖解形式教科書,適合作為從本科生到博士研究生學習量子理論和量子計算的基礎教材。
優惠價: 87 1248
無庫存
計算機組成與體系結構:性能設計(原書第10版)(簡體書)
滿額折
出版日:2021/09/07 作者:(美)威廉‧斯托林斯  出版社:機械工業出版社  裝訂:平裝
本書是計算機組成與體系結構領域的經典教材。它對組成與體系結構領域的必要基礎知識進行了全面的介紹。同時,本書涉及領域的前沿進展。與前一版相比,第10版對許多主題進行了修訂,並增加了新內容,包括GPGPU、異構多核處理器、嵌入式系統、微控制器、云計算、系統性能、存儲器、直接緩存訪問、Intel酷睿微架構等。本書對涉及的理論知識輔以充分的例子,其中大多數例子都來自兩種使用廣泛的指令集,即x86和ARM。適合作為高校計算機及相關專業學生的教材,對從事計算機組成與體系結構研究和工作的人員也有很大的參考價值。
優惠價: 87 778
無庫存
計算機圖形學原理及實踐:基礎篇(原書第3版)(簡體書)
滿額折
本書是計算機圖形學領域的著作,系統全面地介紹了計算機圖形學領域的關鍵概念、算法、技術和應用。本書先介紹了如何創建二維和三維圖像,接下來介紹了更為廣泛的話題,包括圖像表示和操縱、圖像和信號處理、圖像的縮放、紋理和紋理映射、交互技術、曲線分割、曲面分割、形狀的隱式表示、網格、光、材料和散射、顏色、光傳輸、概率和蒙特卡洛集成、動畫、空間數據結構、現代圖形學硬件等內容。
優惠價: 87 517
無庫存
軟件工程:實踐者的研究方法(原書第9版)(簡體書)
滿額折
出版日:2021/07/15 作者:(美)羅傑‧S.普萊斯曼  出版社:機械工業出版社  裝訂:平裝
本書自第1版出版至今,近40年來在軟件工程界產生了巨大而深遠的影響。第9版繼承了之前版本的風格與優勢,全面系統地講解軟件過程、建模、質量與安全、軟件項目管理等知識,涵蓋相關的概念、原則、方法和工具,並且提供了豐富的擴展閱讀資源和網絡資源。第9版添加了新的重要軟件工程過程及實踐,並調整了篇章結構,使內容更加簡潔,更適於教學。
優惠價: 87 778
無庫存
Python程序設計教程:基於案例的學習方法(原書第3版)(簡體書)
滿額折
出版日:2021/07/09 作者:(美)布蘭德利‧N.米勒  出版社:機械工業出版社  裝訂:平裝
本書採用基於案例的學習方法,在不同應用場景下以問題求解為引導講授Python程序設計,涵蓋密碼學、影像處理、天文學和生物信息學等領域。第3版更新至Python 3.8,更加強調動手實踐,每一章都圍繞一個實戰項目展開討論,並包含大量的程序設計練習題。全書在應用場景中螺旋式引入解決問題所必需的Python語法知識和程序設計方法,從而通過不斷鞏固和拓展所學知識,進一步培養讀者的問題求解能力。本書適合作為
優惠價: 87 517
無庫存
計算機組成與設計:硬件/軟件接口(原書第5版‧ARM版)(簡體書)
滿額折
出版日:2021/07/01 作者:(美)戴維‧A.帕特森; (美)約翰‧L.亨尼斯  出版社:機械工業出版社  裝訂:平裝
本書由2017年圖靈獎得主Patterson和Hennessy共同撰寫,是計算機體系結構領域的經典教材,强調軟硬件協同設計及其對性能的影響。本書采用ARMv8體系結構,講解硬件技術、匯編語言、計算機算術運算、流水線、存儲器層次結構以及I/O的基本原理。新內容涵蓋平板電腦、雲基礎設施、ARM(移動計算設備)以及x86(雲計算)體系結構,新實例包括IntelCorei7、ARMCortex-A53以及
優惠價: 87 726
無庫存
數據庫系統概念(原書第7版)(簡體書)
滿額折
出版日:2021/06/16 作者:(美)亞伯拉罕‧西爾柏沙茨  出版社:機械工業出版社  裝訂:平裝
《資料庫系統概念》是資料庫系統方面的經典教材之一,其內容由淺入深,既包含資料庫系統基本概念,又反映資料庫技術新進展。它被國際上許多大學所採用,包括斯坦福大學、耶魯大學、德克薩斯大學、康奈爾大學、伊利諾大學等。
優惠價: 87 778
無庫存
計算機科學的邏輯基礎(簡體書)
滿額折
出版日:2021/06/15 作者:雷克斯‧佩奇  出版社:機械工業出版社  裝訂:平裝
《計算機科學的邏輯基礎》以實際問題的求解為導向,對計算機科學的邏輯基礎知識進行了介紹、討論和歸納,實現了邏輯與計算機之間的知識貫通。 《計算機科學的邏輯基礎》主要內容包括邏輯與等式、計算機算術、算法、計算實踐四個部分,采用三種形式化表示法,即傳統的邏輯代數公式表示法、數字電路圖表示法以及ACL2表示法實現邏輯推理。 《計算機科學的邏輯基礎》不僅可以作為高等學校計算機、人工智能、大數據及相關
優惠價: 87 517
無庫存
雲計算:原理、應用、管理與安全(簡體書)
滿額折
出版日:2021/06/15 作者:(美)丹‧C. 馬里恩斯庫  出版社:機械工業出版社  裝訂:平裝
本書是關於雲計算的“百科全書”,涵蓋方方面面的理論知識和廣泛的實踐內容。這一版添加了關於併發性、雲硬件和雲軟件的新章節,並討論了大數據和移動應用帶來的挑戰。全書主要內容包括:以網絡為中心的計算和以網絡為中心的內容,與並行和分布式有關的概念,雲服務供應商、雲接入、雲數據存儲、雲軟硬件等雲生態系統要素,雲應用、雲資源管理和調度,雲安全、移動雲等雲研究熱點。本書適合高等院校計算機相關專業的本科生和研究生學習,也適合該領域的技術人員參考。
優惠價: 87 726
無庫存
現代算法設計與分析(簡體書)
滿額折
出版日:2021/06/07 作者:(印)桑迪普‧森  出版社:機械工業出版社  裝訂:平裝
本書不僅講解傳統的算法設計策略和技巧,而且關注算法領域不斷湧現的新概念、新方法和新應用,幫助讀者把握技術熱點及發展趨勢。書中引入了降維技術、並行算法、隨機算法、層次化存儲結構算法和流算法等新內容,大量使用概率分析和隨機化技術,並包含眾多新穎的示例,特別是強調計算模型和計算環境,不再局限於理想化的隨機存取機模型。全書內容簡潔明快,並配有豐富的習題和拓展閱讀資料,適合作為高等院校計算機相關專業的教材,也適合業界技術人員閱讀參考。
優惠價: 87 517
無庫存
Python程序設計(原書第3版)(簡體書)
滿額折
出版日:2021/05/06 作者:(美)凱‧霍斯特曼  出版社:機械工業出版社  裝訂:平裝
本書面向Python初學者,采用模塊方式呈現知識要點,而非百科全書式的語法大全。書中介紹了數值、字符串、列表、字典、集合、控制結構、函數、遞歸、排序、面向物件編程、文件操作等基礎知識,通過大量案例來演示這些技術,重視計算思維的培養,由淺入深地將解決問題的完整方案一步步呈現在讀者面前。本版新增了面向數據科學的程序示例和練習,擴展了有關字符串和列表的內容,並引入了海龜圖形和遊戲編程等新的數據包。本書既
優惠價: 87 882
無庫存
Java語言程序設計:基礎篇(原書第12版)(簡體書)
滿額折
出版日:2021/04/20 作者:梁勇  出版社:機械工業出版社  裝訂:平裝
本書是Java語言的經典教材,中文版分為基礎篇和進階篇,主要介紹程序設計基礎、面向對象程序設計、GUI程序設計、數據結構和算法、高級Java程序設計等內容。本書通過示例講解問題求解技巧,提供大量的程序清單,每章配有豐富的複習題和編程練習題,幫助讀者掌握編程技術,並學會應用所學技術解決實際開發中遇到的問題。基礎篇主要介紹基本程序設計、語法結構、面向對象程序設計、繼承和多態、異常處理和文本I/O、抽象
優惠價: 87 726
無庫存
用TLA+定義系統:TLA+語言與工具在軟硬件設計中的應用(簡體書)
滿額折
出版日:2021/04/19 作者:萊斯利‧蘭伯特  出版社:機械工業出版社  裝訂:平裝
本書是作者針對分布式併發計算系統超過25年的研究成果的總結。在本書中,作者提出用基於動作的時態邏輯(TLA)來為複雜信息系統的行為建立數學模型,進而使用嚴格的數學證明與檢驗的方法來驗證系統行為的正確性。為此,作者發明了建模語言TLA+以及模型檢查工具TLC。本書結合若干案例,深入淺出地描述了從數學原理到系統建模的哲學思想,以及從建模語言的工程實踐到模型驗證工具的運用技巧等內容。
優惠價: 87 726
無庫存
腦機接口導論(簡體書)
滿額折
出版日:2021/04/01 作者:(美)拉傑什‧P.N.拉奧  出版社:機械工業出版社  裝訂:平裝
腦機介面技術是一種涉及神經科學、信號檢測、信號處理、模式識別等多學科的交叉技術,近年來隨著神經科學和工程學的長足進展,腦機介面技術愈來愈引起學術界和工業界的關注和重視。本書是第一本講述腦機介面理論及應用的入門教材。
優惠價: 87 465
無庫存
信息物理系統強化學習:網絡安全示例(簡體書)
滿額折
出版日:2021/03/16 作者:(美)李崇; (美)邱美康  出版社:機械工業出版社  裝訂:平裝
本書研究的靈感來自於近期的強化學習(RL)和信息物理系統(CPS)領域的發展。RL植根于行為心理學,是機器學習的主要分支之一。不同於其他機器學習算法(如監督學習和非監督學習),RL的關鍵特徵是其獨特的學習範式,即試錯。與深度神經網絡相結合,深度RL變得如此強大,以至於許多複雜的系統可以被人工智能智能體在超人的水平上自動管理。另一方面,CPS被設想在不久的將來給我們的社會帶來革命性的變化。這些例子包
優惠價: 87 412
無庫存
現代軟件工程:面向軟件產品(簡體書)
滿額折
出版日:2021/02/03 作者:(英)伊恩‧薩默維爾  出版社:機械工業出版社  裝訂:平裝
本書共10章,涵蓋軟件產品、敏捷軟件工程、特徵/場景和用戶故事、軟件架構、基於雲的軟件、微服務架構、安全和隱私,可信賴編程、測試、DevOps和代碼管理等內容。與大多數軟件工程課本不同的是,本書關注軟件產品而不是軟件項目,所介紹的技術是其他軟件工程教材沒有的,例如,人物角色和場景、雲計算、微服務、安全和DevOps等。
優惠價: 87 517
無庫存
  • 235
    6
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6

暢銷榜

客服中心

收藏

會員專區