×

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

PostgreSQL

55份文件引用(2000–2023)
软件作者:
相关软件: 神谕;MySQL;MS SQL Server…
主要字段: 数学逻辑与基础(03-XX);统计学(62-XX);计算机科学(68-XX)…

TI-Nspire公司

3份文件引用(2008–2012)
软件作者: 德克萨斯仪器公司
相关软件: GeoGebra;ClassPad;衍生…
主要字段: 总体主题;藏品(00-XX);历史与传记(01-XX);几何(51-XX)…

用鼻子哼哼

17篇文献引用(2005–2023)
软件作者: 思科
相关软件: 签名;多谱仪;锡林斯…
主要字段: 数值分析(65-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

MCNP公司

40篇文献引用(1999–2023)
软件作者: 布雷斯迈斯特;LANL公司
相关软件: GEANT4;OpenMC;EGSnrc…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);经典热力学,传热(80-XX)…

TAUCS公司

28篇文献引用(2002–2023)
软件作者: 西万·托莱多;Doron Chen;弗拉基米尔·罗斯金
相关软件: MUMPS;METIS公司;PETSc…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…

洛尔

6篇文献引用(2002–2010)
软件作者: McHugh J、Abiteboul S、Goldman R、Quass D、Widom J。
相关软件: XPath;XQuery;ViST…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

百万卢比

8份文件引用(2016–2023)
软件作者: 伯恩德·比施尔、雅各布·里希特、雅各布·博塞克、丹尼尔·霍恩、珍妮克·托马斯、米歇尔·朗
相关软件: mlr;青蒿;UCI-ml…
主要字段: 统计学(62-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)

j承包商

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

卡门

2份文件引用(2005–2009)
软件作者: 蒙特默罗,M.,罗伊,N.,特伦,S
相关软件: 活性氧;高温;Tekkotsu…
主要字段: 计算机科学(68-XX);系统论;控制(93-XX)

阿提拉

7份文件引用(2008–2020)
软件作者: Wareing,T.A.公司。;麦基,J.M。;莫雷尔,J.E。
相关软件: 数字Py;德诺沃;PolyMesher公司
主要字段: 偏微分方程(35-XX);算子理论(47-XX);数值分析(65-XX)…

PolyAML公司

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

ReVirt公司

在0个文档中引用
软件作者: Dunlap,G.W.,King,S.T.,Cinar,S.,Basrai,M.A.,Chen,P.M。
相关软件: CloudSec;RSYSLOG;SecVisor…
主要字段: 计算机科学(68-XX)

AtomCaml公司

3份文件引用(2005–2022)
软件作者: Michael F.Ringenburg。;丹·格罗斯曼
相关软件: 萨摩亚;柔道STM;SPEC基准…
主要字段: 计算机科学(68-XX)

G空间

3份文件引用(2015–2022)
软件作者: Mai Zheng、Vignesh T.Ravi、Feng Qin、Gagan Agrawal
相关软件: CUDA;GKLEE;GPU验证…
主要字段: 数学逻辑与基础(03-XX);动力系统与遍历理论(37-XX);计算机科学(68-XX)…

终端机

3份文件引用(2013–2015)
软件作者: 梁森林、迈克尔·基弗
相关软件: 格林戈;XSB;扣…
主要字段: 计算机科学(68-XX)

测试NG

2份文件引用(2009–2012)
软件作者: 塞德里克·比斯特,哈尼·苏莱曼
相关软件: SpecExplorer;N模型;UniTESK…
主要字段: 计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

电子回旋共振

2份文件引用(2021)
软件作者: 雅各布·博塞克、德克·苏尔曼
相关软件: irace;j金属;R、 …
主要字段: 概率论与随机过程(60-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)

车库

2份文件引用(2021–2022)
软件作者: 瑞恩·朱利安(Ryan Julian);等人。
相关软件: 地平线;github;皮子弹…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)

TechTalk公司

3份文件引用(1998–2000)
软件作者: Lakshman,纽约州。;迈克尔·R·米勒(Michael R.Miller)。;Lombeyda,Santiago V.圣地亚哥五世。
相关软件: Matlab;枫树;NSPCG…
主要字段: 总体主题;藏品(00-XX);数值分析(65-XX);计算机科学(68-XX)

tqdm(全面质量管理)

在0个文档中引用
软件作者: 卡斯珀·奥达·科斯塔·路易斯
相关软件: 蟒蛇;天文术;科学…
主要字段:

阿德拉

2份文件引用(2009–2021)
软件作者: P.N.布朗
相关软件: 交易.ii;PETSc;C++AMP…
主要字段: 组合数学(05-XX);数值分析(65-XX);计算机科学(68-XX)

原子能机构

2份文件引用(2019–2020)
软件作者: Arpit Joshi;维杰·纳加拉扬(Vijay Nagarajan);维格拉斯地层;马塞洛·辛特拉
相关软件: WHISPER公司;Mnemosyne;无记录…
主要字段: 计算机科学(68-XX)

