×

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

PostgreSQL

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

BSPlib公司

41篇文献引用(1997–2020)
软件作者: 贾维斯,S.A。;希尔,J.M.D。;Siniolakis,C.J。;瓦西列夫。
相关软件: BSP备份;PVM;多核BSP…
主要字段: 组合数学(05-XX);凸和离散几何(52-XX);数值分析(65-XX)…

SQL摘要

16篇文献引用(1999–2017)
软件作者: 丹·拉斯穆森;罗纳德·雅格
相关软件: 圣蒂克;PostgreSQL;模糊夹
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

Ontop(顶部)

13份文件引用(2014–2021)
软件作者: 罗曼·孔查科夫(Roman Kontchakov);马丁·雷兹克;玛丽亚诺·罗德里格斯-穆罗;肖国辉;迈克尔·扎克哈里亚舍夫
相关软件: MASTRO公司;SPARQL;LUBM…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

MYSTIQ公司

6篇文献引用(2007–2021)
软件作者: Boulos,J。;Dalvi,N.N。;Mandhani,B。;马图尔,S。;关于C。;苏西乌(D.Suciu)。
相关软件: 三重奏;ProbView;MayBMS…
主要字段: 计算机科学(68-XX)

空间SQL

6篇文献引用(1996–2008)
软件作者: M.Egenhofer先生
相关软件: DB2;神谕;Geo-sal…
主要字段: 计算机科学(68-XX)

XPERANTO公司

4份文件引用(2005–2010)
软件作者: M.J.Carey、D.Florescu、Z.G.Ives、Y.Lu、J.Shanmugasundaram、E.J.Shekita、S.N.Subramanian
相关软件: DB2;神谕;XQuery…
主要字段: 计算机科学(68-XX)

计算机辅助工艺

9份文件引用(2008年-2010年)
软件作者: 肯尼思·克劳
相关软件:
主要字段: 统计学(62-XX);计算机科学(68-XX);流体力学(76-XX)…

代码任务

4份文件引用(2007-2013)
软件作者: 埃尔纳尔·哈吉耶夫;马修·韦巴埃(Mathieu Verbaere);Oege De Moor公司
相关软件: 方面J;JHotDraw;XSB…
主要字段: 计算机科学(68-XX)

首选项SQL

5份文件引用(2012–2020)
软件作者: Kießling,W.,Endres,M.,Wenzel,F。
相关软件: 懒惰;TunePareto;ggplot2…
主要字段: 计算机科学(68-XX)

PSQL(PSQL)

4份文件引用(1998–2005)
软件作者: Dey,Debabrata;苏米特·萨卡尔
相关软件: ProbView;ProTDB公司
主要字段: 总体主题;藏品(00-XX);数论(11-XX);计算机科学(68-XX)

HoTTSQL

6篇文献引用(2018–2022)
软件作者: 朱淑墨、康斯坦丁·维茨、张爱文、丹·苏秋
相关软件: Coq;链接;克莱斯利…
主要字段: 数学逻辑与基础(03-XX);代数拓扑(55-XX);计算机科学(68-XX)

空标题

3份文件引用(2017–2022)
软件作者: Christopher R.Aberger、Susan Tu、Kunle Olukotun、Christophers Ré
相关软件: HyperBench;利格拉;图形X…
主要字段: 组合数学(05-XX);计算机科学(68-XX)

3份文件引用(2010–2011)
软件作者: 大陆,G.、莫里塞特,G.,威尔士,M。
相关软件: MiniML;标签;Ynot…
主要字段: 计算机科学(68-XX);系统论;控制(93-XX);信息与通信理论,电路(94-XX)

洞穴堆积

5份文件引用(2010年至2022年)
软件作者: 玛格斯·维纳斯(Margus Veanes);尼古拉·蒂尔曼;乔纳森·德·哈勒克斯
相关软件: z3;Z3str3;陌生人…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)

序列2SQL

4份文件引用(2018–2023)
软件作者: 维克多·钟(Victor Zhong)、熊才明(Caiming Xiong)、理查德·索彻(Richard Socher)
相关软件: GPT-3;BERT;RoBERTa…
主要字段: 计算机科学(68-XX);统计力学,物质结构(82-XX);运筹学,数学规划(90-XX)…

火焰

3份文件引用(2021–2022)
软件作者: 王天宇、马可·莫里奇、M.Usaid Awan、刘亚萌、苏迪帕·罗伊、辛西娅·鲁丁、亚历山大·沃尔福夫斯基
相关软件: 圣母火焰;GOSDT;CMAR…
主要字段: 统计学(62-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)

科学数据库

2份文件引用(2016–2023)
软件作者: Stonebraker,M.、Brown,P.、Zhang,D.、Becla,J。
相关软件: R;陆地卫星;dtw…
主要字段: 统计学(62-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)

泰美

