基于启发式方法的带参系统形式化验证

基于启发式方法的带参系统形式化验证

出版年：2016

作者：段凯强

资源类型：图书

细分类型：学位论文

1浏览量

问图书管理员

点赞

收藏

访问借阅管理系统

基于群体智能的生物启发式优化方法及应用

作者：刘景森
ISBN：9787513666336
出版社：中国经济出版社
出版年：2021

新兴元启发式优化方法

作者：赵玉新
ISBN：9787030386144
出版社：科学出版社
出版年：2013

基于启发式搜索的IP数据流分类方法的研究

作者：武飞
出版年：2013

基于启发式算法堆垛机调度系统的设计与实现

作者：李昊轩
出版社：中国科学院沈阳计算技术研究所
出版年：2022

基于BDD的增量启发式搜索方法及其应用

作者：徐艳艳
出版社：中国科学院
出版年：2009

基于最优觅食理论的新型生物启发式计算方法研究及应用

作者：刘洋
出版年：2015