×

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

gmp公司

299篇文献引用(1995–2024)
软件作者: 格兰伦德
相关软件: MPFR;NTL;PARI/GP…
主要字段: 数论(11-XX);数值分析(65-XX);计算机科学(68-XX)…

89份文件引用(2003–2023)
软件作者: Stoica,I.、Morris,R.、Karger,D.、Kaashoek,M.F.、Balakrishnan,H
相关软件: 糕点;指挥棒;Globus工具包…
主要字段: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)…

MIM公司

137篇文献引用(1995–2024)
软件作者: 大卫·爱德华兹
相关软件: 玻璃;TETRAD公司;R、 …
主要字段: 组合数学(05-XX);概率论与随机过程(60-XX);统计学(62-XX)…

糕点

66份文件引用(2001–2023)
软件作者: 安东尼·罗斯特龙(Antony Rowstron);彼得·德鲁舍尔
相关软件: 和弦;脚本;BATON…
主要字段: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)…

MS SQL服务器

64篇文献引用(1998–2021)
软件作者: 微软
相关软件: 神谕;DB2;XPath…
主要字段: 统计学(62-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

萨帕

89份文件引用(1993–2023)
软件作者: 威廉·康斯坦丁;唐纳德·珀西瓦尔
相关软件: wmtsa;长备忘录;R、 …
主要字段: 动力系统与遍历理论(37-XX);统计学(62-XX);数值分析(65-XX)…

阿维斯帕

82份文件引用(2005–2023)
软件作者: 信息社会技术方案下的欧洲共同体(1998-2002)
相关软件: 卡斯珀;ProVerify;OFMC…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)

PALP公司

75篇文献引用(2003–2023)
软件作者: M.Kreuzer、H.Skarke
相关软件: SageMath;TOPCOM公司;Calabi-Yau数据库…
主要字段: 代数几何(14-XX);微分几何(53-XX);计算机科学(68-XX)…

划线器

在30份文件中引用(2001年至2020年)
软件作者: 安东尼·罗斯特龙(Antony Rowstron);安娜·马里·科尔马雷克;米盖尔·卡斯特罗;彼得·德鲁舍尔
相关软件: 糕点;和弦;Rappel…
主要字段: 组合数学(05-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…

Java CoG工具包

12份文件引用(2001–2010)
软件作者: 格雷戈尔·冯·拉泽夫斯基;Jarek Gawor;彼得·莱恩(Peter Lane);雷恩,内尔;迈克·拉塞尔
相关软件: Globus工具包;飞马座;Condor-G…
主要字段: 计算机科学(68-XX);地球物理学(86-XX);生物学和其他自然科学(92-XX)

云模拟

22篇文献引用(2012–2023)
软件作者: 罗德里戈·N·卡莱罗斯、拉吉夫·兰扬、塞萨尔·A·F·德·罗斯、拉杰库马尔·布亚
相关软件: iFogSim;网格模拟;pMapper…
主要字段: 概率论与随机过程(60-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

全球ADS

18篇文献引用(2001–2015)
软件作者: 肯·肯尼迪
相关软件: ScaLAPACK;Globus工具包;网格实验室…
主要字段: 一般性和全局性主题;藏品(00-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

XtremWeb

10篇文献引用(2001–2017)
软件作者:
相关软件: BOINC公司;夏洛特;标枪++…
主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…

软糖

18篇文献引用(1993–2022)
软件作者: M.Carlsson、T.Hallgren。
相关软件: 哈斯克尔;清洁;名义上的伊莎贝尔…
主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)

P-FCM公司

10篇文献引用(2003–2021)
软件作者: Loia,V。;佩德里茨,W。;Senatore,S。
相关软件: UCI-ml;缓解F;威卡…
主要字段: 统计学(62-XX);计算机科学(68-XX)

Qu Prolog公司

12份文件引用(1992-2006)
软件作者: 克拉克,基思;彼得·罗宾逊(Peter J.Robinson)。;理查德·黑根
相关软件: Ergo 6;KQML;莱拉…
主要字段: 一般性和全局性主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)

ADO公司。净值

6篇文献引用(2002–2012)
软件作者: 微软
相关软件: VisualStudio。网络;MySQL;ASP。NET…
主要字段: 动力系统与遍历理论(37-XX);数值分析(65-XX);计算机科学(68-XX)…

积极主动

6篇文献引用(2002–2019)
软件作者: Inria Sophia Antipolis公司
相关软件: AmbientTalk;防抱死制动系统;甲酚…
主要字段: 数值分析(65-XX);计算机科学(68-XX);地球物理学(86-XX)

维瓦尔第

6篇文献引用(2010–2018)
软件作者: Dabek,F.、Cox,R.、Kaashoek,F.和Morris,R。
相关软件: 糕点;和弦;请…
主要字段: 组合数学(05-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

simpA公司

5份文件引用(2002–2012)
软件作者: 亚历山德罗·里奇;米尔科·维罗利;朱利奥·皮安卡斯特利
相关软件: 羽量级Java;CArtAgO;重新规范…
主要字段: 计算机科学(68-XX)

iFogSim软件

4份文件引用(2020–2023)
软件作者: 哈希特·古普塔、阿米尔·瓦希德·达斯特杰迪、索米亚·戈什、拉杰库马尔·布亚
相关软件: YAFS;FogNetSim++;云模拟…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);生物学和其他自然科学(92-XX)

标签等级T

6篇文献引用(2016–2021)
软件作者: 谢杰瑞、陈明明、博莱斯瓦夫·西曼斯基
相关软件: CFinder;NetworkX;SELP…
主要字段: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)…

