×

找到2个软件包(结果1-2)

检查围栏

18篇文献引用(2007–2018)
软件作者: Burckhardt,S.,Alur,R.,Martin,M.K。
相关软件: veriSoft;自旋蛋白;UMM…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

Costas数组工具箱

1份文件引用(2011)
软件作者: Ken Taylor;斯科特·里卡德;康斯坦蒂诺斯·德拉卡基斯
相关软件: Matlab公司
主要字段: 组合数学(05-XX)

筛选结果依据…

主字段