×

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

擅长

软件作者:微软
参考文献: 520份出版物(1989-2022)
相关软件: R;Matlab语言;SPSS软件;visualbasic语言;数学;VBA…
主要领域: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)

XPath

软件作者:w3.org网站
参考文献: 201份出版物(2002-2021年)
相关软件: XQuery;X标记;神谕;SPARQL;X搜索;XMill…
主要领域: 数理逻辑与基础(03-XX);组合数学(05-XX);序,格,有序代数结构(06-XX)

函数

软件作者:w3.org网站
参考文献: 68种出版物(2002-2021)
相关软件: XPath;X标记;神谕;X搜索;木材;SPARQL…
主要领域: 数理逻辑与基础(03-XX);组合数学(05-XX);概率论与随机过程(60-XX)

XDuce公司

软件作者:Haruo Hosoya,本杰明·C·皮尔斯
参考文献: 52种出版物(2003-2020)
相关软件: CDuce;XPath;皮杜斯;XQuery;OCaml公司;XPi…
主要领域: 数理逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)

MPTP 0.2

软件作者:城市,约瑟夫
参考文献: 51种出版物(2006-2021年)
相关软件: 后桅;定理证明者;吸血鬼;TPTP;马拉雷亚;伊莎贝尔/霍尔…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX)

戈比

软件作者:黛比·斯韦恩;迪库克;邓肯寺郎;安德烈亚斯·布贾
参考文献: 34种出版物(2003-2022)
相关软件: R;戈壁;戈壁;2号地块;RGtk2;iplots…
主要领域: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)

旋转

软件作者:霍洛克斯,I.,帕特尔·施耐德,P.F.,博利,H.,塔贝特,S.,格罗夫,B.,迪恩,M。
参考文献: 30种出版物(2005-2021)
相关软件: 颗粒;事实++;SPARQL;耶拿;希洛;保护神…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)

涂片

软件作者:本扎肯,维罗尼克;卡斯塔格纳,朱塞佩;弗里希,阿兰
参考文献: 48种出版物(2003-2020)
相关软件: XDuce公司;XPath;XQuery;哈斯克尔;OCaml公司;皮杜塞…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX)

生物网格

软件作者:C。斯塔克,B.布雷特克鲁兹,T.雷格利,L.鲍彻,A.布雷特克鲁茨,M.泰尔斯
参考文献: 30种出版物(2008-2019)
相关软件: 小桶;完整的;细胞景观;Pfam;MCODE;R、 …
主要领域: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)

联邦储备委员会

软件作者:NIST公司
参考文献: 36种出版物(2006-2015)
相关软件: 费雷特;AR面;CMU派;多重派;KPCA加LDA;耶鲁脸…
主要领域: 统计学(62-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)

AsmL公司

软件作者:微软研究院;格里斯坎普,W。;古列维奇Y。
参考文献: 44种出版物(2001-2021)
相关软件: 毫升;SpecExplorer;科拉特;LPTP;XASM;z3…
主要领域: 一般性和全局性主题;收款(00-XX);数理逻辑与基础(03-XX);计算机科学(68-XX)

PNML公司

软件作者:希拉,L.M。;科尔顿,F。;佩特鲁奇,L。;特列夫斯,N。
参考文献: 27种出版物(1992-2021)
相关软件: 沃夫兰;呵欠;运输路径;旋转;快;史努比…
主要领域: 概率论与随机过程(60-XX);数值分析(65-XX);计算机科学(68-XX)

微笑

软件作者:W3.org网站
参考文献: 10种出版物(2001-2016)
相关软件: XPath;卢阿;SPARQL;三倍的;内华达州;动态图…
主要领域: 组合数学(05-XX);计算机科学(68-XX);数学教育(97-XX)

分级环数据库

软件作者:加文·布朗,亚历山大·卡斯普里克
参考文献: 40种出版物(2002-2022)
相关软件: 岩浆;通用汽车公司;麦考拉2;单数;差距;聚甲醛…
主要领域: 交换代数(13-XX);代数几何(14-XX);凸与离散几何(52-XX)