CmapTools(地图工具)

2份文件引用(2009–2010)
软件作者: IHMC;Novak,J.D。;A.J.Cañas、G.Hill、R.Carff、N.Suri、J.Lott、G.Gomez、T.Eskridge、M.Arroyo和R.Carvajal
相关软件: 语义向量;NETBOOK;TableSeer…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

康考迪亚

6篇文献引用(2001–2006)
软件作者: David Wong、Noemi Paciorek、Tom Walsh、Joe DiCelie、Mike Young、Bill Peet
相关软件: Aglet;旅行者号;胃…
主要字段: 计算机科学(68-XX)

泡沫

2份文件引用(2007–2015)
软件作者: Marc Ehrig,约克当然
相关软件: MAFRA;KitAMO;锚-项目…
主要字段: 计算机科学(68-XX)

I2T型

1份文件引用(2012)
软件作者: 姚,B。;Yang,X.先生。;林,L。;Lee,M.W。;朱S.C。
相关软件: Im2Text;密度盖;PASCAL VOC…
主要字段: 计算机科学(68-XX)

AGVI公司

3份文件引用(2001–2018)
软件作者: 宋,黎明;阿德里安·佩里格(Adrian Perrig);多安塔姆·潘
相关软件: JavaSPI;MJ;Spi2Java…
主要字段: 计算机科学(68-XX)

大白鲨

1份文件引用(2003)
软件作者: 自由科学
相关软件: 惠斯勒;视窗-眼睛;ASAB…
主要字段: 计算机科学(68-XX)

在0个文档中引用
软件作者: 布雷特·诺尔(Brett Naul)、圣范·范德沃尔特(Stéfan van der Walt)、阿里恩·克里林(Arien Crellin-Quick)、约书亚·S·布鲁姆(Joshua S.Bloom)、费尔南多·佩雷斯(Fernando Pérez)
相关软件: tsfresh;Python;GitHub…
主要字段: 计算机科学(68-XX)

Gtk数学视图

3份文件引用(2003–2011)
软件作者: 卢卡·帕多瓦尼
相关软件: 马蒂塔;SPARQL;arXMLiv…
主要字段: 计算机科学(68-XX)

IBPT公司

3份文件引用(2012–2019)
软件作者: 卡拉加西迪斯,A。;魏茨曼,P。;尼尔森,T。;Peuhkuri,R。;Hagentoft,C。;罗德,C。
相关软件: WUFI;ode45;MATLAB ODE套件…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);经典热力学,传热(80-XX)…

Java贝叶斯

2份文件引用(2005–2011)
软件作者: 法比奥·加格利亚迪·科兹曼
相关软件: BNT;HUGIN公司;MSBNx…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

