×

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

Nuprl公司

418份文件引用(1986–2023)
软件作者: R.L.Constable、S.F.Allen、H.M.Bromley、W.R.Cleaveland、J.F.Cremer、R.W.Harper、D.J.Howe、T.B.Knoblock、N.P.Mendler、P.Panangaden、J.T.Sasaki、S.F Smith
相关软件: 辅酶q;HOL;自动…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX)…

开放地理系统

23篇文献引用(2012–2024)
软件作者: O.科尔迪茨
相关软件: 杜穆克斯;PFLOTRAN;PHREEQC…
主要字段: 总体主题;藏品(00-XX);数值分析(65-XX);变形固体力学(74-XX)…

全局阵列

7份文件引用(2008–2021)
软件作者: Jarek Nieplocha、Bruce Palmer、Vinod Tipparaju、Manojkumar Krishnan、Harold Trease、Edo Apra
相关软件: PETSc;炒作;英特尔TBB…
主要字段: 计算机科学(68-XX);流体力学(76-XX);量子理论(81-XX)…

绿石

8份文件引用(2001–2010)
软件作者: 戴维·班布里奇(David Bainbridge);乔治·布坎南(George Buchanan);约翰·麦弗逊(John McPherson);琼斯,史蒂夫;阿卜杜拉齐兹·马胡伊;伊恩·维滕(Ian H.Witten)。
相关软件:
主要字段: 计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

宙斯

7份文件引用(2002–2011)
软件作者: 风信子S.Nwana;Divine T.Ndumu;林登·C·李;Jaron C.科利斯
相关软件: INGENIAS公司
主要字段: 统计学(62-XX);计算机科学(68-XX);地球物理学(86-XX)…

水瓶座

4份文件引用(1994年至2004年)
软件作者: 博纳西纳(Bonacina)、玛丽亚·保拉(Maria Paola);Jieh乡
相关软件: 水獭;气象;帕塞农…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

PIROL公司

3份文件引用(2002–2003)
软件作者: 斯蒂芬·赫尔曼
相关软件: 方面J;ArchJava建筑
主要字段: 计算机科学(68-XX)

VPOET公司

1份文件引用(2008)
软件作者: 马里亚诺·里科;戴维·卡马乔(David Camacho);奥斯卡·科乔
相关软件: SPARQL公司
主要字段: 计算机科学(68-XX)

DCMOGADES公司

2份文件引用(2002–2005)
软件作者: Okuda、Tamaki;平山智彦(Hiroyasu,Tomoyuki);Miki,Mitsunori;卡米乌拉(Kamiura,Jiro);渡边信也
相关软件: 莫加德斯;SPEA2公司
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)

OQNLP公司

2份文件引用(2003–2013)
软件作者: TOMLAB公司;Kenneth Holmström;安德斯·奥·戈兰;马库斯·埃德瓦尔
相关软件: LGO;BARON公司;NEWUOA…
主要字段: 运筹学、数学规划(90-XX)

奶油

1份文件引用(2002)
软件作者: 拉姆、苏达;Park,Jinsoo;Hwang、Yousub
相关软件:
主要字段: 计算机科学(68-XX)

个人识别号

1份文件引用(2002)
软件作者: F.Baiardi、L.Ricci和P.Mori
相关软件:
主要字段: 数值分析(65-XX);计算机科学(68-XX)

SL公司

1份文件引用(2017)
软件作者: 沙尔,S。
相关软件:
主要字段: 计算机科学(68-XX)

筛选结果依据…

全部的 前5名

相关软件