×

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

Gms小时

939份文件引用(2003–2024)
软件作者: Christophe Geuzaine,Jean-François Remacle
相关软件: FEniCS;PETSc;ParaView…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);变形固体力学(74-XX)…

JML公司

161份文件引用(2000–2023)
软件作者: 加里·利文斯(Gary T.Leavens);Yoonsik Cheon公司
相关软件: 规格#;埃菲尔;卡拉卡拉…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);数值分析(65-XX)…

OBJ3型

140篇文献引用(1989–2023)
软件作者: J.Goguen、T.Winkler、J.Meseguer、K.Futatsigi和J.Jouannaud;(基尼里)
相关软件: 莫德;OBJ咖啡馆;CASL…
主要字段: 数学逻辑与基础(03-XX);一般代数系统(08-XX);范畴理论;同调代数(18-XX)…

班德拉

105篇文献引用(2000–2023)
软件作者: 约翰·哈特克利夫;马修·德怀尔
相关软件: 自旋蛋白;Java PathFinder;veriSoft…
主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…

落叶松

105篇文献引用(1989–2023)
软件作者: John V.Guttag。;詹姆斯·霍宁。
相关软件: JML;埃菲尔;PVS…
主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);群论与推广(20-XX)…

信号

51篇文献引用(1987年-2020年)
软件作者: 大卫·诺瓦克;让-皮埃尔·塔尔平;蒂埃里·戈蒂埃;保罗·勒格尔尼克
相关软件: 卢斯特;埃斯特尔;托勒密…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…

沙扎姆

26篇文献引用(1991–2009)
软件作者: SHAZAM分析
相关软件: Stata公司;LIMDEP公司;高斯…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

珍珠包

18篇文献引用(1998–2008)
软件作者: 霍斯蒂斯,E.N。;赖斯,J.R。;Weerawarana,S。;Catlin,A.C.公司。;Papachiou,P。;Wang,K.-Y。;盖塔茨,M。
相关软件: ELLPACK;PYTHIA公司;LAPACK…
主要字段: 总体主题;藏品(00-XX);偏微分方程(35-XX);变异微积分和最优控制;优化(49-XX)…

半人马座

18篇文献引用(1991–2019)
软件作者: Borras,P.、Clément,D.、Despeyroux,Th.、Incerpi,J.、Kahn,G.、Lang,B.、Pascual,V、
相关软件: K校准仪;Coq;莫德…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

雅加达

17篇文献引用(2001–2014)
软件作者: Daniela Junho de Andrade、Simão Melo de Sousa
相关软件: Coq;OCaml;LETOS…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);地球物理学(86-XX)…

j承包商

引用于9份文件(2002–2012)
软件作者: 穆拉特·卡拉曼;帕克·阿伯克龙比
相关软件: JML;埃菲尔;规范#…
主要字段: 计算机科学(68-XX)

Verilog公司

引用于9份文件(1999–2020)
软件作者: 斯图亚特·萨瑟兰
相关软件: VPI;电源保护;卡米…
主要字段: 数值分析(65-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)

PROCOL公司

7份文件引用(1991–2002)
软件作者: van den Bos,Jan;克里斯·拉法
相关软件: 方面J;匹科拉;JAsCo…
主要字段: 计算机科学(68-XX)

RT-ASLAN公司

3份文件引用(1994–2002)
软件作者: 奥尔海默B,凯默R A。
相关软件: 埃斯特尔;Ada95;ASTRAL公司
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

Z2萨尔

5份文件引用(2008–2012)
软件作者: J Derrick,S North,A J H Simons公司
相关软件: 自旋蛋白;Z;Z/EVES…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)

成本核算表

5份文件引用(2012–2017)
软件作者: Albert,E.、Arenas,P.、Genaim,S.、Gómez-Zamalloa,M.、Puebla,G。
相关软件: 防抱死制动系统;速度;中美合作所…
主要字段: 计算机科学(68-XX)

尽职调查

5份文件引用(1998年至2013年)
软件作者: K.伯肯
相关软件: 无人值守地面;libGrid;pcl…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…

G小调

4份文件引用(2010–2019)
软件作者: 麦克赖特,安德鲁;蒂姆·骑士;安德鲁·托尔马赫
相关软件: Coq;CompCert;CompCertTSO…
主要字段: 计算机科学(68-XX)

珍珠

4份文件引用(1982–2007)
软件作者: Gumzej,罗马人;陆寿荣
相关软件: SPNP;阿达95
主要字段: 计算机科学(68-XX);系统论;对照(93-XX)

示波器外壳

