×

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

弹丸

71篇文献引用(2006–2023)
软件作者: Sirin,E.,Parsia,B.,Grau,B.C.,Kalyanpur,A.,Katz,Y。;Clark&Parsia有限责任公司
相关软件: FaCT++;赛车手;赫密特…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…

iPro54磅/平方英寸

32篇文献引用(2015–2019)
软件作者: Lin,H。;邓永中。;丁·H。;Chen,W。;周,K.-C。
相关软件: Pse-in-One;iRSpot-PseDNC;pSuc-Lys…
主要字段: 统计学(62-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)

SA集群

12份文件引用(2012–2022)
软件作者: 程红;周,杨;黄欣;Yu,Jeffrey Xu先生
相关软件: 集群内;GraRep;节点2vec…
主要字段: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)…

CoCo公司

6篇文献引用(2002–2018)
软件作者: Badsberg JH公司
相关软件: MIM;R;mclust…
主要字段: 组合数学(05-XX);统计学(62-XX);数值分析(65-XX)…

GenSoFNN公司

4份文件引用(2006–2012)
软件作者: 东,W.L。;C.奎克。
相关软件: ANFIS;DENFIS;RSPOP公司
主要字段: 常微分方程(34-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…

奈亚德

7份文件引用(2017–2022)
软件作者: D.G.Murray、F.McSherry、R.Isaacs、M.Isard、P.Barham、M.Abadi
相关软件: LOLA;哈斯克尔;Apache Spark…
主要字段: 计算机科学(68-XX)

nlme单位

7份文件引用(2013年-2023年)
软件作者: Andrzej Galecki、Tomasz Burzykowski
相关软件: R;S-PLUS;1毫秒…
主要字段: 统计学(62-XX);运筹学、数学规划(90-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…

女妖

5份文件引用(2007–2020)
软件作者: 约翰·科杜马尔(John Kodumal);亚历克斯·艾肯
相关软件: 锈蚀;github;z3…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

电子音量检查

7份文件引用(2013–2022)
软件作者: 格里戈里·费德尤科维奇;Ondrej Sery;娜塔莎·莎莉吉娜
相关软件: 佩里普洛;FunFrog;SymDiff…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

Klocwork公司

2份文件引用(2007–2021)
软件作者: Rogue Wave软件公司。
相关软件: FindBugs;CodeSonar;斯坦斯…
主要字段: 计算机科学(68-XX)

标签等级T

6篇文献引用(2016–2021)
软件作者: 谢杰瑞、陈明明、博莱斯瓦夫·西曼斯基
相关软件: C索引器;SELP;GitHub…
主要字段: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)…

MBT公司

5份文件引用(1999–2005)
软件作者: Daelemans,W.,Zavrel,J.,Berck,P.,Gillis,S。
相关软件: 宾夕法尼亚树银行;树标记器
主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX)

买办

5份文件引用(2010–2019)
软件作者: 霍利·詹斯、加里·朗顿、玛格丽特·佩佩
相关软件: Stata公司;加迈尔;引导…
主要字段: 统计学(62-XX);数值分析(65-XX);生物学和其他自然科学(92-XX)

CONISS公司

3份文件引用(2018–2021)
软件作者: E.C.格林。
相关软件: 里奥哈;ggplot2;R、 …
主要字段: 统计学(62-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)

Inc集群

5份文件引用(2012–2020)
软件作者: 程红;周,杨;黄欣;Yu,Jeffrey Xu先生
相关软件: SA集群;线路;apcluster…
主要字段: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)…

在线PCA

2份文件引用(2018–2022)
软件作者: 大卫·迪格拉斯·埃尔维·卡多特
相关软件: ARPACK;R;厄尔巴…
主要字段: 统计学(62-XX)

国际数据管理

2份文件引用(2022)
软件作者: 阿方索·伊奥迪斯·德恩扎、安吉洛斯·马科斯、大卫·巴特拉齐
相关软件: 在线PCA;厄尔巴;R、 …
主要字段: 统计学(62-XX)

卡纳克·斯盖姆

3份文件引用(2013–2014)
软件作者: Panzeca,T。;帕拉维奇奥,E。;齐托,L。;高,X.W。;郭,X。
相关软件: Matlab;数学;BEMECH公司
主要字段: 偏微分方程(35-XX);数值分析(65-XX);变形固体力学(74-XX)…

ADTT公司

2份文件引用(2022–2023)
软件作者: X.Wang、L.T.Yang、Y.Wang和L.Ren、M.J.Deen
相关软件: 分裂;塔克MPI;TKPSVD…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX)

通过ADL

在0个文档中引用
软件作者: Di Ruscio,D.、Malavolta,I.、Muccini,H.、Pelliccione,P.、Pierantonio,A。
相关软件: OCaml;FPath;xMAML…
主要字段: 计算机科学(68-XX)

D*超轻

2份文件引用(2017–2019)
软件作者: 马西耶·普尔兹比尔斯基;芭芭拉·普茨
相关软件: D*Lite系列
主要字段: 变异微积分和最优控制;优化(49-XX);运筹学、数学规划(90-XX);系统论;对照(93-XX)

