×

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

WSAT公司

引用于29份文件(2004–2019)
软件作者: 傅湘;布尔坦、特夫菲克;苏建文
相关软件: BPEL2PN;CADP;旋转…
主要字段: 数学逻辑与基础(03-XX);概率论与随机过程(60-XX);计算机科学(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)

约佩拉

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

橙色4WS

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

自动同步

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

WS2JADE公司

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

RAAC手册

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

SCAIMO公司

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

系统发育的

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

筛选结果依据…

全部的 前5名

相关软件