×

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

UbiCrawler浏览器

引用于33份文件(2004–2022)
软件作者: P.Boldi、B.Codenotti、M.Santini、S.Vigna
相关软件: WebGraph;稀疏矩阵;GitHub…
主要字段: 组合数学(05-XX);数值分析(65-XX);计算机科学(68-XX)…

无网

在11份文件中引用(1998–2014)
软件作者: 诺曼·拉姆齐
相关软件: LISP-STAT;GiNaC;bsa…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);统计学(62-XX);数值分析(65-XX)…

软盘C++

9份文件引用(2006年至2018年)
软件作者: 蒂姆·霍特伯格
相关软件: AMPL;蟒蛇;游戏…
主要字段: 总体主题;藏品(00-XX);变分法与最优控制;优化(49-XX);计算机科学(68-XX)…

康考迪亚

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

利米

4份文件引用(2015–2019)
软件作者: 乔恩,帕沃;埃德蒙·克拉克(Edmund M.Clarke)。;托马斯·亨辛格。;拉德哈克利什纳(Radhakrishna),阿琼(Arjun);列奥尼德·雷日克;萨曼塔(Samanta)、鲁普沙(Roopsha);托尔斯滕·塔拉赫
相关软件: 利斯;CBMC;SymDiff…
主要字段: 计算机科学(68-XX)

预ASP

4份文件引用(2016–2022)
软件作者: 马蒂亚斯·尼克尔斯
相关软件: 探测日志;棱镜;Clingo…
主要字段: 计算机科学(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)…

PIROL公司

3份文件引用(2002–2003)
软件作者: 斯蒂芬·赫尔曼
相关软件: 方面J;ArchJava建筑
主要字段: 计算机科学(68-XX)

图形生成

1份文件引用(2023)
软件作者: K.Xirogiannopoulos、V.Srinivas、A.Deshpande
相关软件: 奈亚德;利格拉;图形螺栓…
主要字段: 计算机科学(68-XX)

MauveDB公司

2份文件引用(2012–2017)
软件作者: A.德什潘德;S.马登
相关软件: 酯类;电报CQ;FAUST2…
主要字段: 计算机科学(68-XX);系统论;控制(93-XX)

Tarskis_几何

2份文件引用(2017)
软件作者: T.J.M.马卡里奥斯
相关软件: 存档正式证据;米扎尔;校准仪9…
主要字段: 数学逻辑与基础(03-XX);几何(51-XX)

ACLAN公司

1份文件引用(1990)
软件作者: 萨帕塔,E.L。;普拉塔,O.G。;里维拉,F.F。;布鲁格拉,J.D。;杜阿洛,R。;贝纳维德斯,I。;阿圭略,F。
相关软件: ——
主要字段: 计算机科学(68-XX)

雅典

1份文件引用(2019)
软件作者: Saha,D.、A.Floratou、K.Sankaranarayanan、U.F.Minhas、A.R.Mittal、F.Özcan
相关软件: BabelNet;吊索;StanfordCoreNLP…
主要字段: 计算机科学(68-XX)

杰西

1份文件引用(2001)
软件作者: 哈吉·伊斯梅尔(Abdul S.Haji-Ismail)。;陈敏;Phil W.Grant。;马克·基德尔
相关软件: ——
主要字段: 计算机科学(68-XX)

妈咪

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

NESTML公司

在0个文档中引用
软件作者: 迪米特里·普洛特尼科夫(Dimitri Plotnikov)、伯恩哈德·伦佩(Bernhard Rumpe)、英加·布伦德尔(Inga Blundell)、坦莫·伊彭(Tammo Ippen)、乔森·马丁·埃普勒(Jochen Martin Eppler)、艾
相关软件: ——
主要字段: ——

筛选结果依据…

全部的 前5名

相关软件