×

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

里奥

90篇文献引用(2003–2023)
软件作者: 马特杰·杜尼克
相关软件: 琳达;莫德;mCRL2…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…

WSAT公司

29篇文献引用(2004–2019)
软件作者: 傅湘;特维克布尔坦;苏建文
相关软件: BPEL2PN;CADP;旋转…
主要字段: 数学逻辑与基础(03-XX);概率论与随机过程(60-XX);计算机科学(68-XX)…

云模拟

22篇文献引用(2012–2023)
软件作者: 罗德里戈·N·卡莱罗斯、拉吉夫·兰扬、塞萨尔·A·F·德·罗斯、拉杰库马尔·布亚
相关软件: iFogSim;网格模拟;pMapper…
主要字段: 概率论与随机过程(60-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

阿斯卡隆

6篇文献引用(2002–2012)
软件作者: 托马斯·法林格;亚历山德鲁·朱格拉武;萨布里·普拉纳;Radu Prodan;克洛维斯·塞拉吉奥托;洪林忠
相关软件: Java CoG工具包;SCALEA公司;网格流…
主要字段: 计算机科学(68-XX)

LTSA-WS公司

12份文件引用(2006年至2021年)
软件作者: Magee J、Kramer J、Uchitel S等
相关软件: WSAT;NuSMV;UFO…
主要字段: 计算机科学(68-XX)

SWORD公司

5份文件引用(2005–2012)
软件作者: S Ponnekanti,一只狐狸
相关软件: 朱莉;NuSMV;商店2…
主要字段: 计算机科学(68-XX)

次氯酸钠

在11份文件中引用(2009–2019)
软件作者: 杜,P。;曹,S。;李,Y。
相关软件: 细胞定位;iLoc-Plant;Plant-mPLoc;……工厂…
主要字段: 组合数学(05-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)

Me服务

6篇文献引用(2001–2007)
软件作者: Joshi,Anupam;蒂莫西·菲宁(Timothy Finin);Yesha、Yelena
相关软件: GloboSim;NINJA公司
主要字段: 计算机科学(68-XX)

约佩拉

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

SubMito-PSPCP公司

6篇文献引用(2015–2019)
软件作者: 杜,P。;Yu,Y。
相关软件: iRSpot-PseDNC;iPPI-Esml;Pse-in-One…
主要字段: 计算机科学(68-XX);生物学和其他自然科学(92-XX)

OligoPred公司

5份文件引用(2012–2013)
软件作者: 邱建德。;索,S.B。;孙晓勇。;史,S.P。;梁,R.P。
相关软件: 细胞定位;SecretP;iLoc-Euk…
主要字段: 组合数学(05-XX);欧氏空间(42-XX)的调和分析;统计学(62-XX)…

特里亚纳

在0个文档中引用
软件作者: Majithia,S。;加的夫Sch。计算的。科学。,英国加的夫大学;护罩,M。;泰勒,I。;我·王。
相关软件: 塔维纳;网格流;MiToBo…
主要字段:

海龟-P

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

橙色4WS

引用于3份文件(2016–2019)
软件作者: V.Podpečan、M.Zemenova、N.Lavrać
相关软件: 橙色;威卡;生物2RDF…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)

PLMLA公司

4份文件引用(2012–2019)
软件作者: 史,S.P。;邱建德。;孙晓阳(X.Y.Sun)。
相关软件: Cd-hit;iSNO-PseAAC;iHyd-PseAAC…
主要字段: 生物学和其他自然科学(92-XX)

再服务

引用于3份文件(2008–2012)
软件作者: 科勒,C。;拉佐维克,A。;阿巴布,F。
相关软件: 里奥;重新规范;琳达…
主要字段: 计算机科学(68-XX)

自动同步

引用于3份文件(2009–2012)
软件作者: 怀、金鹏;邓婷;李宪贤;杜宗霞;郭慧鹏
相关软件: WSAT;NuSMV;LTSA-WS…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

咖喱

引用于3份文件(2003–2006)
软件作者: 李刚;赵卓峰;韩彦博;梁颖
相关软件: XtremWeb
主要字段: 计算机科学(68-XX)

第欧根尼

2份文件引用(2016–2019)
软件作者:
相关软件: Uppaal;贝塔;BetaSim公司
主要字段: 计算机科学(68-XX)

PGWFT公司

2份文件引用(2010–2012)
软件作者: 曹浩、金浩、吴绍和陶毅。
相关软件: 道;地理名称
主要字段: 计算机科学(68-XX)

WS2JADE公司

1份文件引用(2006)
软件作者: 玄盛元、Ryszard Kowalczyk、Mohan Baruwal Chhetri、阿拉斯代尔格兰特
相关软件: 玉;SNAP(快照)
主要字段: 计算机科学(68-XX)

DIS3GNO公司

1份文件引用(2012)
软件作者: 塞萨里奥、尤金尼奥;马尔科·拉科维奇;多梅尼科·塔里亚;保罗·特伦菲奥
相关软件: 阿斯卡隆
主要字段: 计算机科学(68-XX)

RAAC手册

1份文件引用(2021)
软件作者:
相关软件: 生物序列分析;iMRM;i4mC鼠标…
主要字段: 计算机科学(68-XX);生物学和其他自然科学(92-XX)

SCAIMO公司

1份文件引用(2009)
软件作者: 阿米尔·瓦希德·达斯特杰迪;塔巴塔拜,赛义德·古拉姆·哈桑;万·M.N.万·卡迪尔;易卜拉欣、苏哈伊米;Elahe Sarafian
相关软件:
主要字段: 计算机科学(68-XX)

智能建模器

1份文件引用(2012)
软件作者: 阿特姆·卡塔诺索夫
相关软件:
主要字段: 计算机科学(68-XX)

独奏家

1份文件引用(2015)
软件作者: Bianculli D、Ghezzi C、Pietro PS
相关软件: PostgreSQL;LOLA;蒙保利
主要字段: 计算机科学(68-XX)

Phylotastic公司

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

筛选结果依据…

全部的 前5名

相关软件

全部的 前3名

主字段