×

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

方面J

99篇文献引用(2001年至2022年)
软件作者: 格雷戈·基泽莱斯(Gregor Kiczales);埃里克·希尔斯代尔;Jim Hugunin;米克·克尔斯滕(Mik Kersten);杰弗里·帕尔姆
相关软件: 凯撒J;JBoss;JAsCo…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…

NDSPMHD公司

70篇文献引用(2012–2024)
软件作者: 丹尼尔·普莱斯(Daniel J.Price)。
相关软件: 双球面物理学;幻影;GADGET…
主要字段: 数值分析(65-XX);可变形固体力学(74-XX);流体力学(76-XX)…

火花

38篇文献引用(1990–2023)
软件作者: Darren Foulger;史蒂夫·金
相关软件: JML;规范#;ESC/Java…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);数值分析(65-XX)…

全球溶胶

38篇文献引用(1999–2020)
软件作者: R.Baker Kearfott先生
相关软件: 进入PT_90;BARON公司;COCONUT…
主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)…

月收入

33篇文献引用(2004–2021)
软件作者: 约瑟夫·乌尔班
相关软件: 米扎尔;MML;HOL灯…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);数学教育(97-XX)

PYTHIA公司

28篇文献引用(1996–2018)
软件作者: 埃利亚斯·霍斯蒂斯。;Catlin,Ann C。;赖斯(John R.Rice)。;瓦西里奥斯·维里基奥斯(Vassilios S.Verykios)。;纳伦罗摩克里希南;霍斯蒂斯(Houstis)、凯瑟琳(Catherine E.)、维拉瓦拉纳(Weerawarana)、桑吉瓦(Sanjiva);埃利亚斯·霍斯蒂斯。;赖斯(John R.Rice)。;Joshi,Anupam;凯瑟琳·霍斯蒂斯。
相关软件: 珍珠包;高斯;PYTHIA8…
主要字段: 组合数学(05-XX);数值分析(65-XX);计算机科学(68-XX)…

MizarMode(米扎尔模式)

18篇文献引用(2006–2019)
软件作者: 约瑟夫·乌尔班
相关软件: 米扎尔;MML;MoMM…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

绝对的

10篇文献引用(2015–2020)
软件作者: 克里斯托弗·比尔德(Christopher R.Bilder)。;托马斯·洛金(Thomas M.Loughin)。
相关软件: R;计数;伊斯兰解放军…
主要字段: 总体主题;藏品(00-XX);统计学(62-XX);计算机科学(68-XX)…

MAVEN公司

引用于9份文件(2007–2013)
软件作者: Max Goldman;艾米莉亚·卡茨;Shmuel Katz
相关软件: ProMoVer;CVPP;Aspectual Caml…
主要字段: 计算机科学(68-XX)

AO4BPEL公司

引用于2份文件(2012–2013)
软件作者: 查菲A,梅齐尼M
相关软件: WebSphere;JML;WSAT…
主要字段: 计算机科学(68-XX)

PLAXIS公司

6篇文献引用(1998–2020)
软件作者: 有限元软件
相关软件:
主要字段: 数值分析(65-XX);可变形固体力学(74-XX);流体力学(76-XX)

AspectWerkz公司

3份文件引用(2006–2021)
软件作者: 乔纳斯·博纳
相关软件: AspectJ;LOLA;Java-MaC…
主要字段: 计算机科学(68-XX)

专家指南

3份文件引用(2001)
软件作者: Shimazu、Hideo;柴田明弘;胜美尼黑
相关软件: UCI-毫升
主要字段: 计算机科学(68-XX)

嵌套检查

引用于2份文件(2019–2023)
软件作者: 爱德华·希格森、威尔·汉德利、迈克·霍布森、安东尼·拉森比
相关软件: MultiNest;痛觉;完美…
主要字段: 统计学(62-XX)

PolyAML公司

5份文件引用(2005–2012)
软件作者: 丹塔斯,D.S。;Walker,D。;Washburn,G。;魏里奇,S
相关软件: Aspectual Caml;方面J;MAVEN…
主要字段: 计算机科学(68-XX)

Aspectual凸轮