DAML+油

软件作者:霍洛克斯,伊恩
参考文献: 34种出版物(2002-2009)
相关软件: WordNet;旋转;三倍的;赛车手;事实++;颗粒物…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)

WSAT公司

软件作者:福、香;布尔坦、特夫菲克;苏建文
参考文献: 29种出版物(2004-2019)
相关软件: BPEL2PN;CADP;旋转;LTSA-WS;mCRL2;沃夫兰…
主要领域: 数理逻辑与基础(03-XX);概率论与随机过程(60-XX);计算机科学(68-XX)

雅德克斯

软件作者:Pokahr A.,Braubach L.,Lamersdorf W。
参考文献: 21种出版物(2005-2021)
相关软件: 杰森;代理语言;2APL公司;玉;3APL公司;卡塔戈…
主要领域: 计算机科学(68-XX);运筹学,数学规划(90-XX);博弈论、经济学、金融学和其他社会和行为科学(91-XX)

X米尔

软件作者:H。列夫克;D、 苏秋
参考文献: 16种出版物(2001-2015)
相关软件: XPath;XQuery;X标记;木材;神谕;DB2…
主要领域: 组合数学(05-XX);计算机科学(68-XX)

完整的

软件作者:Hermakob H、Montecchi Palazzi L、Lewington C等
参考文献: 18种出版物(2006-2021)
相关软件: 生物网格;细胞景观;小桶;UniProt公司;字符串;图像…
主要领域: 一般性和全局性主题;收款(00-XX);组合数学(05-XX);统计(62-XX)

X标记

软件作者:施密特,阿尔布雷希特;弗罗里安,瓦亚斯;克斯滕,马丁;凯里,迈克尔J。;马诺莱斯库,约阿纳;巴斯,拉尔夫
参考文献: 8种出版物(2003-2015)
相关软件: XPath;XQuery;被子;大奖赛;X米尔;传说…
主要领域: 组合数学(05-XX);计算机科学(68-XX)

X搜索

软件作者:科恩·S·马穆伊·J·坎扎·Y·萨吉夫·Y。
参考文献: 6种出版物(2009-2018)
相关软件: XPath;XIRQL;XQuery;WordNet;被子;纳利克斯…
主要领域: 计算机科学(68-XX)

细胞

软件作者:赫德利,沃伦J。;尼尔森,梅兰妮R。;布利万特,大卫P。;尼尔森,波尔F。
参考文献: 17种出版物(2001-2021)
相关软件: 贞洁;科帕西;日晷;CellSys公司;R;蟒蛇…
主要领域: 偏微分方程组(35-XX);数值分析(65-XX);计算机科学(68-XX)

规则

软件作者:艾伯哈特,安德烈亚斯
参考文献: 20种出版物(2002-2020)
相关软件: 旋转;三倍的;被保护人;皮加泽;深沉的;心理物理工具箱…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)

打开AD/F

软件作者:尤特克,琼;诺曼,Uwe;费根,迈克;泰伦特,内森;斯特劳特,米歇尔·米尔斯;海姆巴赫,帕特里克;希尔,克里斯;万斯,卡尔
参考文献: 23种出版物(2007-2022)
相关软件: 绒毡层;阿迪弗;阿多-C;旋转;ADIC;塔夫…
主要领域: 数值分析(65-XX);计算机科学(68-XX);可变形固体力学(74-XX)

皮杜

软件作者:卡皮内蒂,萨缪尔;拉尼芙,科西莫;帕多瓦尼,卢卡
参考文献: 18种出版物(2006-2020)
相关软件: XPi公司;XDuce公司;奶牛;XPath;CDuce;派珀…
主要领域: 计算机科学(68-XX)

木材

