×

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

棱镜

498份文件引用(2001–2023)
软件作者: 玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克
相关软件: MRMC;风暴;Uppaal…
主要字段: 数学逻辑与基础(03-XX);概率论与随机过程(60-XX);计算机科学(68-XX)…

MPICH-G2型

17篇文献引用(2003–2010)
软件作者: 尼古拉斯·T·卡罗尼斯。;布莱恩·托宁(Brian Toonen);伊恩·福斯特
相关软件: Globus工具包;磁粉检测;MPI/MPICH…
主要字段: 计算机科学(68-XX);流体力学(76-XX);量子理论(81-XX)…

CC-Pi公司

28篇文献引用(2007–2022)
软件作者: 玛丽亚·格拉齐亚·巴斯米(Maria Grazia Buscemi),乌戈·蒙塔纳里(Ugo Montanari)
相关软件: 奶牛;Isabelle/HOL;名义上的伊莎贝尔…
主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)…

SNAP(快照)

10篇文献引用(2002–2013)
软件作者: 卡尔·查伊科夫斯基(Karl Czajkowski);伊恩·福斯特(Ian Foster);卡尔·凯塞尔曼;沃尔克·桑德;史蒂文·塔克
相关软件: Globus工具包;开放科学网格;Condor-G…
主要字段: 计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX);生物学和其他自然科学(92-XX)…

戴恩

在11份文件中引用(2003–2010)
软件作者: J.T.Moscicki等人
相关软件: 恒河;GEANT4;大门…
主要字段: 总体主题;藏品(00-XX);代数几何(14-XX);凸和离散几何(52-XX)…

MRSVP公司

10篇文献引用(2000–2006)
软件作者: Talukdar,Anup Kumar;巴德里纳特,不列颠哥伦比亚省。;阿查里亚,奥雅纳
相关软件: HMRSVP;ReVirt;HMAT公司
主要字段: 计算机科学(68-XX)

快速启动

5份文件引用(2002–2009)
软件作者: 伊利亚·巴尔丁;哈里·佩洛斯(Harry Perros);George N.Rouskas。;丹·史蒂文森
相关软件: 棱镜;GraphPad棱镜
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);信息与通信理论,电路(94-XX)

约佩拉

3份文件引用(2007–2012)
软件作者: Pautasso C、Alonso G。
相关软件: 图形平面图;AO4BPEL;cglib…
主要字段: 计算机科学(68-XX)

AQuoSA公司

4份文件引用(2011–2014)
软件作者:
相关软件: TrueTime(真实时间);乔托;PAPI…
主要字段: 计算机科学(68-XX);系统理论;控制(93-XX)

海龟-P

引用于2份文件(2003–2006)
软件作者: 卢多维奇(Ludovic Apvrille);皮埃尔·德·萨奎·桑奈斯(Pierre De Saqui-Sannes);费哈特·肯德克
相关软件: Uppaal;克罗诺斯;税收…
主要字段: 计算机科学(68-XX)

AMON公司

4份文件引用(2019–2022)
软件作者: Michael Kallitsis、Stilian Stoev、Shrijita Bhattacharya、George Michailidis
相关软件: 最小修订订单;astsa;远程终端设备
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);计算机科学(68-XX)…

方面IX

4份文件引用(2001–2009)
软件作者: Franz J.Hauck。;乌尔里希·贝克尔;马丁·盖尔(Martin Geier);埃里希·迈尔(Erich Meier);乌韦拉斯托弗;马丁·斯特克迈尔
相关软件: Rapide公司
主要字段: 计算机科学(68-XX)

CloudGenius公司

引用于2份文件(2015–2019)
软件作者: Michael Menzel;拉吉夫·兰扬;王丽芝;萨米·U·汗。;陈金军
相关软件: 斑疹病毒2型;天才卵丘;OpenNebula…
主要字段: 计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

SPAD公司

3份文件引用(2007–2009)
软件作者: 蒂埃里·阿库图拉维洛;帕特里克·塞纳克(Patrick S\'enac);阿鲁纳Seneviratne;米歇尔·迪亚兹
相关软件: 公理
主要字段: 统计学(62-XX);计算机科学(68-XX)

SRTP公司

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

EnerJ公司

引用于2份文件(2018–2022)
软件作者: Sampson,A.、Ditel,W.、Fortuna,E.、Gnanapragasam,D.、Ceze,L.、Grossman,D。
相关软件: zfp;github;FPTuner…
主要字段: 数值分析(65-XX);计算机科学(68-XX)

FuzzyTECH公司

1份文件引用(1993)
软件作者: 通知软件公司
相关软件: 锡林克斯
主要字段: 系统理论;控制(93-XX)

绿色

引用于2份文件(2018–2019)
软件作者: W.Baek,T.M.奇林比
相关软件: PAPI;Multicube浏览器;兄弟竞争…
主要字段: 计算机科学(68-XX)

iOverbook公司

引用于2份文件(2015–2021)
软件作者: Caglar F、Gokhale A
相关软件: Be-CoDiS公司
主要字段: 运筹学、数学规划(90-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX);生物学和其他自然科学(92-XX)

ITRA公司

1份文件引用(2004)
软件作者: 埃利泽·德克尔(Eliezer Dekel);杰拉·戈夫特
相关软件:
主要字段: 计算机科学(68-XX)

低压汽水分离再热器

引用于2份文件(2003–2004)
软件作者: 文,吴绍;比斯瓦纳特·穆克吉;Chan,S.-H.Gary;迪帕克·戈萨
相关软件:
主要字段: 计算机科学(68-XX)

MetaNet(元网)

引用于2份文件(2000–2008)
软件作者: 纳拉亚南州纳塔拉扬;哈菲德(Abdelhakim Hafid);本·法尔丘克;Roy,Arunendu;Jorge牧师;金,杨
相关软件:
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)

SoMR公司

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

ABS-NET(防抱死制动系统-网络)

1份文件引用(2013)
软件作者: 卡尔·帕尔姆斯科格(Karl Palmskog);Dam、Mads;安德烈亚斯·伦德布拉德;阿里·贾法里
相关软件: KryoNet公司;防抱死制动系统;和弦…
主要字段: 计算机科学(68-XX)

深度RT

1份文件引用(2019)
软件作者: Kang,Woochul;钟,Jaeyong
相关软件: AlexNet;github;模型动物园…
主要字段: 计算机科学(68-XX)

MPLMR公司

1份文件引用(2012)
软件作者: Shin,Dong-won;Edwin K.P.Chong。;霍华德·杰伊·西格尔
相关软件:
主要字段: 运筹学、数学规划(90-XX)

N工具

1份文件引用(2015)
软件作者: N.Vegh公司
相关软件: BLINC公司;FCP;Tmix…
主要字段: 计算机科学(68-XX)

Q-软

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

WNetKAT公司

1份文件引用(2017)
软件作者: Larsen,Kim G。;施密德,斯特凡;薛冰田
相关软件: 荨麻;梅林;VeriFlow…
主要字段: 计算机科学(68-XX)

系统发育的

在0个文档中引用
软件作者: Hai Nguyen,Thanh;恩里科·蓬泰利(Enrico Pontelli);曹森,Tran;A.斯托尔茨福斯。
相关软件:
主要字段:

StreamFlex公司

在0个文档中引用
软件作者: Spring JH、Privat J、Guerraoui R、Vitek J。
相关软件:
主要字段:

筛选结果依据…

全部的 前5名

相关软件