联合能力保障计划

1份文件引用(2002)
软件作者: 韦尔奇,P.H。;奥尔德斯,J.R。;J.福斯特。
相关软件: 马戏团;Z;韩国石油公司
主要字段: 计算机科学(68-XX)

SRTP公司

2份文件引用(2002–2010)
软件作者: 宋炳春;广西钟;永泰信
相关软件:
主要字段: 计算机科学(68-XX)

SWILL公司

1份文件引用(2010年)
软件作者: Sotiria Lampoudi;大卫·M·比兹利
相关软件: CScout公司;SQLite;休眠…
主要字段: 计算机科学(68-XX)

X搜索

3份文件引用(2001–2009)
软件作者: 阿利齐奥·海德琴(Aluízio Haendchen Filho);do Prado,Hércules A。;恩格尔、保罗·马丁斯;阿恩特·冯·斯塔
相关软件: XPath;XSEarch;GaX搜索
主要字段: 计算机科学(68-XX)

海滩管理员

在0个文档中引用
软件作者: Brignone M.、Schiaffino C.、Isla F.、Ferrari M。
相关软件: Python;表面RCaT;尤利西斯…
主要字段:

ConScript公司

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

珊瑚礁

2份文件引用(2002–2007)
软件作者: CAIDA公司
相关软件: 网格信息软件;磁铁
主要字段: 组合数学(05-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)

梦想团队

2份文件引用(2001–2009)
软件作者: 斯蒂芬·卢科什(Stephan Lukosch);约尔格·罗斯
相关软件: DistEdit;AutoCAD软件
主要字段: 计算机科学(68-XX)

EPICS系统

在0个文档中引用
软件作者: EPICS控制
相关软件: Simulink;Python;PERL…
主要字段:

FlexiMine公司

2份文件引用(2003)
软件作者: Ben-Eliyahu-Zohary,R。;Domshlak,C。;古德斯,E。;柳斯特尼克,N。;梅赛尔,A。;Rosen,T。;Shimony,S.E。
相关软件: 诺曼
主要字段: 计算机科学(68-XX)

iJADE监督员

2份文件引用(2003年至2006年)
软件作者: Raymond S.T.李。
相关软件: iJADE IWShopper公司
主要字段: 计算机科学(68-XX)

它本身

1份文件引用(2022)
软件作者: 自由软件基金会。
相关软件: 数字Py;卢比;字符串列表…
主要字段: 全局分析,流形分析(58-XX);相对论与引力理论(83-XX);天文学和天体物理学(85-XX)

网络草图

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

POOC公司

2份文件引用(2003–2005)
软件作者: 汉斯·施伦克;乔治·林格威尔斯基
相关软件: 爆炸;Java PathFinder;罗斯特拉…
主要字段: 计算机科学(68-XX)

参宿七

2份文件引用(2018–2020)
软件作者: 赵小涵、Alessandra Sala、郑海涛、Ben Y.Zhao
相关软件: 维瓦尔第;hydra+;图表数据…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

SoMR公司

2份文件引用(2006–2008)
软件作者: 陈世刚;尤瓦尔·沙维特
相关软件:
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)

计算机集成制造系统