软件作者:贾加迪什,艾滋病病毒。;阿勒哈利法,Shurug;查普曼,阿德里安;Lakshmanan,Laks诉S。;尼曼,安德鲁;番木瓜;帕特尔,吉格内斯M。;斯里瓦斯塔瓦,迪芙;维瓦瓦塔纳,努维;吴玉清;余,聪
参考文献: 7种出版物(2002-2020)
相关软件: XPath;XQuery;DB2;微软SQL Server;大奖赛;XMill…
主要领域: 计算机科学(68-XX)

阿尔卑斯山

软件作者:B。Bauer等人
参考文献: 14种出版物(2009-2019)
相关软件: 传感器;虚拟箱;洛勃克;github;促进;张量计算书…
主要领域: 线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX);计算机科学(68-XX)

利克斯托

软件作者:鲍姆加特纳,罗伯特;弗莱斯卡,塞尔吉奥;格特洛布,乔治
参考文献: 9种出版物(2001-2022)
相关软件: 跑路者;XPath;数据日志;WordNet;点头;RDFox…
主要领域: 一般性和全局性主题;收款(00-XX);数理逻辑与基础(03-XX);计算机科学(68-XX)

保护数据库

软件作者:A。尼尔曼,H.V.贾加迪什
参考文献: 12种出版物(2005-2018)
相关软件: ProbView公司;PSQL;XPath;税收;X搜索;XQuery…
主要领域: 计算机科学(68-XX)

放松NG

软件作者:J。克拉克,村田先生
参考文献: 18种出版物(2003-2018)
相关软件: XPath;PERL语言;XSugar公司;XQuery;克奎泽;DGD画廊…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX);粒子与系统力学(70-XX)

萨克斯

软件作者:  –
参考文献: 15种出版物(2001-2018)
相关软件: XPath;XQuery;微软SQL Server;PNML;传说;拜访…
主要领域: 统计学(62-XX);计算机科学(68-XX)

VRPH公司

软件作者:格罗尔,克里斯;戈尔德,布鲁斯;瓦西尔,爱德华
参考文献: 2010-2022年出版
相关软件: VRP;车道;禁忌搜索;协和式飞机;BPPLIB;或者图书馆…
主要领域: 数值分析(65-XX);运筹学,数学规划(90-XX)

传说

软件作者:McHugh J、Abiteboul S、Goldman R、Quass D、Widom J。
参考文献: 6种出版物(2002-2010)
相关软件: XPath;XQuery;ViST公司;大奖赛;传说;木材…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX)

托斯卡纳

软件作者:贝克,彼得;科雷亚,约阿希姆·赫雷思
参考文献: 17种出版物(2004-2011)
相关软件: 加利西亚;圆锥花序;图形;迪亚;fca.sty公司;康涅普…
主要领域: 一般性和全局性主题;收款(00-XX);数理逻辑与基础(03-XX);序,格,有序代数结构(06-XX)

特雷克斯

软件作者:詹姆斯·克拉克
参考文献: 19种出版物(2003-2006)
相关软件: XPath;XQuery;斯莫莱菲尔;小话;放松NG
主要领域: 数理逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)

GXL型

软件作者:霍尔特,理查德·C。;舒尔,安迪;苏珊埃利奥特;冬天,安德烈亚斯
参考文献: 9种出版物(2002-2018)
相关软件: 进展;旋转;沟槽;高架桥2;格兰根;聚合…
主要领域: 计算机科学(68-XX);运筹学,数学规划(90-XX)

对讲机

软件作者:E。奎维伦,V.西尔文蒂宁,S.皮莱,N.哈特,N.穆德,R.阿普韦勒,R.洛佩兹
参考文献: 6种出版物(2009-2022)
相关软件: 爆破;PSI-爆炸;UniProt公司;随和;PROSITE公司;多点2…
主要领域: 一般性和全局性主题;收款(00-XX);概率论与随机过程(60-XX);计算机科学(68-XX)

TXL公司

软件作者:科迪,詹姆斯R。
参考文献: 12种出版物(2005-2015)
相关软件: 战略;ASF+SDF;蚂蚁;贾斯塔德;莫德;RACR…
主要领域: 计算机科学(68-XX)

