返回首页
苏宁会员
购物车 0
易付宝
手机苏宁

服务体验

店铺评分与同行业相比

用户评价:----

物流时效:----

售后服务:----

  • 服务承诺: 正品保障
  • 公司名称:
  • 所 在 地:
本店所有商品

  • 全新形式化构件装配的领域算法构造石海鹤,周卫星9787030668783
  • 正版
    • 作者: 石海鹤,周卫星著 | 石海鹤,周卫星编 | 石海鹤,周卫星译 | 石海鹤,周卫星绘
    • 出版社: 科学出版社
    • 出版时间:2020-12-01
    送至
  • 由""直接销售和发货,并提供售后服务
  • 加入购物车 购买电子书
    服务

    看了又看

    商品预定流程:

    查看大图
    /
    ×

    苏宁商家

    商家:
    萌萌哒图书专营店
    联系:
    • 商品

    • 服务

    • 物流

    搜索店内商品

    商品参数
    • 作者: 石海鹤,周卫星著| 石海鹤,周卫星编| 石海鹤,周卫星译| 石海鹤,周卫星绘
    • 出版社:科学出版社
    • 出版时间:2020-12-01
    • 版次:1
    • 印次:1
    • 字数:165000
    • 页数:128
    • 开本:16开
    • ISBN:9787030668783
    • 版权提供:科学出版社
    • 作者:石海鹤,周卫星
    • 著:石海鹤,周卫星
    • 装帧:平装
    • 印次:1
    • 定价:68.00
    • ISBN:9787030668783
    • 出版社:科学出版社
    • 开本:16开
    • 印刷时间:暂无
    • 语种:暂无
    • 出版时间:2020-12-01
    • 页数:128
    • 外部编号:1202206793
    • 版次: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 类型构件SortingList

    6.4.2 类型构件Heap

    6.4.3 算法构件DBPSort

    6.4.4 算法构件UBPSort

    6.4.5 算法构件HSort

    6.5 查找算法类构件实现

    6.5.1 类型构件 SearchingList

    6.5.2 类型构件Hash

    6.5.3 算法构件 UnorderSearch

    6.5.4 算法构件OrderSearch

    6.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规约文法

    售后保障

    最近浏览

    猜你喜欢

    该商品在当前城市正在进行 促销

    注:参加抢购将不再享受其他优惠活动

    x
    您已成功将商品加入收藏夹

    查看我的收藏夹

    确定

    非常抱歉,您前期未参加预订活动,
    无法支付尾款哦!

    关闭

    抱歉,您暂无任性付资格

    此时为正式期SUPER会员专享抢购期,普通会员暂不可抢购