1份文件引用(2007)
软件作者: 威登哈默系统公司
相关软件:
主要字段: 运筹学、数学规划(90-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

CNA工具

在0个文档中引用
软件作者: 罗伯托·路易斯·苏扎·蒙泰罗、雷娜塔·苏萨·弗雷塔斯·丹塔斯·巴雷托、安德烈亚·丽塔·达席尔瓦、何塞·罗伯托·德阿拉乌乔·方图拉、埃尔纳内·博尔赫斯·德巴罗斯·佩雷拉
相关软件: 西格玛.js;SocNetV;Gephi…
主要字段:

CTESK公司

1份文件引用(2015年)
软件作者: 俄罗斯科学院系统编程研究所
相关软件: UniTESK;SMV;自旋蛋白
主要字段: 计算机科学(68-XX)

库乔

在0个文档中引用
软件作者: Rieck,K.、Krueger,T.、Dewald,A。
相关软件: JavaScript脚本
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

DPW模拟

在0个文档中引用
软件作者: Han SN、Lee GM、Crespi N、Luong NV、Heo K、Brut M、Gatellier P。
相关软件: GloudSim;格罗德西姆;DCSim…
主要字段:

EcheScan公司

1份文件引用(2020)
软件作者: Koji Kurihara;福米奥·Ishioka;Shoji Kajinishi
相关软件: SaTScan;闪亮的;
主要字段: 统计学(62-XX)

菲德斯

1份文件引用(2015年)
软件作者: 斯特拉克斯R,皮森斯F
相关软件: TALx86;桑库斯;Java Jr语言
主要字段: 计算机科学(68-XX)

FlyNetSim公司

在0个文档中引用
软件作者: Sabur Baidya;Zoheb Shaikh;马可·利沃拉托
相关软件:
主要字段:

全球分销系统

1份文件引用(2003)
软件作者: 斯蒂娜·布里奇曼;罗伯托·塔马西娅
相关软件: 远景;CrocoCosmos;WilmaScope…
主要字段: 计算机科学(68-XX)

通用汽车金融服务公司

1份文件引用(2008)
软件作者: 巴勃罗·哥特尔夫;亚历杭德罗·祖尼诺;克里斯蒂安·马特奥斯;马塞洛·坎波
相关软件: BRITE;糕点;和弦…
主要字段: 计算机科学(68-XX)

IccTA公司

在0个文档中引用
软件作者: 李丽;亚历山大·巴特尔;TegawendéF.Bissyandé;雅克·克莱恩;伊夫·勒特朗(Yves Le Traon);史蒂文·阿尔兹特(Steven Arzt);等。
相关软件: LibRadar;FraudDroid;monkeyrunner…
主要字段:

内部生成器

1份文件引用(1997)
软件作者: 博兰德;吕克,伯恩哈德作者简介;伯恩哈德·奈勒;丹尼斯·谢特尔
相关软件:
主要字段: 计算机科学(68-XX)

JAVM公司

1份文件引用(2000年)
软件作者: Lau,L.F。;阿南达·A.L。;Tan,G。;W.F.Wong。
相关软件:
主要字段: 计算机科学(68-XX)

联合太平洋航空公司

1份文件引用(2003)
软件作者: 斯蒂芬•马吉尔;布拉德利·斯卡格斯;毛里西奥·爸爸;约翰·黑尔
相关软件:
主要字段: 计算机科学(68-XX)

LIAD公司

1份文件引用(2009)
软件作者: Chang,Ben-Jye;林书玉;金俊宇
相关软件:
主要字段: 计算机科学(68-XX)

LLLWBC公司

1份文件引用(2023)
软件作者: 张磊;吴瑞晨;张玉涵;郑亚飞;吴文玲
相关软件: SPECK;速度;存在…
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

微型CPS

在0个文档中引用
软件作者: 丹尼尔·安东尼奥利(Daniele Antonioli)、尼尔斯·奥勒·蒂彭豪尔(Nils Ole Tippenhauer)
相关软件: OMNet++;pycomm;POX…
主要字段:

MLitB公司

1份文件引用(2017)
软件作者: Meeds E.、Hendriks R.、Al Faraby S.、Bruntink M.、Welling M。
相关软件: 节点.js;asm.js;ComcuteJS…
主要字段: 计算机科学(68-XX)

MobSafe公司

在0个文档中引用
软件作者: 徐建林;于一凡;陈、珍;曹斌;董文宇;郭瑜;曹俊伟
相关软件:
主要字段:

MWStat公司

在0个文档中引用
软件作者: 弗朗西斯科·卢萨达(Francisco Louzada)、安德森·阿拉(Anderson Ara)
相关软件: R;R工作室;RMySQL…
主要字段:

尼西

在0个文档中引用
软件作者: Michael Bensch;艾哈迈德·卡里姆(Ahmed A.Karim)。;J“urgen梅林格;Thilo Hinterberger;Michael Tangermann;Martin Bogdan;Wolfgang Rosenstiel;Niels Birbaumer
相关软件: BCI2000型
主要字段:

节点IO

1份文件引用(2017)
软件作者: Merelo Guervos J.J.、Valdez M.G.、Castillo P.A.、Sanchez P.G.、de las Cuevas P.、Rico N。
相关软件: 节点.js;asm.js;ComcuteJS…
主要字段: 计算机科学(68-XX)

PiLLoW公司

在0个文档中引用
软件作者: Daniel Cabeza、Manuel Hermenegildo、Sacha Varmaa
相关软件:
主要字段:

Q-软

1份文件引用(2003)
软件作者: 甘兹,光环;旺达瓦拉瓦,基蒂;Anan Phonphem公司
相关软件:
主要字段: 计算机科学(68-XX)

QPKI公司

1份文件引用(2002)
软件作者: 拉维·穆卡拉
相关软件:
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

SndObj公司

在0个文档中引用
软件作者: 拉扎里尼,V。
相关软件: 玛丽亚斯;TiViPE;康塔塔…
主要字段:

STTM公司

在0个文档中引用
软件作者: 强季鹏、李云、袁云浩、刘伟、吴新东
相关软件:
主要字段:

SUnet公司

1份文件引用(2005年)
软件作者:
相关软件: MzScheme;GNU广告;南海
主要字段: 计算机科学(68-XX)

TableBank(表格银行)

在0个文档中引用
软件作者: 李明浩、崔磊、黄绍涵、魏福禄、周明、李周军
相关软件: ImageNet;布局LM;PyTorch…
主要字段:

招标人

在0个文档中引用
软件作者: 伊桑·布赫曼
相关软件: ZooKeeper;去;JavaScript脚本
主要字段: 计算机科学(68-XX)

托马特

在0个文档中引用
软件作者: 福斯托·米利塔里(Fausto Milletari)、约翰·弗雷(Johann Frei)、赛义德·艾哈迈德·艾哈马迪(Seyed-Ahmad Ahmadi)
相关软件: 批处理生成器;医管局;TensorFlow…
主要字段:

痕迹带

1份文件引用(2010年)
软件作者: 塞萨尔·格雷罗。;米盖尔·拉布拉多。
相关软件:
主要字段: 计算机科学(68-XX)

TwigStack(扭曲堆栈)+

1份文件引用(2013)
软件作者: 周,J。;谢,M。;X·孟。
相关软件: X标记;被子;棱镜…
主要字段: 计算机科学(68-XX)

VAMO公司

1份文件引用(2018)
软件作者: Perdisci,R.等人。
相关软件: 全景;KEA;FIRMA…
主要字段: 信息与通信理论,电路(94-XX)

VASMM公司

1份文件引用(2002)
软件作者: Masaya Iizuka;Mori,Yuichi;Tomoyuki Tarumi;田中、玉田
相关软件: VASPCA公司
主要字段: 统计学(62-XX)

VXDL软件

1份文件引用(2009)
软件作者: 科斯洛夫斯基(Koslovski)、吉尔赫梅·皮亚加斯(Guilherme Piegas);Primet,Pascale Vicat-Blanc;查奥,安德烈亚·施沃特纳
相关软件: NAS平行基准;MPI/MPICH公司
主要字段: 计算机科学(68-XX)

XFogSim软件

在0个文档中引用
软件作者: Malik A.W.、Qayyum T.、Rahman A.U.、Khan M.A.、Khalid O.和Khan S.U。
相关软件: 去;FogNetSim++;YAFS…
主要字段:

Zzuf公司

在0个文档中引用
软件作者:
相关软件: BFF;苏利;NVD公司
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

Expertus公司

在0个文档中引用
软件作者: Jayasinghe D、Swint G、Malkowski S、Li J、Wang Q、Park J、Pu C
相关软件:
主要字段:

WITS系统

在0个文档中引用
软件作者: 姚丽娜;盛泉Z。;贝纳塔拉(Benatallah)、布阿勒姆(Boualem);沙赫拉姆·达斯特达尔;王贤之;Ali Shemshadi;萨利尔·卡内尔。
相关软件:
主要字段:

筛选结果依据…

全部的 前5名

相关软件