XML

软件作者:邓肯寺郎
参考文献: 6种出版物(2003-2019)
相关软件: R;RCurl公司;罗德BC;国外;生物导体;tm…
主要领域: 统计学(62-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)

博提

软件作者:Drummond AJ、Suchard MA、Xie D、Rambaut A公司
参考文献: 15种出版物(2013-2022)
相关软件: 野兽;贝耶斯先生;猿类;R;植物醇;fastDNAml…
主要领域: 组合数学(05-XX);概率论与随机过程(60-XX);统计(62-XX)

软件作者:布兰德斯,乌尔里克;艾格斯伯格,马库斯;赫尔曼,伊万;希姆索尔特,迈克尔;马歇尔,M.斯科特
参考文献: 14种出版物(2002-2021)
相关软件: CGAL公司;GXL;乐达;特里克斯先生;自由冲浪;连接体映射器…
主要领域: 一般性和全局性主题;收款(00-XX);组合数学(05-XX);统计(62-XX)

XHST公司

软件作者:波斯特,格哈德;金斯顿,杰弗里H。;艾哈迈迪,萨马德;达斯卡拉基,索菲亚;戈戈斯,克里斯托斯;金加斯,贾里;努尔米,Cimmo;细布,尼斯雷特;皮莱,尼莉西亚;桑托斯,哈罗多;舍尔夫,安德里亚
参考文献: 17种出版物(2014-2020)
相关软件: 目标;HSEval公司;CPLEX公司;机器人;ILOG时间表;佐藤…
主要领域: 计算机科学(68-XX);运筹学,数学规划(90-XX)

存在

软件作者:梅尔,沃尔夫冈
参考文献: 7种出版物(2003-2017)
相关软件: XPath;XQuery;Globus工具包;木材;UniProt公司;爆炸…
主要领域: 计算机科学(68-XX);量子理论(81-XX);生物学和其他自然科学(92-XX)

TNT基地

软件作者:维亚切斯拉夫·兹霍鲁捷夫
参考文献: 15种出版物(2009-2014)
相关软件: 百万吨;OMDoc公司;Hets公司;二层;后桅;斯泰德…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX)

植物醇

软件作者:利亚姆J.雷维尔
参考文献: 10种出版物(2014-2021)
相关软件: R;猿类;盖革;贝耶斯先生;博蒂;幻影…
主要领域: 一般性和全局性主题;收款(00-XX);概率论与随机过程(60-XX);统计(62-XX)

图拉费

软件作者:巴格文,卡蒂克扬;福奈特,塞德里克;戈登,安德鲁D。;普塞拉,里卡多
参考文献: 12种出版物(2004-2012)
相关软件: Spi2Java;普罗夫里夫;阿维斯帕;AsmL公司;阿斯皮尔;轻松;轻松…
主要领域: 一般性和全局性主题;收款(00-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)

拉马托

软件作者:比约恩·盖勒;奥利弗·科尔布;安东尼奥·穆尔西
参考文献: 13种出版物(2012-2021)
相关软件: 拉马托++;GasLib公司;古罗比;SCIP;克尼特罗;伽姆斯…
主要领域: 一般性和全局性主题;收款(00-XX);变分法与最优控制;优化(49-XX);流体力学(76-XX)

拉马托++

软件作者:安东尼奥·穆尔西,比约恩·盖勒,奥利弗·科尔布
参考文献: 13种出版物(2016-2021)
相关软件: GasLib公司;拉马托;SCIP;古罗比;伽马;伊波特…
主要领域: 变分法与最优控制;优化(49-XX);数值分析(65-XX);流体力学(76-XX)

维斯特

软件作者:H。Wang,S.Park,W.Fan,P.S.Yu
参考文献: 4种出版物(2003-2014)
相关软件: 大奖赛;XPath;顶;XQuery;传说;X马克…
主要领域: 计算机科学(68-XX)

XIRQL公司