3份文件引用(2011–2014)
软件作者: 莫斯科国立大学;DP Kostomarov,FS Zaitsev,AG Shishkin公司
相关软件: 托卡马克;塔迪斯;泊松解算器…
主要字段: 数值分析(65-XX);流体力学(76-XX);统计力学,物质结构(82-XX)

生物模型分析仪

2份文件引用(2017年至2021年)
软件作者: 扎拉·艾哈迈德;大卫·本克(David Benque);谢尔盖·贝雷津(Sergey Berezin);Dahl,Anna Caroline E。;贾斯敏·费希尔(Jasmin Fisher);本杰明·霍尔(Benjamin A.Hall)。;萨明·伊斯蒂亚克;杰伊·纳纳瓦蒂;尼尔·皮特曼;梅克Riechert;尼基塔·斯科洛夫
相关软件: 漫长的时期;亚特兰蒂斯;Cytoscape.js…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)

ADL2(ADL2)

2份文件引用(1995–2001)
软件作者: Masaharu Obayashi;久保田;Shane P.McCarron;莱昂内尔·马勒
相关软件: ADL公司
主要字段: 计算机科学(68-XX)

生物模拟器.jl

在0个文档中引用
软件作者: 阿方索·兰德罗斯(Alfonso Landeros)、蒂莫西·斯图茨(Timothy Stutz)、凯文·凯斯(Kevin L.Keys)、亚历山大·阿列克西恩科(Alexander Alekseyenko)、珍妮特·辛希默(Janet S.Sinsheimer)、肯尼思·兰
相关软件: 微分方程.jl;朱莉娅;DiffEqFlux…
主要字段:

数据脚本

2份文件引用(2002–2010)
软件作者: 回来,戈德玛
相关软件: 佩尔
主要字段: 计算机科学(68-XX)

铁视图

在0个文档中引用
软件作者: Motiur Rahman先生、Tahmina Tasnim Nahar、Dookie Kim
相关软件: OpenSees;构建-X;STKO…
主要字段:

等级

2份文件引用(1998–2001)
软件作者: 佩特尔·卡苏克;多兹萨,加博;蒂博尔·法吉亚斯;洛瓦斯,洛伯特
相关软件:
主要字段: 计算机科学(68-XX)

网络草图

2份文件引用(2010–2012)
软件作者: 阿泽州贝斯塔夫罗斯;阿萨夫·科福尔;笔记本电脑,Andrei;迈克尔·J·奥森。
相关软件: 伊莎贝尔;自旋蛋白;马蒂塔…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)

OOMPI公司

1份文件引用(2006)
软件作者: McCandless BC、Squires JM、Lumsdaine A。
相关软件: 磁粉探伤
主要字段: 数值分析(65-XX);流体力学(76-XX)

PSyHCoS系统

1份文件引用(2014)
软件作者: 埃蒂安·安德烈;刘,杨;孙军;董金松
相关软件: Shrinktech公司;拍打;PPL…
主要字段: 计算机科学(68-XX)

贝叶斯CPM

1份文件引用(2022)
软件作者: N.詹姆斯。
相关软件:
主要字段: 统计学(62-XX)

体重指数

在0个文档中引用
软件作者: Hutton,E.W.H.,Piper,M.D.,Tucker,G.E。
相关软件: BMI_pyDeltaRCM;SciPy;Numba…
主要字段:

森林

在0个文档中引用
软件作者: 凯瑟琳·费希尔(Kathleen Fisher);Nate Foster;大卫·沃克(David Walker);Zhu,Kenny Q。
相关软件: 格拉夫维兹
主要字段:

科里根

1份文件引用(2001)
软件作者: 克莉丝汀,杂乱无章;Poizat,帕斯卡;Jean-Claude罗耶
相关软件: 蟒蛇;CADP;SWIG(开关)
主要字段: 计算机科学(68-XX)

妈咪

1份文件引用(1997年)
软件作者: 霍尔格·诺恩多夫
相关软件: 单兵携带防空系统
主要字段: 计算机科学(68-XX)

NFB标签

1份文件引用(2021)
软件作者: 斯梅塔宁、N.、Volkova、K.、Zabodaev、S.、Lebedev、M.、Ossadtchi、A
相关软件: 传奇;MNE;头脑风暴…
主要字段: 生物学和其他自然科学(92-XX)

Q*证书

1份文件引用(2018)
软件作者: Auerbach,J.S.、Hirzel,M.、Mandel,L.、Shinnar,A.、Siméon,J。
相关软件: 序列;HoTTSQL;SQLCert…
主要字段: 计算机科学(68-XX)

Wykobi公司

在0个文档中引用
软件作者: 阿拉什_帕托
相关软件:
主要字段:

筛选结果依据…

全部的 前5名

相关软件