×

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

英国

16篇文献引用(2003–2021)
软件作者: 麦地那A、拉基纳A、马塔I、拜尔斯J
相关软件: 和弦;Globus工具包;脚本…
主要字段: 组合数学(05-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…

马拉布

7份文件引用(2021年至2022年)
软件作者: Katz,G.、Huang,D.A.、Ibeling,D.、Julian,K.、Lazarus,C.、Lim,R.、Shah,P.、Thakoor,S.、Wu,H.、ZeljíC,A.、Dill,D.L.、Kochenderfer,M.J.、Barrett,C。
相关软件: Reluplex;NNV;AI2…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);计算机科学(68-XX)…

AWTY(空载)

5份文件引用(2009–2023)
软件作者: Nylander JA、Wilgenbusch J.C.、Warren D.L.、Swoffor D.L。
相关软件: 贝叶斯先生;BMGE;M-咖啡…
主要字段: 总体主题;藏品(00-XX);概率论与随机过程(60-XX);统计学(62-XX)…

CARRE公司

3份文件引用(1996–2019)
软件作者: R.Marchand M.Dumberry先生
相关软件: CEDRES++;埃雷内
主要字段: 数值分析(65-XX);流体力学(76-XX);光学、电磁理论(78-XX)

EpiChord乐队

1份文件引用(2014)
软件作者: Leong,B.,Liskov,B.,Demaine,E.D。
相关软件: 和弦
主要字段: 计算机科学(68-XX)

迷你冲浪

在0个文档中引用
软件作者: 谢孟廷,洛伦佐·瓦尔德维特
相关软件: 数学;区域TPMS;Matlab公司
主要字段:

自动变速箱

1份文件引用(2018)
软件作者: Alpeshkumar K.Malde、Le Zuo、Matthew Breeze、Martin Stroet、David Poger、Pramod C.Nair、Chris Oostenbrink、Alan E.Mark
相关软件: 锌;费用分配;COIN或
主要字段: 运筹学、数学规划(90-XX);生物学和其他自然科学(92-XX)

NanoCap公司

在0个文档中引用
软件作者: M.Robinson;N.A.标记
相关软件:
主要字段:

筛选结果依据…