软件作者:诺伯特·福尔,凯·格罗ß约翰
参考文献: 2份出版物(2009-2012)
相关软件: XPath;X搜索;XQuery;WordNet;税收;被子…
主要领域: 计算机科学(68-XX)

软件作者:C.-W。钟,J.-K。最小K.垫片
参考文献: 4种出版物(2003-2014)
相关软件: XPath;大奖赛;ViST公司;传说;XQuery;CIS-X…
主要领域: 计算机科学(68-XX)

冰岛

软件作者:弗门托,纳撒利;梅耶,安东尼;麦格,斯蒂芬;纽豪斯,史蒂文;菲尔德,托尼;约翰,达林顿
参考文献: 4种出版物(2002-2010)
相关软件: 秃鹰-G;仙人掌;网格信息软件;Java CoG套件;Globus工具包;毕业生…
主要领域: 计算机科学(68-XX)

奥西里

软件作者:福勒,罗伯特;马军;马丁,基普
参考文献: 10种出版物(2005-2022)
相关软件: 振幅;伽马;林多;米诺斯;安提戈涅;MINLPLib…
主要领域: 变分法与最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)

树木修复

软件作者:马库斯·洛里,塞巴斯蒂安·曼尼斯,罗伊·梅尼克
参考文献: 12种出版物(2012-2021)
相关软件: X米尔;SDSL公司;github
主要领域: 组合数学(05-XX);计算机科学(68-XX)

ADO.NET公司

软件作者:微软
参考文献: 6种出版物(2002-2012)
相关软件: ASP.NET;神谕;MySQL;VisualStudio.NET;AWS弹性豆茎;亚马逊EC2…
主要领域: 动力系统与遍历理论(37-XX);数值分析(65-XX);计算机科学(68-XX)

大奖赛

软件作者:P。饶,B。月亮
参考文献: 4种出版物(2009-2014)
相关软件: ViST公司;XPath;XQuery;顶;传说;X马克…
主要领域: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

被子

软件作者:唐·钱伯林,乔纳森·罗比,丹妮拉·弗洛雷斯库
参考文献: 5种出版物(2000-2013)
相关软件: XQuery;XPath;X标记;X搜索;大奖赛;XIRQL…
主要领域: 计算机科学(68-XX)

税收

软件作者:贾加迪什,H.V。;Lakshmanan,Laks诉S。;斯里瓦斯塔瓦,迪芙;汤普森,基思
参考文献: 6种出版物(2002-2013)
相关软件: XQuery;XPath;X搜索;WordNet;XIRQL;保护数据库…
主要领域: 计算机科学(68-XX)

XMLTK公司

软件作者:阿维拉·坎皮洛一世,格林·TJ,古普塔A,奥尼苏卡·M,乌鸦D,苏丘·D
参考文献: 7种出版物(2003-2011)
相关软件: XPath;点头;石灰;克莱姆;飞跃;XQuery…
主要领域: 计算机科学(68-XX)

秋葵

软件作者:佩祖洛,乔瓦尼;加尔维,吉安格列尔莫
参考文献: 10种出版物(2005-2011)
相关软件: CUMODP公司;可可;黛安;侦探
主要领域: 一般性和全局性主题;收款(00-XX);数论(11-XX);场论与多项式(12-XX)

伊迪诺

软件作者:Kieran Alden,Jan Ulrich Kreft
参考文献: 10种出版物(2014-2022)
相关软件: 巴西姆;生物膜;Matlab语言;阿奎西姆;MATLAB ODE套件;ode23s…
主要领域: 偏微分方程组(35-XX);变形固体力学(74-XX);流体力学(76-XX)

马多克斯

软件作者:A.M.Cohen,H.Cuypers,E.Reinaldo Barreiro
参考文献: 10种出版物(2006-2014)
相关软件: 动态数学;淋失量;OMDoc公司;电子几何教材;STEX+;SPARQL…
主要领域: 几何(51-XX);计算机科学(68-XX);光学,电磁理论(78-XX)

