×

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

舒适的

14篇文献引用(1979–2015)
软件作者: 劳尔,体育。;Torrigiani,共和党。;护罩,M.W。
相关软件: 路径帕斯卡;LOTOS;LUSTRE…
主要字段: 计算机科学(68-XX)

齐塔电网

13份文件引用(2004–2024)
软件作者: S.韦德尼夫斯基
相关软件: mpmath;SumTools;PARI/GP…
主要字段: 数论(11-XX);数值分析(65-XX)

泽塔

11份文件引用(2015–2023)
软件作者: 托比亚斯·罗斯曼
相关软件: SageMath;Normaliz;LattE…
主要字段: 组合数学(05-XX);数论(11-XX);代数几何(14-XX)…

EpiSimdemics公司

8份文件引用(2010–2022)
软件作者: 克里斯托弗·巴雷特;基思·比塞特(Keith R.Bisset);斯蒂芬·尤班克(Stephen G.Eubank);西周风;Madhav V.马拉特
相关软件: 作业成本法;格列维兹;图表…
主要字段: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)…

DESH公司

引用于3份文件(2010–2022)
软件作者: 熊明;韩、宋;陈德吉;Lam,Kam-Yiu;冯、珊
相关软件:
主要字段: 计算机科学(68-XX)

重新塑造

引用于3份文件(2010–2014)
软件作者: Rajesh Sudarsan;卡尔文·里本斯。
相关软件: IFP-C3D;METIS公司;KIVA-4…
主要字段: 数值分析(65-XX);计算机科学(68-XX);流体力学(76-XX)…

legOS系统

引用于3份文件(2000–2008)
软件作者: Lone Halkjaer;凯伦·哈维格(Karen Haervig);安娜·英格尔夫斯多蒂
相关软件: Uppaal;自旋蛋白;时间
主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX)

VERSA公司

引用于3份文件(1997–2022)
软件作者: D.克拉克、I.李、H.l.谢
相关软件: Uppaal;mCRL2;Sylvan…
主要字段: 计算机科学(68-XX)

EFSMT公司

2份文件引用(2016–2019)
软件作者: Cheng CH、Shankar N、Ruess H、Bensalem S
相关软件: z3;Yices;SMT-RAT…
主要字段: 计算机科学(68-XX)

ESMVal工具

在0个文档中引用
软件作者: 伊林,V.,里吉,M.,劳尔,A.,埃瓦尔德森,M.、温泽尔,S.,琼斯,C.,阿纳夫,A.,安德鲁斯,O.,西奥尼,I.,戴维,E.L.,德斯尔,C.,埃赫布雷希特,C.,弗里德林斯坦,P.,格雷克勒,P.、戈茨查尔特,K.-D.,哈格曼,S.、朱克斯,M.;金德曼,S..,克拉斯汀,J.,库内特,D.,莱文,R.,勒夫,A,S.、Rio,C.、Roehrig,R.、Senftleben,D.、Sterl,A.、van Ulft,L.H.、Walton,J.、Wang,S.和Williams,K.D。
相关软件: MurCSS;索尔;PCMDI指标包…
主要字段:

FATTA公司

1份文件引用(2016)
软件作者: Hamanaka,M.、Hirata,K.、Tojo,S。
相关软件: 西格玛GTTM;音乐XML;MakeMusic…
主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX)

REFLIX公司

1份文件引用(2002)
软件作者: Salcic、Zoran;Partha Roop;Biglari-Abhari,Morteza;阿巴斯·比格德利
相关软件:
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

CAiRE-COVID公司

在0个文档中引用
软件作者: Dan Su、Yan Xu、Tiezheng Yu、Farhad Bin Siddique、Elham J.Barezi、Pascale Fung
相关软件: ReCoNet;新冠肺炎疫苗网;CovidGAN…
主要字段:

加洛瓦

1份文件引用(2023年)
软件作者: 贾塔拉,V。;Dathathri,R。;吉尔·G。;黄光裕。;南迪瓦达,V.K。;Pingali,K。
相关软件: IGA-ADS公司
主要字段: 偏微分方程(35-XX);数值分析(65-XX);光学、电磁理论(78-XX)

rsyslog日志

在0个文档中引用
软件作者: 亚伦·雅各布斯;Crescendo科技有限公司。
相关软件: log4r;dlstats;Python…
主要字段:

VOSYS监视器

在0个文档中引用
软件作者: 皮埃尔·卢卡斯;凯文·查普伊斯(Kevin Chappuis);米歇尔·保利诺;尼古拉斯·达吉;丹尼尔·拉霍
相关软件:
主要字段:

筛选结果依据…

全部的 前5名

相关软件