2份文件引用(2020–2021)
软件作者: Heng Li(李恒)
相关软件: VCF工具;鲍蒂2;金属…
主要字段: 统计学(62-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)

Asterix数据库

1份文件引用(2023)
软件作者: 萨塔姆·阿尔苏拜埃、亚西尔·阿尔托维姆、霍瑟姆·阿尔特瓦伊里、亚历山大·贝姆、维纳亚克·博尔卡、英伊·布、迈克尔·凯里、印奇·塞丁迪尔、马都苏丹·奇朗吉、库拉姆·法拉兹、尤金妮亚·加布里埃洛娃、拉曼·格罗弗、扎卡里·海尔布伦、金永硕、陈丽、李光强、吉·马恩·奥克、尼古拉·奥诺泽、波里亚·皮尔扎德、瓦西里斯·茨拉斯、拉雷斯·维尼卡、建文,直到韦斯特曼
相关软件: DB2;MonetDB;Bigtable…
主要字段: 计算机科学(68-XX)

图形REL

1份文件引用(2014)
软件作者: 谢里夫·萨克
相关软件: CIS-X;G字符串;NeMa…
主要字段: 计算机科学(68-XX)

秋林GQ

2份文件引用(2009–2019)
软件作者: 安东尼奥·巴迪亚
相关软件:
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

SociaLite公司

1份文件引用(2022年)
软件作者: Jiwon Seo;Stephen Guo;莫妮卡·S·林
相关软件: 普雷格尔;大数据日志;奈德…
主要字段: 计算机科学(68-XX)

SQL化器

2份文件引用(2021–2023)
软件作者: Yaghmazadeh,N。;Wang,Y。;Dillig,我。;Dillig,T。
相关软件: 稳健填充;NLTK;aplore3…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

壁球

1份文件引用(2018)
软件作者: Boehm,A.M.、Seipel,D.、Sickmann,A.、Wetzka,M。
相关软件: 数据日志
主要字段: 计算机科学(68-XX)

隐形数据库

2份文件引用(2021–2022)
软件作者: Alexey Gribov、Dhinakaran Vinayagamurthy、Sergey Gorbunov
相关软件: NuFHE;CryptDB;重新思考DB…
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

雅典

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

回流

1份文件引用(2020)
软件作者: 费拉拉,彼得罗;卢卡·奥利维埃里;福斯托·斯波托
相关软件: 戴坦;TAJ公司;像素…
主要字段: 计算机科学(68-XX)

DB烤面包机

1份文件引用(2018)
软件作者: 艾哈迈德,Y。;科赫,C。
相关软件: 火山;MonetDB;Scala…
主要字段: 计算机科学(68-XX)

弗里尔/SQL

1份文件引用(2007)
软件作者: 谢东(Walter);鲍德温,Jim F。
相关软件:
主要字段: 计算机科学(68-XX)

杰克兔

1份文件引用(2020)
软件作者: 西海岸钟。;林,H.P。;陈,S.C。;江,M.F。;Y.C.钟。
相关软件: MongoDB;MySQL数据库
主要字段: 计算机科学(68-XX)

MCDB公司

1份文件引用(2014)
软件作者: Jampani R、Xu F、Wu M等。
相关软件:
主要字段: 计算机科学(68-XX)

MLPQ(MLPQ)

1份文件引用(2010)
软件作者: P.Revesz、Y.Li
相关软件: PostgreSQL;迪达尔;XPERANTO…
主要字段: 计算机科学(68-XX)

OREX-J公司

1份文件引用(2013)
软件作者: 朗(Jan Christian);托马斯·威贾贾
相关软件: 北极星;BEAGLE公司;jMetal…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)

Q*证书

1份文件引用(2018)
软件作者: 奥尔巴赫,J.S.、赫泽尔,M.、曼德尔,L.、辛纳,A.、西蒙,J。
相关软件: 序列;HoTTSQL;SQLCert…
主要字段: 计算机科学(68-XX)

SciHive公司

1份文件引用(2016)
软件作者: Y.Geng、X.Huang、M.Zhu、H.Ruan、G.Yang
相关软件: 火花;SciMATE公司;格雷克斯…
主要字段: 数值分析(65-XX);计算机科学(68-XX)

Slick(切片)

1份文件引用(2019)
软件作者:
相关软件: DiscreteZOO;查找统计信息;MathHub.info…
主要字段: 计算机科学(68-XX)

SQAK公司

1份文件引用(2013)
软件作者: 塔塔,S。;G.M.洛曼
相关软件:
主要字段: 计算机科学(68-XX)

TVQL公司

1份文件引用(2002)
软件作者: 莫拉·莫罗(Moura Moro)、米雷拉(Mirella);雪绒花,尼娜;佩雷拉·扎帕(Pereira Zaupa),阿格拉(Agla^e);克莱西奥·萨拉瓦·多斯·桑托斯
相关软件:
主要字段: 计算机科学(68-XX)

筛选结果依据…

全部的 前5名

相关软件