rneos公司

软件作者:伯哈德,普法夫
参考文献: 9种出版物(2013-2021)
相关软件: 戈加尔克;cccp;乌尔卡;R;变量;弗拉波…
主要领域: 统计学(62-XX);博弈论、经济学、金融学和其他社会和行为科学(91-XX)

UnQL公司

软件作者:彼得·布尼曼,玛丽·费尔南德斯,丹·苏丘
参考文献: 10种出版物(2006-2018)
相关软件: XPath;XQuery;XDuce公司;CDuce;被子;MongoDB…
主要领域: 数理逻辑与基础(03-XX);范畴论;同调代数(18-XX);计算机科学(68-XX)

维基百科矿工

软件作者:大卫·米尔恩;伊恩·H·威顿
参考文献: 4种出版物(2012-2019)
相关软件: 儿科;薄荷;巴别尔网;雅戈尔;自由基;WordNet…
主要领域: 数值分析(65-XX);计算机科学(68-XX)

X语言

软件作者:M。J、 凯里,D.弗洛雷斯库,Z.G.艾夫斯,Y.Lu,J.Shanmugasundaram,E.J.Shekita,S.N.Subramanian
参考文献: 4种出版物(2005-2010)
相关软件: DB2;神谕;XQuery;XPath;Pajek数据集;帕耶克…
主要领域: 计算机科学(68-XX)

X规则

软件作者:扎基,穆罕默德J。;阿加瓦尔,查鲁C。
参考文献: 8种出版物(2006-2018)
相关软件: 闭合图;gSpan公司;LIBSVM;C4.5;CMAR;热带雨林…
主要领域: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)

生物模型

软件作者:威尔金森M.D.林克斯
参考文献: 0个出版物
相关软件: 酒馆;小桶;浮雕;Pfam;爆破;防扩散冲击波…
主要领域:

比希德

软件作者:Kawanaka、Shinya;和谷,Haruo
参考文献: 7种出版物(2006-2018)
相关软件: XSugar公司;XDuce公司;岩盐;贝克斯菲尔德;GDSL公司;巴普…
主要领域: 一般性和全局性主题;收款(00-XX);计算机科学(68-XX)

包装2

软件作者:费克特,Sándor P。;Der Veen,简·C·范
参考文献: 9种出版物(2007-2020)
相关软件: TS2包装;或图书馆;机器人;ILOG时间表;XHSTT;佐藤…
主要领域: 运筹学,数学规划(90-XX)

RKWard公司

软件作者:Stefan Rödiger,Thomas Friedrichsmeier,Prasenjit Kapat,Meik Michalke
参考文献: 1本出版物(2010年)
相关软件: R;Rcmdr;演绎者;日本国债;2号地块;生物导体…
主要领域: 统计(62-XX)

机器人

软件作者:范布鲁克,大卫;鸡汤,干面包;舍恩伯格,约恩;瓜哈尔多,马里奥
参考文献: 9种出版物(2020-2022)
相关软件: PG路由;圣母玛利亚;独角兽;json2run公司;CPLEX公司;Dlib毫升…
主要领域: 运筹学,数学规划(90-XX);博弈论、经济学、金融学和其他社会和行为科学(91-XX)

讨厌的

软件作者:莫里茨·贝鲁瑟、罗伯特·巴施、利昂·克里斯彻、托比亚斯·梅吉、扬尼克·贝尔赫、约阿希姆·瓦瑟曼
参考文献: 0个出版物
相关软件: 蟒蛇;熊猫;ObsPlus公司;根西姆;大梁;评审委员会…
主要领域:

繁荣

软件作者:莱文特胡亚迪
参考文献: 7种出版物(2007-2010)
相关软件: 繁荣;霍尔灯;霍尔;毫升;剑桥LCF;校对能力…
主要领域: 一般性和全局性主题;收款(00-XX);历史与传记(01-XX);计算机科学(68-XX)

Qbox公司