FAIS公司

2份文件引用(2002–2012)
软件作者: Ted E.参议员、Henry G.Goldberg、Jerry Wooton、Matthew A.Cottini、A.F.Umar Khan、Christina D.Klinger、Winston M.Llamas、Michael P.Marrone、Raphael W.H.Wong
相关软件: RSiena公司;lda;PRMLT…
主要字段: 统计学(62-XX);计算机科学(68-XX)

GRANBase公司

1份文件引用(2019)
软件作者: 加布里埃尔·贝克尔、科里·巴尔、迪纳卡尔·库尔卡尼
相关软件: R;代码依赖;摇杆…
主要字段: 统计学(62-XX)

PHABSIM公司

2份文件引用(2014–2019)
软件作者: Milhous RT,Waddle TJ公司
相关软件:
主要字段: 偏微分方程(35-XX);生物学和其他自然科学(92-XX)

StreamFitter公司

1份文件引用(2023)
软件作者: Nadungodage,C.H。;夏,Y。;李,F。;Lee,J.J。;Ge,J。
相关软件: 新加坡元-QN
主要字段: 统计学(62-XX)

VeriFly公司

2份文件引用(2021年至2022年)
软件作者: Sanchez-Ordaz,Miguel A。;伊莎贝尔·加西亚·孔特雷拉斯(Isabel Garcia-Contreras);维克托·佩雷斯(Victor Perez);JoséF.Morales。;佩德罗·洛佩兹·加西亚;曼努埃尔五世(Manuel V.Hermenegildo)。
相关软件: 汞;CiaoPP公司;Ciao…
主要字段: 计算机科学(68-XX)

巴泽尔

1份文件引用(2020年)
软件作者: 谷歌
相关软件: 重做;忍者;沙丘…
主要字段: 计算机科学(68-XX)

BemCracker2D系列

1份文件引用(2019)
软件作者: 戈麦斯,G。;A.C.O.米兰达。
相关软件:
主要字段: 数值分析(65-XX);可变形固体力学(74-XX)

在0个文档中引用
软件作者: 杰森·邦德;乔治·米查利德斯
相关软件: SAS/STAT;SPSS软件;列表-统计
主要字段:

CyGraph(赛格图)

1份文件引用(2018)
软件作者: Noel,S。;哈雷,E。;Tam,K。;利米埃罗,M。;共享,M。
相关软件: MulVAL;TCPDUMP公司
主要字段: 概率论与随机过程(60-XX);计算机科学(68-XX)

DYANAS公司

在0个文档中引用
软件作者: Baltzopoulos G.、Baraschino R.、Iervolino I.、Vamvatsikos D。
相关软件: ABAQUS;SAP2000;VTK…
主要字段:

印加

1份文件引用(2021)
软件作者: Szabó,T.、Erdweg,S.、Voelter,M。
相关软件: RAHFT;Flix;VeriMAP…
主要字段: 计算机科学(68-XX)

IPSILON公司

1份文件引用(2010)
软件作者: Bae,Soo Hyun;黄碧江
相关软件:
主要字段: 计算机科学(68-XX)

LPdoc公司

1份文件引用(2020年)
软件作者: M.V.Hermenegildo、J.Morales。
相关软件: 去;XSB;哈斯克尔
主要字段: 计算机科学(68-XX)

MoSS公司

1份文件引用(2021)
软件作者: 埃米尔·赫茨伯格;莱博维茨,赫米;西塔,埃瓦;萨拉·沃托尼亚克
相关软件: 隐秘HOL;塔马林;GNUC…
主要字段: 信息与通信理论,电路(94-XX)

PeCA公司

1份文件引用(2014)
软件作者: Le,Dinh-Thuan;Nguyen,Huu-Vu;阮文廷;Mai,Phuong-Nam;Pham-Duy,Bao-Trung;Quan、Thanh-Tho;埃蒂安·安德烈;劳雷·佩特鲁奇(Laure Petrucci);刘,杨
相关软件: CPN/工具;清爽;访问/CPN…
主要字段: 计算机科学(68-XX)

处理器

在0个文档中引用
软件作者: A.P.Iyer、Q.Pu、K.Patel、J.E.Gonzalez、I.Stoica
相关软件: 奈亚德;利格拉;图形生成…
主要字段:

FD4C型

在0个文档中引用
软件作者: 王涛;张文波;叶纯阳;魏军;华中;陶晃
相关软件:
主要字段:

HBPred公司

在0个文档中引用
软件作者: Tang,H。;赵永伟。;邹,P。;张,C.M。;Chen,R。;黄,P。;Lin,H。
相关软件:
主要字段:

IPF查看器

在0个文档中引用
软件作者: M.图罗、Chr.巴克。,路德·W·。
相关软件:
主要字段:

系统发育的

在0个文档中引用
软件作者: Hai Nguyen,Thanh;恩里科·蓬泰利(Enrico Pontelli);曹森,Tran;A.斯托尔茨福斯。
相关软件:
主要字段:

筛选结果依据…

全部的 前5名

相关软件