有 1 項符合
軟件靈活性設計:如何避免陷入編程困境
的圖書
軟件靈活性設計:如何避免陷入編程困境 作者:(美 )克里斯·漢森 / 譯者:謝學說等
出版社:機械工業出版社
出版日期:2024-03-01
語言:簡體中文 規格:平裝 / 305頁 / 19 x 26 x 1.53 cm / 普通級/ 1-1
圖書介紹 - 資料來源:博客來 目前評分: 評分:
圖書名稱:軟件靈活性設計:如何避免陷入編程困境
內容簡介
本書主要介紹如何利用數學符號操作、基於規則的系統和通用程序構建靈活的軟件,並利用依賴系統跟蹤、解釋和控制回溯。第1章通過對編程哲學的介紹提出靈活性的概念。第2章探討如何用一些普遍適用的方法構建易於擴展的系統。第3章介紹謂詞分派的通用程序。第4章介紹符號模式匹配,首先啟用術語重寫系統,然後通過合一展示類型推理的實現。第5章探討解釋和編譯。第6章展示如何構造分層數據和分層程序的系統,並用各種元數據註釋其中的數據項。第7章引入傳播這一概念來擺脫計算機語言的面向表達式範式。 克里斯·漢森(Chris Hanson),目前在Datera公司擔任技術人員,他曾在麻省理工學院工作多年,是MIT/GNU Scheme系統的主要開發者。他還曾在谷歌工作10年。 傑拉爾德·傑伊·薩斯曼(Gerald Jay Sussman),麻省理工學院松下電氣工程教授。自1964年以來,他一直參與麻省理工學院的人工智能研究。他的研究重點是了解科學家和工程師使用的問題解決策略,目標是自動化部分過程並將其形式化,以提供更有效的科學和工程教育方法。他還從事計算機語言、計算機體系結構和VLSI設計方面的工作。他是IEEE終身會士、NAE院士、AAAI會士、ACM會士、AAAS會士。
作者介紹
克里斯·漢森(Chris Hanson)目前在Datera公司擔任技術人員,他曾在麻省理工學院工作多年,是MIT/GNU Scheme系統的主要開發者。他還曾在穀歌工作10年。
傑拉爾德·傑伊·薩斯曼(Gerald Jay Sussman)麻省理工學院松下電氣工程教授。自1964年以來,他一直參與麻省理工學院的人工智能研究。他的研究重點是瞭解科學家和工程師使用的問題解決策略,目標是自動化部分過程並將其形式化,以提供更有效的科學和工程教育方法。他還從事計算機語言、計算機體系結構和VLSI設計方面的工作。他是IEEE終身會士、NAE院士、AAAI會士、ACM會士、 AAAS會士。
詳細資料
ISBN:9787111747048 規格:平裝 / 305頁 / 19 x 26 x 1.53 cm / 普通級 / 1-1 出版地:中國
作者:天下歸元
出版社:東佑文化事業有限公司
出版日期:2013-01-22
66折: $ 165
作者:陳磊(二混子)
出版社:究竟出版社股份有限公司
出版日期:2023-12-01
66折: $ 238
作者:周夢
出版社:東佑文化事業有限公司
出版日期:2011-01-17
66折: $ 145
作者:寂寞的清泉
出版社:東佑文化事業有限公司
出版日期:2022-04-27
66折: $ 178
作者:艾瑞克.喬根森
出版社:天下雜誌股份有限公司
出版日期:2025-02-05
$ 355
作者:高木直子
出版社:大田出版有限公司
出版日期:2026-05-01
$ 277
作者:山森ぽてと
出版社:東立出版社
出版日期:2026-05-13
$ 225
作者:あめのジジ
出版社:青文出版社股份有限公司
出版日期:2026-05-14
$ 142
作者:瀟笙
出版社:北京億森同創文化
出版日期:2026-05-05
$ 59
作者:橘オレコ
出版社:青文出版社股份有限公司
出版日期:2026-05-20
$ 126
作者:袁中麟
出版社:財經傳訊
出版日期:2026-05-07
$ 360
作者:沐嫿
出版社:北京億森同創文化
出版日期:2026-05-05
$ 59