软件作者:F.Gygi公司
参考文献: 5种出版物(2010-2019)
相关软件: 量子浓缩咖啡;新化学;蟒蛇;Loppcg.m公司;埃尔帕;阿比尼特…
主要领域: 线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX);量子理论(81-XX)

TCOZ公司

软件作者:董金松;李元芳;孙静;孙军;王海
参考文献: 8期(2018-2002)
相关软件: 马戏团;埃菲尔;Z轴;CSPsim公司;勺;Ada95…
主要领域: 计算机科学(68-XX)

毒原

软件作者:巴博萨,D.,门德尔松,A.O.,基恩利赛德,J.,里昂,K.A。
参考文献: 4种出版物(2011-2019)
相关软件: X标记;泥浆;SynTReN公司;C4.5;漏洞;UCI ml…
主要领域: 统计学(62-XX);计算机科学(68-XX)

CLP(柔性)

软件作者:J。科埃略;M、 弗洛里多
参考文献: 7种出版物(2007-2021)
相关软件: 理论;数学;Veriflog公司;古怪的;莫德;ASF+SDF…
主要领域: 数理逻辑与基础(03-XX);特殊功能(33-XX);计算机科学(68-XX)

毫升

软件作者:米塔科斯,西奥多罗斯;格加索利斯,马诺利斯;斯塔夫拉科斯,雅尼斯;Ioannidis,Efstathios诉。
参考文献: 6种出版物(2001-2004)
相关软件:
主要领域: 计算机科学(68-XX)

软件作者:普罗旺斯大学;尼伯特,彼得;曲红阳
参考文献: 7种出版物(2006-2012)
相关软件: 旋转;IF-2.0;乌帕;栅栏;比姆;神圣的…
主要领域: 计算机科学(68-XX)

QMC包

软件作者:J。Kim等人。
参考文献: 7种出版物(2008-2020)
相关软件: S3D军团;克尔纳诺;新化学;数据猪肉;水晶;水晶09…
主要领域: 一般性和全局性主题;收款(00-XX);常微分方程组(34-XX);数值分析(65-XX)

罗恩

软件作者:杨峥嵘,丽贝卡·汤姆森,菲利普·麦克尼尔,罗伯特·M·埃斯努夫
参考文献: 5种出版物(2013-2019)
相关软件: IUPred;全球图;折叠;库达大学;折叠索引;工厂数据库…
主要领域: 数理逻辑与基础(03-XX);统计学(62-XX);计算机科学(68-XX)

WSOL公司

软件作者:托西奇,弗拉基米尔;帕特尔,克鲁蒂;伯纳德,帕古雷克
参考文献: 3份出版物(2002-2003)
相关软件: 杰斯;咬合;被保护人;UDDI
主要领域: 计算机科学(68-XX)

古怪的

软件作者:科埃略,J.,弗洛里多,M。
参考文献: 出版物(2013-2021)
相关软件: CLP(柔性);莫德;数学;理论;Veriflog公司;ASF+SDF…
主要领域: 数理逻辑与基础(03-XX);特殊功能(33-XX);计算机科学(68-XX)

XMPP公司

软件作者:杰里米·米勒
参考文献: 4种出版物(2006-2015)
相关软件: Daikon公司;道场;玻璃鱼;BOINC公司;糕点;泽塔萨…
主要领域: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

xpath日志

软件作者:梅,沃尔夫冈
参考文献: 1本出版物(2004年)
相关软件: XPath;XQuery;古怪的;玩具;哈斯克尔;传说…
主要领域: 计算机科学(68-XX)

XPi公司

软件作者:阿乔,露西亚;博雷尔,米歇尔
参考文献: 6种出版物(2008-2020)
相关软件: 皮杜斯;XDuce公司;XPath;CDuce;CC Pi;奶牛…
主要领域: 计算机科学(68-XX)

XVCL公司

软件作者:张宏宇;贾扎贝克,斯坦
参考文献: 4种出版物(2001-2008)
相关软件: 凯撒;功能C++;红宝石;AspectJ公司;fmp;机器人帮助…
主要领域: 计算机科学(68-XX)

