登入帳戶　 |　訂單查詢　 |　購物車/收銀台( 0 )　|　在線留言板　 |　付款方式　 |　運費計算　 |　聯絡我們　 |　幫助中心　|　 加入書簽
會員登入 新用戶登記
HOME新書上架暢銷書架好書推介特價區會員書架精選月讀2023年度TOP分類瀏覽雜誌 臺灣用戶
品種：超過100萬種各類書籍/音像和精品，正品正價，放心網購，悭钱省心 服務：香港／台灣／澳門／海外 送貨：速遞／郵局／服務站

新書上架：簡體書 繁體書
暢銷書架：簡體書 繁體書
好書推介：簡體書 繁體書

十月出版：大陸書 台灣書
九月出版：大陸書 台灣書
八月出版：大陸書 台灣書
七月出版：大陸書 台灣書
六月出版：大陸書 台灣書
五月出版：大陸書 台灣書
四月出版：大陸書 台灣書
三月出版：大陸書 台灣書
二月出版：大陸書 台灣書
一月出版：大陸書 台灣書
12月出版：大陸書 台灣書
11月出版：大陸書 台灣書
十月出版：大陸書 台灣書
九月出版：大陸書 台灣書
八月出版：大陸書 台灣書

『簡體書』分划递推法中泛型约束机制

書城自編碼： 3782319
分類：簡體書→大陸圖書→計算機/網絡→计算机理论
作者： 左正康，王昌晶
國際書號(ISBN)： 9787030710727
出版社： 科学出版社
出版日期： 2022-08-01

頁數/字數： /
書度/開本： 16开 釘裝： 平装

售價：HK$ 117.6

我要買 件

 

** 我創建的書架 **
未登入.

新書推薦：
詹姆斯·伍德系列：不负责任的自我：论笑与小说（“美国图书评论奖”入围作品 当代重要文学批评家詹姆斯·伍德对“文学中的笑与喜剧”的精湛研究）
《 詹姆斯·伍德系列：不负责任的自我：论笑与小说（“美国图书评论奖”入围作品 当代重要文学批评家詹姆斯·伍德对“文学中的笑与喜剧”的精湛研究） 》
售價：HK$ 87.4
武当内家散手
《 武当内家散手 》
售價：HK$ 50.4
诛吕：“诸吕之乱”的真相与吕太后时期的权力结构
《 诛吕：“诸吕之乱”的真相与吕太后时期的权力结构 》
售價：HK$ 99.7
炙野（全2册）
《 炙野（全2册） 》
售價：HK$ 78.2
女人的胜利
《 女人的胜利 》
售價：HK$ 55.9
数据有道：数据分析+图论与网络+微课+Python编程（鸢尾花数学大系：从加减乘除到机器学习）
《 数据有道：数据分析+图论与网络+微课+Python编程（鸢尾花数学大系：从加减乘除到机器学习） 》
售價：HK$ 266.6
500万次倾听：陪伤心的人聊聊
《 500万次倾听：陪伤心的人聊聊 》
售價：HK$ 53.8
英国商业500年（见证大国崛起与企业兴衰，启迪未来商业智慧。）
《 英国商业500年（见证大国崛起与企业兴衰，启迪未来商业智慧。） 》
售價：HK$ 80.6

 
建議一齊購買：

+

HK$ 111.3
《Power BI数据可视化从入门到实战》		 +

HK$ 96.4
《一本书读懂物联网（第3版）》		 +

HK$ 106.8
《Offer来敲门 大数据开发面试笔试精讲 在线真题实训视频版》		 +

HK$ 64.0
《计算机组成原理（第3版）》		 +

HK$ 71.9
《全同态加密——从理论到实践》		 +

HK$ 178.2
《程序员必读算法经典之作：编程珠玑第2版+编程珠玑续（套装2册》
內容簡介：
《分划递推法中泛型约束机制》是作者在泛型程序设计领域多年研究的结晶，通过研究分划递推法中泛型约束机制的设计与实现，向读者展现泛型约束机制可解决一系列复杂泛型约束问题。读者阅读《分划递推法中泛型约束机制》之后，既可对泛型程序设计有更深入的了解，也可参考《分划递推法中泛型约束机制》提供的方法解决实际程序设计中可能会遇到的一些难题。
目錄：
目录前言第1章 绪论 11.1 研究背景 11.2 研究内容 21.3 本书的组织结构 3第2章 泛型约束相关研究 42.1 泛型程序设计 42.2 泛型程序设计及其约束的新定义 42.3 函数式语言泛型约束 52.3.1 System F 52.3.2 Haskell 98 62.3.3 ML 72.4 面向对象语言泛型约束 82.4.1 C++模板约束 82.4.2 Concepts概念约束 122.4.3 Java泛型约束 142.4.4 C#泛型约束 172.4.5 小结 192.5 泛型程序设计与面向对象程序设计的比较 19第3章 Apla中的泛型机制 213.1 类型参数化 213.2 操作参数化 223.3 泛型Apla程序结构 223.3.1 单类型参数化 223.3.2 多类型参数化 233.4 Apla泛型过程结构 233.5 Apla泛型函数结构 243.6 泛型算法示例 25第4章 泛型约束机制在Apla中的设计 294.1 操作约束定义 294.2 类型约束定义 314.2.1 传统数据类型约束 314.2.2 标准数据类型约束 344.2.3 代数结构泛型约束库 354.3 约束调用及例化 454.3.1 约束调用 454.3.2 约束例化 484.4 完整实例 514.4.1 泛型Kleene算法 514.4.2 泛型二分搜索算法 564.4.3 泛型Bellman-Ford算法 584.4.4 泛型极值类算法 594.4.5 泛型中缀表达式求值算法 60第5章 约束匹配检测及验证 635.1 约束匹配检测 635.2 约束匹配验证 645.2.1 实例操作参数语义验证 645.2.2 实例类型参数语义验证 675.2.3 约束匹配验证实例 70第6章 泛型约束机制在PAR平台C++生成系统中的实现 886.1 PAR平台C++生成系统 886.1.1 系统主要功能 886.1.2 主要功能模块 906.1.3 系统界面 926.1.4 规则库 946.2 泛型约束机制在PAR平台上的实现 956.2.1 形式类型参数检测 956.2.2 实例参数语法检测 956.2.3 实现实例 96第7章 总结 99参考文献 101

 

 

書城介紹　 |　合作申請　|　索要書目　 |　新手入門　|　聯絡方式　 |　幫助中心　|　找書說明　 |　送貨方式　|　付款方式 香港用户　 |　台灣用户　|　大陸用户　|　海外用户
megBook.com.hk
Copyright © 2013 - 2024 （香港）大書城有限公司　 All Rights Reserved.