compboost公司

1份文件引用(2023)
软件作者: 沙尔克,D。;托马斯·J。;比什尔,B。
相关软件: mboost;R;犰狳…
主要字段: 统计学(62-XX)

杜德TM

2份文件引用(2019–2023)
软件作者: 刘梦星;张明兴;康晨;钱学海;吴永伟;任静蕾
相关软件: DiSTM;HiperTM;Erlang…
主要字段: 计算机科学(68-XX)

GM种族

1份文件引用(2021)
软件作者: M.Zheng、V.T.Ravi、F.Qin、G.Agrawal
相关软件: GPU验证;豆腐;巴拉库达…
主要字段: 计算机科学(68-XX)

LibKGE公司

1份文件引用(2021)
软件作者: Samuel Broscheit、Daniel Ruffinelli、Adrian Kochsiek、Patrick Betz、Rainer Gemulla
相关软件: DGL-KE;派肯;OpenKE…
主要字段: 计算机科学(68-XX)

伐木工人

在0个文档中引用
软件作者: 马克·范德鲁
相关软件: R;对数4r;dlstats…
主要字段:

ModSecurity(ModSecurity)

1份文件引用(2022)
软件作者: 菲利佩·齐默勒(Felipe Zimmerle);等人。
相关软件: 萨纳尔;用鼻子哼哼;swrl…
主要字段: 计算机科学(68-XX)

OntoLog(登录)

1份文件引用(2002)
软件作者: 乔恩·赫格兰
相关软件: 卵黄抗体;SpeechSkimmer;Logjam…
主要字段: 计算机科学(68-XX)

PRe学习

2份文件引用(2022–2023)
软件作者: 约瑟夫·E·里夫斯。;Heule,Marijn J.H。;Randal E.布莱恩特。
相关软件: CaDiCaL;Paracooba;基萨特…
主要字段: 计算机科学(68-XX)

原型

1份文件引用(2012)
软件作者: Galuba W、Aberer K、Despotovic Z、Keller W
相关软件: 亚马逊EC2;开放星云;桉树…
主要字段: 计算机科学(68-XX)

斯马拉

1份文件引用(2012)
软件作者: 保罗·利布雷希特(Paul Libbrecht);桑德拉·雷霍尔茨(Sandra Rebholz);丹尼尔·埃尔丁(Daniel Herding);M“uller,Wolfgang;Tscheulin,Felix
相关软件: SetSails!
主要字段: 数学教育(97-XX)

VolpexMPI公司

在0个文档中引用
软件作者: 特洛伊·勒布朗;拉基·阿南德;埃德加·加布里埃尔;Jaspal Subhlok公司
相关软件: mpiP;NAS并行基准测试
主要字段:

XE相同

2份文件引用(2018年至2021年)
软件作者: Verbeek HMW、Buijs JCAM、van Dongen BF、van der Aalst WMP
相关软件: 混合ILPMiner;RapidProM;ProM…
主要字段: 统计学(62-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)

美国残疾人协会

在0个文档中引用
软件作者: Anne-Marie Tousch;克里斯托夫·雷诺丁
相关软件: ImageNet;火炬;TensorLy…
主要字段:

检查

1份文件引用(2013年)
软件作者: Arien Malec、Branden Archer、Chris Pickett、Fredrik Hugosson、Robert Lemmen
相关软件: 自动控制;TXL;状态流…
主要字段: 计算机科学(68-XX)

二氧化碳泡沫

1份文件引用(2018)
软件作者: M.J.Schelhaas、P.W.van Esch、T.A.Groen、B.H.J.de Jong、M.Kanninen、J.Liski、O.Masera、G.M.J.Mohren、G.J.Nabuurs、T.Palosuo、L.Pedroni、A.Vallejo、T.Vilén
相关软件:
主要字段: 地球物理学(86-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX);生物学和其他自然科学(92-XX)…

ddtrace(ddtrace)

在0个文档中引用
软件作者: 布劳恩,B.,秦,H。
相关软件: ThermalPlot;HAMA;嫁接…
主要字段: 计算机科学(68-XX)

十一82

1份文件引用(2016)
软件作者: 埃里克·科斯金(Eric Koskinen);杨俊峰
相关软件: PostgreSQL;爆炸;SQC…
主要字段: 计算机科学(68-XX)

无用的日志

在0个文档中引用
软件作者: 布莱恩·李容罗
相关软件: log4r;dlstats;Python…
主要字段:

输入日志

在0个文档中引用
软件作者: M·Leijten和L·Van Waes
相关软件: JavaScript;输入日志-副本-任务
主要字段:

输入日志-副本-任务

在0个文档中引用
软件作者: Van Waes,L.、Leijten,M.、Pauwaert,T.和Van Horenbeeck,E
相关软件: 输入日志;JavaScript脚本
主要字段:

KD-Lib公司

在0个文档中引用
软件作者: Het Shah、Avishere Khare、Neelay Shah、Khizir Siddiqui
相关软件: 蒸馏器;蟒蛇;BERT…
主要字段:

log4j(对数4j)

1份文件引用(2014年)
软件作者:
相关软件: JCrasher;ArgoUML;jEdit…
主要字段: 计算机科学(68-XX)

对数4r

在0个文档中引用
软件作者: 约翰·迈尔斯·怀特、肯顿·怀特、基里尔·米勒、亚伦·雅各布斯
相关软件: dlstats;蟒蛇;无用日志…
主要字段:

日志GC

在0个文档中引用
软件作者: Lee K.H.、Zhang X.、Xu D。
相关软件: 弹性搜索;诺多兹;AIQL…
主要字段:

记录器

在0个文档中引用
软件作者: 格格利·达洛奇
相关软件: log4r;dlstats;Python…
主要字段:

登录中

在0个文档中引用
软件作者: 马里奥·弗雷斯卡(Mario Frasca)、瓦莱连·索科洛夫斯基(Walerian Sokolowski)
相关软件: log4r;dlstats;Python…
主要字段:

洛吉特

在0个文档中引用
软件作者: 瑞恩·普莱斯
相关软件: log4r;dlstats;Python…
主要字段:

原木堵塞

1份文件引用(2002)
软件作者: Cohen,J.、M.Withgott、P.Piernot
相关软件: SpeechSkimmer;天棚;OntoLog…
主要字段: 计算机科学(68-XX)

天棚

1份文件引用(2002)
软件作者: Weher,K。;A.Poon公司
相关软件: SpeechSkimmer;原木堵塞;OntoLog…
主要字段: 计算机科学(68-XX)

拖把

1份文件引用(2005)
软件作者:
相关软件: 贾斯;Java MaC语言;Java-MOP…
主要字段: 计算机科学(68-XX)

MTGL公司

在0个文档中引用
软件作者: 乔恩·贝里;格雷格·麦基
相关软件: 佩加斯;PBGL;特里利诺斯…
主要字段:

nftables(非表格)

1份文件引用(2018)
软件作者: netfilter.org网站
相关软件: github;NetKAT;菲马托…
主要字段: 计算机科学(68-XX)

包装机

在0个文档中引用
软件作者: 宫本大辅;木村隆二
相关软件:
主要字段:

变形杆菌属

1份文件引用(2019)
软件作者: Seunghee Shin;萨蒂什·库马尔·蒂鲁科瓦利里;詹姆斯·塔克;严索林
相关软件: ThyNVM公司;NOVA;FPTree…
主要字段: 计算机科学(68-XX)

QMaxSATpb

1份文件引用(2022)
软件作者: Dieter Vandesande;德沃尔夫,沃尔夫;巴特·博加特
相关软件: RC2;WASP;MiniSat…
主要字段: 计算机科学(68-XX)

重做

1份文件引用(2020年)
软件作者: D.J.伯恩斯坦
相关软件: 忍者;沙丘;增量…
主要字段: 计算机科学(68-XX)

RSYSLOG公司

在0个文档中引用
软件作者: 阿迪斯康
相关软件: CloudSec;ReVirt;SecVisor…
主要字段: 计算机科学(68-XX)

SoftWrAP软件

1份文件引用(2019)
软件作者: Ellis R.Giles;Kshitij Doshi;彼得·瓦尔曼五世
相关软件: 变形杆菌;ThyNVM公司;NOVA…
主要字段: 计算机科学(68-XX)

三重病毒

在0个文档中引用
软件作者: Mike Shengbo Wang、Florian Beutler、Naonori S.Sugiyama
相关软件: nbodykit;天文术;蟒蛇
主要字段:

tsflex公司

在0个文档中引用
软件作者: 乔纳斯·范·德·唐克特(Jonas Van Der Donckt);杰伦·范·德·唐克特(Jeroen Van Der Donckt);埃米尔·德普里斯特;索菲·范·霍克
相关软件: WESAD;赛格莱恩;tsfresh…
主要字段:

VEE专业

1份文件引用(2005)
软件作者: 罗伯特·B·安格斯。;托马斯·休伯特。
相关软件:
主要字段: 计算机科学(68-XX)

振动器

在0个文档中引用
软件作者: 田高
相关软件: WESAD;赛格莱恩;tsfresh…
主要字段:

油井CAD

1份文件引用(2009)
软件作者: 高级逻辑技术有限公司。
相关软件: MUMPS公司
主要字段: 流体力学(76-XX)

WORT公司

1份文件引用(2019)
软件作者: S.K.Lee、K.H.Lim、H.Song、B.Nam、S.H.Noh
相关软件: 变形杆菌;ThyNVM公司;NOVA…
主要字段: 计算机科学(68-XX)

误差修正器

在0个文档中引用
软件作者: 伊恩·凯尔
相关软件:
主要字段:

MedSort公司

在0个文档中引用
软件作者: 不来梅大学;Lobinger K。;布兰特纳C。
相关软件:
主要字段:

筛选结果依据…

全部的 前5名

相关软件