4份文件引用(2005–2012)
软件作者: Hidehiko Masuhara;Hideaki Tatsuzawa;Akinori Yonezawa
相关软件: PolyAML;OCaml;方面C++…
主要字段: 计算机科学(68-XX)

GLIMPSE公司

引用于2份文件(1992–2004)
软件作者: 大卫·E·沃尔斯滕霍尔姆(David E.Wolstenholme);卡尔·M·奥布莱恩(Carl M.O'Brien);约翰·内尔德
相关软件: GLIM;税务;GenStat公司
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)

调试工具

3份文件引用(2020–2021)
软件作者: Tikhomirov,S.等人。
相关软件: github;蓄意破坏;LLVM…
主要字段: 博弈论、经济学、金融和其他社会和行为科学(91-XX);信息与通信理论,电路(94-XX)

Symlog公司

3份文件引用(1994年至2019年)
软件作者: 弗雷德里克·波托拉罗。
相关软件: 3TAP;思想者
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…

ConScript(ConScript)

引用于2份文件(2013–2021)
软件作者: Meyerovich,L。;B.利夫希茨。
相关软件: FlowFox;水仙;监狱…
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

互方面

引用于2份文件(2012–2021)
软件作者: 贾斯汀·塞斯特;迪克西特、科坦;黄小婉;格鲁苏,拉杜;克劳斯·哈弗伦德;斯科特·斯莫尔卡(Scott A.Smolka)。;斯科特·斯托勒(Scott D.Stoller)。;埃雷兹·扎多克
相关软件: 方面J;LOLA;AspectWerkz…
主要字段: 计算机科学(68-XX)

AspectScheme(方面方案)

1份文件引用(2006)
软件作者: 克里斯托弗·德钦
相关软件: DrScheme;MzScheme;方面J…
主要字段: 计算机科学(68-XX)

CrossRec公司

在0个文档中引用
软件作者: Phuong T.Nguyen、Juri Di Rocco、Davide Di Ruscio、Massimiliano Di Penta
相关软件: LibFinder;LibCUP;LibRec银行
主要字段:

货运员

1份文件引用(2017)
软件作者: Howlett,P.G。;P.J.普德尼。;Vu、X。
相关软件: SOCS;GPOPS公司
主要字段: 变分法与最优控制;优化(49-XX);运筹学、数学规划(90-XX)

grtools公司

在0个文档中引用
软件作者: Fabian A.Soto、Emily Zheng、Johnny Fonseca、F.Greg Ashby
相关软件: R;Matlab;numDeriv…
主要字段:

INFOSHOP公司

1份文件引用(2001)
软件作者: 伊恩·沃森
相关软件:
主要字段: 计算机科学(68-XX)

MULTI-EDIP(多端)

1份文件引用(2013)
软件作者: Jerzy Kasprzyk;杰洛斯·菲格(Jarosław Figuer)
相关软件:
主要字段: 系统理论;控制(93-XX)

皮科普曼

在0个文档中引用
软件作者: 潘绍武(Shaowu Pan)、尤里卡·凯泽(Eurika Kaiser)、布莱恩·德席尔瓦(Brian M.de Silva)、杰·内森·库茨(J.Nathan Kutz)、史蒂文·布鲁顿(Steven L.Brunton)
相关软件: mpEDMD;皮科普;库普曼实验室…
主要字段:

Py传感器

在0个文档中引用
软件作者: 布莱恩·德·席尔瓦(Brian M.de Silva)。;克里蒂卡·马诺哈尔;克拉克,艾米莉;宾尼·W·布伦顿。;Steven L.Brunton。;J.Nathan Kutz
相关软件: 蟒蛇
主要字段:

摇滚乐

在0个文档中引用
软件作者: 保罗·约翰逊
相关软件: R;knitr;生存…
主要字段:

TOSSH公司

在0个文档中引用
软件作者: Gnann,S.J。;Coxon,G。;伍兹,R.A。;新泽西州豪登。;香港麦克米兰
相关软件: 水力衰退;倍频程;Matlab…
主要字段:

筛选结果依据…

全部的 前5名

相关软件