阿希利夫

软件作者:德扬·吉涅夫、康斯坦丁·朱科夫斯基、斯特凡·安卡、米哈伊·格里戈尔、加泰林·大卫、迈克尔·科哈塞
参考文献: 6种出版物(2008-2015)
相关软件: 晚XML;乳胶;动态数学;爱马仕;电子几何教材;DLMF…
主要领域: 计算机科学(68-XX)

选中标记

软件作者:佩雷拉,谢尔比;瓦洛希诺夫斯基,斯维亚托斯拉夫;马杜诺,玛丽贝尔;马钱德梅利特,圣潘;双关语,蒂埃里
参考文献: 3个出版物(2001-2021)
相关软件: 中兴;Matlab语言;施蒂尔马克
主要领域: 计算机科学(68-XX);生物学和其他自然科学(92-XX);信息与通信理论,电路(94-XX)

资料收集库

软件作者:沃尔什,N.,米勒,L。
参考文献: 6种出版物(2006-2011)
相关软件: 淋洗;OMDoc公司;动态数学;阿普卢斯;Aplusix编辑;马多克斯…
主要领域: 计算机科学(68-XX);博弈论、经济学、金融学和其他社会和行为科学(91-XX);数学教育(97-XX)

FIMO公司

软件作者:Grant CE,Bailey TL,Noble WS公司
参考文献: 5种出版物(2016-2019)
相关软件: 小桶;R;单探针;UniProt公司;雅斯帕;床上工具…
主要领域: 一般性和全局性主题;收款(00-XX);组合数学(05-XX);统计(62-XX)

H评估

软件作者:金斯敦,J.H
参考文献: 6种出版物(2012-2021)
相关软件: XHSTT;目标
主要领域: 计算机科学(68-XX);运筹学,数学规划(90-XX)

软件作者:凯瑟琳·费舍尔;罗伯特·格鲁伯
参考文献: 5种出版物(2010-2020)
相关软件: 雅克;擅长;下垂体;绿化;github;OCaml…
主要领域: 计算机科学(68-XX)

XML间谍

软件作者:阿尔托瓦
参考文献: 3种出版物(2005-2016)
相关软件: 奥西里;伽马;振幅;NETGEN公司;米诺斯;SMPS阅读器…
主要领域: 变分法与最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)

Xproj公司

软件作者:阿加瓦尔,C.C.,Ta,N.,Wang,J.,Feng,J.,Zaki,M.J。
参考文献: 3种出版物(2010-2011)
相关软件: 拜德;克隆;前缀span;X规则;闭合图;gSpan…
主要领域: 统计学(62-XX);计算机科学(68-XX)

咏叹调

软件作者:林格,J.P.,哈贝克,M.,瑞平,W.,奈尔斯,M。
参考文献: 4种出版物(2013-2018)
相关软件: 中枢神经系统;Xplor NIH公司;查尔姆;青色;iBP;TM对齐…
主要领域: 运筹学,数学规划(90-XX);生物学和其他自然科学(92-XX)

AspectWerkz公司

软件作者:乔纳斯·邦尔
参考文献: 3个出版物(2006-2021)
相关软件: AspectJ公司;Java MaC;跨方面;电动车辆;瓦尔格林;购物2…
主要领域: 计算机科学(68-XX)

蓖麻

软件作者:ExoLab集团
参考文献: 1本出版物(2004年)
相关软件: MySQL;XPath;梅斯基特;mCRL;ASF+SDF;阿泰姆…
主要领域: 计算机科学(68-XX)

ECCO工具包

软件作者:PDTec公司
参考文献: 4种出版物(1996-2020)
相关软件: 纳托尔斯;GIZA++;匡泰达;openxlsx;数据表;NLP…
主要领域: 数理逻辑与基础(03-XX);变分法与最优控制;优化(49-XX);数值分析(65-XX)