加载中...
扫一扫
下载苏宁易购APP
关注苏宁推客公众号
自购省钱·分享赚钱
下载苏宁金融APP
关注苏宁易购服务号
用户评价:----
物流时效:----
售后服务:----
实名认证领苏宁支付券立即领取 >
¥
提前抢
SUPER会员专享
由于此商品库存有限,请在下单后15分钟之内支付完成,手慢无哦!
欢迎光临本店铺
点我可查看更多商品哦~
100%刮中券,最高50元无敌券,券有效期7天
亲,今日还有0次刮奖机会
我的云钻:0
您的云钻暂时不足,攒足云钻再来刮
恭喜获得1张券!
今天的机会已经全部用完了,请明天再来
恭喜刮出两张券,请选择一张领取
活动自2017年6月2日上线,敬请关注云钻刮券活动规则更新。
如活动受政府机关指令需要停止举办的,或活动遭受严重网络攻击需暂停举办的,或者系统故障导致的其它意外问题,苏宁无需为此承担赔偿或者进行补偿。
全新形式化构件装配的领域算法构造石海鹤,周卫星9787030668783
¥ ×1
商品
服务
物流
前言章 引言1.1 研究背景1.2 研究目标和内容第2章 算法程序自动化方法概述2.1 基于演绎推理的方法2.2 程序变换方法2.2.1 横向变换2.2.2 纵向变换2.. 广义纵向变换. 基于归纳推理的方法2.4 基于机器学习和进化的方法2.5 模型驱动软件开发方法2.6 生成式程序设计方法2.7 本章小结第3章 PAR方法3.1 循环不变式新定义和新开发策略3.2 语言3.2.1 Radl规约及其变换规则3.2.2 Radl算法表示法3.3 算法程序开发方法3.4 本章小结第4章 产生式编程与Apla语言泛型设计介绍4.1 产生式编程4.1.1 领域工程4.1.2 特征建模4.2 Apla语言中的泛型程序设计4.2.1 泛型程序设计4.2.2 Apla泛型4.3 本章小结第5章 基于PAR的算法形式化开发5.1 自动问题分划5.2 启发式规约变换5.3 一个实例5.4 本章小结第6章 置换和查找类算法生成模型6.1 置换问题的代数质6.2 领域分析6.3 领域设计6.4 排序算法类构件实现6.4.1 类型构件SortingList6.4.2 类型构件Heap6.4.3 算法构件DBPSort6.4.4 算法构件UBPSort6.4.5 算法构件HSort6.5 查找算法类构件实现6.5.1 类型构件 SearchingList6.5.2 类型构件Hash6.5.3 算法构件 UnorderSearch6.5.4 算法构件OrderSearch6.6 本章小结第7章 置换算法程序生成7.1 荷兰国旗问题7.1.1 平衡分划求解7.1.2 非平衡分划求解7.1.3 算法分析和扩展7.2 基于DBP分划的排序算法7.2.1 归并排序7.2.2 插入排序7.. 二分插入排序7.2.4 排序算法7.3 基于UBP分划的排序算法7.3.1 快速排序7.3.2 选择排序7.3.3 冒泡排序7.3.4 堆排序7.4 类排序算法7.4.1 H-增量排序7.4.2 双向选择排序7.5 系统支持7.6 本章小结第8章 查找算法程序生成8.1 无序查找8.1.1 递归查找8.1.2 线查找8.1.3 散列表查找8.1.4 查找算法8.2 有序查找8.2.1 有序线查找8.2.2 二分查找8.. 二叉树查找8.2.4 查找算法8.3 本章小结第9章 序列比对算法9.1 序列比对简介9.1.1 序列比对问题简述9.1.2 空位罚分9.1.3 替换矩阵9.2 序列比对算法9.2.1 双序列比对算法9.2.2 多序列比对算法9.3 本章小结0章 DPPSAA构件设计与NW装配实现10.1 DPPSAA领域特征模型10.1.1 DPPSAA特征模型10.1.2 DPPSAA特征交互模型10.2 基于Apla语言的DPPSAA构件实现10.2.1 算法构件的Apla表示10.2.2 NW算法装配实现10.3 基于Apla-C++转换的NW算法装配实现10.3.1 Apla程序转换为C++表示10.3.2 实验结果分析10.4 本章小结1章 基于DPPSAA的星比对算法装配实现11.1 星比对算法介绍11.2 星比对算法构件建立以及Apla实现11.3 基于Apla-C++转换系统的星比对算法的装配实现11.4 实验结果分析11.5 本章小结参考文献附录 Radl规约文法
抢购价:¥ 38.00
易购价:¥ 38.00
注:参加抢购将不再享受其他优惠活动
亲,很抱歉,您购买的宝贝销售异常火爆,让小苏措手不及,请稍后再试~
验证码错误
看不清楚?换一张
确定关闭
亲,大宗购物请点击企业用户渠道>小苏的服务会更贴心!
亲,很抱歉,您购买的宝贝销售异常火爆让小苏措手不及,请稍后再试~
查看我的收藏夹
非常抱歉,您前期未参加预订活动,无法支付尾款哦!
关闭
抱歉,您暂无任性付资格
继续等待
0小时0分
立即开通
SUPER会员