形式化框架下置换和查找类算法的组装生成

形式化框架下置换和查找类算法的组装生成

出版社：科学出版社

ISBN：9787030522139

出版年：2017

作者：石海鹤

资源类型：图书

细分类型：中文文献

1浏览量

问图书管理员

点赞

收藏

访问借阅管理系统

基于PAR的置换和查找类算法的自动生成研究

作者：石海鹤
出版社：中国科学院
出版年：2011

深度学习框架下的生成式目标跟踪方法研究

作者：孙兴龙
出版社：中国科学院长春光学精密机械与物理研究所
出版年：2022

生死置换

作者：CCTV《走近科学》栏目
ISBN：9787543931268
出版社：上海科学技术文献出版社
出版年：2007

MapReduce框架下的增量计算技术及算法研究

作者：张沛然
出版年：2016

Simulink/Stateflow在Isabelle下的形式化

作者：易士程
出版社：中国科学院软件研究所
出版年：2023

B－S方程框架下胶球和混杂态的研究

作者：崔建营
出版年：1998