TOP
0
0
【簡體曬書節】 單本79折,5本7折,優惠只到5/31,點擊此處看更多!

縮小範圍


商品類型

簡體書 (6)
商品狀況

可訂購商品 (6)
庫存狀況

無庫存 (6)
商品定價

$200~$399 (4)
$400~$599 (2)
出版日期

2020~2021 (3)
2018~2019 (1)
2016年以前 (2)
裝訂方式

平裝 (6)
作者

石海鶴 (3)
化志章、揭安全、石海鶴、王嵐 (1)
石海鶴、周衛星 (1)
鄭宇軍、石海鶴、王衛紅 (1)
出版社/品牌

江西高校出版社 (2)
清華大學出版社(大陸) (2)
科學出版社 (2)

三民網路書店 / 搜尋結果

6筆商品,1/1頁
支援泛型程序設計的Apla-Java自動程序轉換系統(簡體書)
滿額折
作者:石海鶴  出版社:江西高校出版社  出版日:2014/03/01 裝訂:平裝
定價:216 元, 優惠價:87 188
海外經銷商無庫存,到貨日平均30天至45天
形式化開發多序列比對算法(簡體書)
滿額折
作者:石海鶴  出版社:江西高校出版社  出版日:2020/12/01 裝訂:平裝
定價:288 元, 優惠價:87 251
海外經銷商無庫存,到貨日平均30天至45天
形式化框架下:置換和查找類算法的組裝生成(簡體書)
滿額折
作者:石海鶴  出版社:科學出版社  出版日:2019/03/11 裝訂:平裝
本書以前期研究形成的支援程式開發全過程的形式化方法PAR為基礎,選取排序類和查找類演算法作為研究的突破口,開展了形式化方法制導下的演算法程式自動化的研究。PAR為演算法程式自動化提供了有力支援,它由自定義泛型演算法設計語言Radl及相關規約轉換規則庫、泛型抽象程式設計語言Apla、系統的演算法和程式設計方法學及新型順序軟體發展平臺組成。
定價:408 元, 優惠價:87 355
海外經銷商無庫存,到貨日平均30天至45天
形式化構件裝配的領域演算法構造(簡體書)
滿額折
作者:石海鶴; 周衛星  出版社:科學出版社  出版日:2021/12/16 裝訂:平裝
演算法作為電腦軟體的核心,其可靠性和開發效率對於軟體的可信性及應用發展具有重要意義。演算法自動化是提高演算法開發效率、保證演算法可靠性的重要途徑之一。 《形式化構件裝配的領域演算法構造》結合著者所在學術團隊已取得的軟體形式化方法PAR及其支撐平臺,將生成式程式設計的思想引入到演算法開發中來,借助領域建模的概念和方法對置換、查找、序列比對類演算法進行抽象,建立了領域特定語言和演算法生成模型,開發了
定價:408 元, 優惠價:87 355
海外經銷商無庫存,到貨日平均30天至45天
C#語言程序設計基礎(第3版)(簡體書)
滿額折
作者:鄭宇軍; 石海鶴; 王衛紅  出版社:清華大學出版社(大陸)  出版日:2014/06/01 裝訂:平裝
作為.NET平臺上的核心開發語言,C#將對象技術和泛型思想有機地融合
定價:237 元, 優惠價:87 206
海外經銷商無庫存,到貨日平均30天至45天
Java面向對象程序設計:思想‧方法‧應用(微課視頻版)(簡體書)
滿額折
作者:化志章; 揭安全; 石海鶴; 王嵐  出版社:清華大學出版社(大陸)  出版日:2021/09/01 裝訂:平裝
定價:359 元, 優惠價:87 312
海外經銷商無庫存,到貨日平均30天至45天

暢銷榜

客服中心

收藏

會員專區