中圖網(wǎng)

>

自然科學

>

數(shù)學

>

數(shù)學理論

形式化框架下置換和查找類算法的組裝生成

作者：石海鶴著

出版社：科學出版社出版時間：2017-05-01

開本： 24cm 頁數(shù)： 147頁

本類榜單：自然科學銷量榜

中圖價:¥32.0(4.7折) 定價 ~~¥68.0~~ 登錄后可看到會員價

暫時缺貨收藏

運費6元，滿39元免運費

?新疆、西藏除外

溫馨提示：5折以下圖書主要為出版社尾貨，大部分為全新（有塑封/無塑封），個別圖書品相8-9成新、切口
有劃線標記、光盤等附件不全詳細品相說明>>

本類五星書更多>

>
宇宙、量子和人類心靈

宇宙、量子和人類心靈

¥41.6¥58
>
考研數(shù)學專題練1200題

考研數(shù)學專題練1200題

¥30.6¥78
>
希格斯:“上帝粒子”的發(fā)明與發(fā)現(xiàn)

希格斯:“上帝粒子”的發(fā)明與發(fā)現(xiàn)

¥17.4¥48
>
神農(nóng)架疊層石:10多億年前遠古海洋微生物建造的大堡礁

神農(nóng)架疊層石:10多億年前遠古海洋微生物建造的大堡礁

¥48¥120
>
二十四史天文志校注(上中下)

二十四史天文志校注(上中下)

¥261.3¥390
>
聲音簡史

聲音簡史

¥20.8¥52
>
浪漫地理學:追尋崇高景觀

浪漫地理學:追尋崇高景觀

¥39.3¥59

商品詳情
商品評論(0條)

中圖價:¥32.0 暫時缺貨

版權(quán)信息
內(nèi)容簡介

形式化框架下置換和查找類算法的組裝生成版權(quán)信息

ISBN：9787030522139
條形碼：9787030522139 ; 978-7-03-052213-9
裝幀：暫無
冊數(shù)：暫無
重量：暫無
所屬分類：
自然科學
>
數(shù)學
>
數(shù)學理論

形式化框架下置換和查找類算法的組裝生成內(nèi)容簡介

本書結(jié)合軟件形式化方法PAR, 將生成式程序設(shè)計思想引入到算法開發(fā)中來, 組裝生成了典型的置換和查找類算法, 以及若干未見于現(xiàn)有文獻的算法, 構(gòu)建了具備相應生成能力的系統(tǒng), 顯著提高了兩類算法的開發(fā)效率和可靠性, 可望從方法學和實踐上為特定領(lǐng)域高可靠算法的開發(fā)提供新思路。

商品評論(0條)

寫書評賺書幣

暫無評論……

書友推薦