×

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

Daikon公司

41篇文献引用(2005–2022)
软件作者: 迈克尔·D·恩斯特。;Jeff H.Perkins。;菲利普·郭(Philip J.Guo)。;斯蒂芬·麦卡曼特;卡洛斯·帕切科;马修·桑茨(Matthew S.Tschantz)。;肖,陈
相关软件: JML;胡迪尼;z3…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)…

卡宴

30篇文献引用(1997–2020)
软件作者: L·奥古斯森。
相关软件: Coq;阿格达;乐高…
主要字段: 数学逻辑与基础(03-XX);阶、格、有序代数结构(06-XX);范畴理论;同调代数(18-XX)…

ERBlox公司

引用于2份文件(2017–2019)
软件作者: 扎伊纳布巴赫马尼;利奥波多·贝托西;尼古拉斯·瓦西洛格鲁
相关软件: LogicBlox;逻辑QL;数据日志
主要字段: 计算机科学(68-XX)

tictoc公司

引用于2份文件(2022)
软件作者: 谢尔盖·伊兹拉列夫
相关软件: R;彩虹;fda(R)…
主要字段: 统计学(62-XX);运筹学,数学编程(90-XX)

基流

在0个文档中引用
软件作者: 马修·库珀(Matthew G.Cooper)。;周、田
相关软件: TOSSH;水力衰退;倍频程…
主要字段:

GeCo公司

1份文件引用(2023)
软件作者: Tran,K.-N。;Vatsalan,D。;P.克里斯滕。
相关软件:
主要字段: 统计学(62-XX)

MIPLIBing公司

1份文件引用(2023)
软件作者: 塞拉,蒂亚戈;莱恩·奥尼尔。
相关软件: ISUD;VRP解决程序;OR-库…
主要字段: 运筹学,数学编程(90-XX)

穆班迪

1份文件引用(2003)
软件作者: Hermes,Bernd;马克西米利安·斯坦普福贝尔(Maximilian Stempfhuber);卢卡·德米切利;卡洛·拉瓦莱
相关软件:
主要字段: 统计学(62-XX)

再分析_紧急_极端

1份文件引用(2020)
软件作者: Francisco M.卡拉法特。;马尔塔·马科斯
相关软件: 坚果;本地化SL;斯坦
主要字段: 统计学(62-XX);地球物理学(86-XX)

COPRA公司

在0个文档中引用
软件作者: Breitenbach,S.F.M.、Rehfeld,K.、Goswami,B.、Baldini,J.U.L.、Ridley,H.E.、Kennett,D.、Prufer,K.,Aquino,V.V.、Asmerom,Y.、Polyak,V.J.、Cheng,H.、Kurth,J.、Marwan,N
相关软件:
主要字段:

rspa公司

在0个文档中引用
软件作者: 马克·范德鲁
相关软件:
主要字段:

筛选结果依据…