×

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

德尔芬

17篇文献引用(2003–2020)
软件作者: Schürmann,C.、Fontana,R.、Liao,Y.、Poswolsky,A。
相关软件: Twelf;辅酶q;白鲸…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

二级-D2P4

10篇文献引用(2007–2021)
软件作者: 阿尔弗雷多·布塔里;达安布拉,帕斯卡;迪塞拉菲诺,丹妮拉;萨尔瓦多菲利波内
相关软件: MLD2P4;PSBLAS;BoomerAMG…
主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)…

卡伦

7份文件引用(2008–2022)
软件作者: Daniel P.Friedman、William E.Byrd、Oleg Kiselyov
相关软件: 迷你堪萨斯人;自动化;AI空间…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)

JSBML公司

3份文件引用(2012–2021)
软件作者: Dräger,A.,Rodriguez,N.,Dumousseau,M.,Dörr,A.,Wrzodek,C.,Novère,N.L.,Zell,A.,Hucka,M。
相关软件: KEGG;MetaCyc;聚乙烯…
主要字段: 常微分方程(34-XX);概率论与随机过程(60-XX);计算机科学(68-XX)…

克拉约诺

在0个文档中引用
软件作者: A.阿萨夫
相关软件: Twelf;PVS;白鲸…
主要字段:

筛选结果依据…