×

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

BATON公司

11份文件引用(2006–2020)
软件作者: 贾加迪什,H.V.,Ooi,B.C.,Vu,Q.H。
相关软件: 和弦;糕点;SSim;…(S)…
主要字段: 组合数学(05-XX);计算机科学(68-XX)

HMMER公司

12份文件引用(2006–2019)
软件作者: Robert D.Finn、Jody Clements、Sean R.Eddy
相关软件: ClustalW;UniProt;肌肉…
主要字段: 总体主题;藏品(00-XX);欧氏空间(42-XX)的调和分析;统计学(62-XX)…

E-KRHper公司

11份文件引用(2007–2021)
软件作者: 比约恩·佩尔泽;Christoph Wernhard公司
相关软件: E定理证明器;E-Darvin;萨奇莫…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

绑定数据库

4份文件引用(2009–2018)
软件作者: Liu T、Lin Y、Wen X、Jorrise RN、Gilson MK
相关软件: ChEMBL;KEGG;ImageNet…
主要字段: 总体主题;藏品(00-XX);统计学(62-XX);计算机科学(68-XX)…

HoTTSQL

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

XSnippet公司

1份文件引用(2017)
软件作者: Naiyana Sahavechaphan;卡哈尔粘土池
相关软件: 巴黎网站;方解石;哈尔普…
主要字段: 计算机科学(68-XX)

帕戈达

4份文件引用(2015–2022)
软件作者: 周玉娇;格劳,伯纳多·昆卡;亚沃·内诺夫;马克·卡明斯基(Mark Kaminski);伊恩·霍洛克斯
相关软件: 数据日志;波利安娜;CEX…
主要字段: 计算机科学(68-XX)

美国存托凭证

3份文件引用(2001–2004)
软件作者: 阿德里亚诺·迪·帕斯奎尔(Adriano Di Pasquale);恩里科·纳德利
相关软件:
主要字段: 计算机科学(68-XX)

生物集市

3份文件引用(2015年至2017年)
软件作者: Zhang J、Haider S、Baran J、Cros A、Guberman JM、Hsu J、Liang Y、Yao L、Kasprzyk A
相关软件: R;ClustalW;BED工具…
主要字段: 总体主题;藏品(00-XX);统计学(62-XX);生物学和其他自然科学(92-XX)

生物反应器

1份文件引用(2016)
软件作者: Durinck S、Huber W、,
相关软件: R;生物导体;KEGG…
主要字段: 统计学(62-XX);生物学和其他自然科学(92-XX)

CEX公司

3份文件引用(2012–2019)
软件作者: 鲍里斯·科涅夫、米歇尔·路德维希、弗兰克·沃尔特
相关软件: 内容CVS;MASTRO公司;Ontop…
主要字段: 计算机科学(68-XX)

GRECS公司

3份文件引用(2017–2022)
软件作者: Meng,X.、Kamara,S.、Nissim,K.、Kollios,G。
相关软件: 图形实验室;线索;GitHub…
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

袋鼠

1份文件引用(2012)
软件作者: Betel,D.,Hogue,C。
相关软件: SCiFI;WebLogo;BioProspector公司
主要字段: 计算机科学(68-XX)

MedleySolver公司

3份文件引用(2021年至2022年)
软件作者: 尼基尔·皮姆帕尔切尔(Nikhil Pimpalkhare);费德里科·莫拉;伊丽莎白·波尔格林(Elizabeth Polgreen);Sanjit A.Seshia。
相关软件: 马赫SMT;z3;SATZILA…
主要字段: 计算机科学(68-XX)

QAGen公司

引用于2份文件(2014–2016)
软件作者: C.Binnig、D.Kossmann、E.Lo、M.T.Özsu
相关软件: 萨齐拉;PicoSAT;小脚…
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

任何DBC

引用于2份文件(2018–2020)
软件作者: 儿子T.Mai;Ira同意;马丁·斯托加德
相关软件: gSpan;DBSCAN;DBSCAN先生…
主要字段: 统计学(62-XX);计算机科学(68-XX)

柏林国防部

在0个文档中引用
软件作者: D“untgen,Christian;Behr,Thomas;G”uting,Ralf Hartmut
相关软件: SUMO;动态标记
主要字段:

C划船

1份文件引用(2022)
软件作者: Daniel Lemire、Owen Kaser、Nathan Kurz、Luca Deri、Chris O'Hara、François Saint-Jacques、Gregory Ssi Yan Kai
相关软件: 多品牌;Normaliz公司
主要字段: 组合数学(05-XX);阶、格、有序代数结构(06-XX);群论与推广(20-XX)…

EpiChord乐队

1份文件引用(2014)
软件作者: Leong,B.,Liskov,B.,Demaine,E.D。
相关软件: 和弦
主要字段: 计算机科学(68-XX)

SkipTree(跳过树)

1份文件引用(2005)
软件作者: 赛义德·阿莱伊(Saeed Alaei);穆罕默德·图西;穆罕默德·古德西
相关软件:
主要字段: 计算机科学(68-XX)

Asterix数据库

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

果汁

1份文件引用(2022)
软件作者: Dang,M。;Khosravi,P。;梁,Y。;Vergari,A。;Van den Broeck,G。
相关软件: 斯特鲁德尔
主要字段: 计算机科学(68-XX)

libkdtree++

在0个文档中引用
软件作者: 马丁·克拉夫特(Martin F.Krafft);保罗·哈里斯;西尔万·布盖雷尔
相关软件:
主要字段:

米米尔

1份文件引用(2016)
软件作者: 瓦伦丁·塔布兰;卡琳娜·邦切娃;伊恩·罗伯茨(Ian Roberts);哈米什·坎宁安
相关软件:
主要字段: 计算机科学(68-XX)

ProPolyne公司

1份文件引用(2002)
软件作者: 罗尔夫·R·施密特。;赛勒斯·沙哈比
相关软件:
主要字段: 计算机科学(68-XX)

Redis(Redis)

在0个文档中引用
软件作者: 萨尔瓦托·桑菲利波
相关软件: 埃尔朗;射线;TensorFlow…
主要字段:

零数据库

1份文件引用(2022)
软件作者: 迈克尔·埃戈罗夫(Michael Egorov),麦克莱恩·威尔基森(MacLane Wilkison)
相关软件: NuFHE;CryptDB;重新思考DB…
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

DBOWL公司

在0个文档中引用
软件作者: 玛丽亚·德尔·马尔·罗尔丹·加西亚(Maria del Mar Roldan-Garcia)、何塞·奥尔达纳·蒙特斯(Jose F.Aldana-Montes)
相关软件:
主要字段:

筛选结果依据…

全部的 前5名

相关软件