×

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

AK-MCS公司

102份文件引用(2012–2023)
软件作者: B.Echard、N.Gayton、M.Lemaire
相关软件: 达克斯;EGO;UQLab…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…

大都会

引用于7份文件(2006–2018)
软件作者: Balarin F、Watanabe Y、Hsieh H、Lavagno L、Passerone C、Sangiovanni-Vincentelli A
相关软件: 托勒密;里奥;LUSTRE…
主要字段: 计算机科学(68-XX);系统论;对照(93-XX)

检查VML

8份文件引用(2004–2019)
软件作者: 阿尔科斯·施密特(Dániel Varró)
相关软件: 自旋蛋白;凹槽;茂物…
主要字段: 组合数学(05-XX);计算机科学(68-XX)

代码爬虫

6篇文献引用(2004–2011)
软件作者: 兰扎,M;杜卡斯,S。;加尔,H。;平兹格,M。
相关软件: Seesoft;CVS扫描;Vizz3D…
主要字段: 统计学(62-XX);计算机科学(68-XX)

MOFLON公司

1份文件引用(2006)
软件作者: Amelunxen,C.、Königs,A.、Rötschke,T.、Schürr
相关软件: 聚四氟乙烯;进度;AGG…
主要字段: 计算机科学(68-XX)

科梅塔

引用于3份文件(2006–2010)
软件作者: Triskell团队
相关软件: UML2合金;AGG;AToM3…
主要字段: 计算机科学(68-XX)

通用电气工程师

2份文件引用(2009–2014)
软件作者: 范德比尔特大学
相关软件: 蟒蛇;MetaEdit+;AToM3…
主要字段: 统计学(62-XX);计算机科学(68-XX)

元模型

1份文件引用(2009)
软件作者: 阿瑟尔·科尼什·博登;詹·亨德里克·霍夫梅尔
相关软件: GEPASI;SCAMP;虚拟单元格…
主要字段: 生物学和其他自然科学(92-XX)

ASMETA公司

2份文件引用(2011–2021)
软件作者: 加甘蒂、帕卡尼、普斯卡杜拉、斯堪的纳维亚、西尔维亚邦凡提
相关软件: AsmetaSMV;昏迷;NuSMV…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

莫科牌手表

1份文件引用(2023年)
软件作者: 阿德里亚诺·帕索斯(Adriano Passos)、马尔科·卢森(Marco Luersen)
相关软件: Matlab;拉丁超立方体采样;DiceOptim…
主要字段: 统计学(62-XX)

SEET(搜索)

2份文件引用(2021–2023)
软件作者: 阿齐兹,B。;扎马尼,B。;Rahimi,S.K。
相关软件: 沟槽
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

勺子

在0个文档中引用
软件作者: R.Pawlak、M.Monperrus、N.Petitprez、C.Noguera、L.Seinturier
相关软件: 雅伊塔;Sosiefier公司
主要字段:

VeTIS公司

在0个文档中引用
软件作者: Lina Nemuraite、Tomas Skersys、Algirdas Sukys、Edvinas Sinkevicius、Linas Ablonskis
相关软件:
主要字段:

视觉OCL

在0个文档中引用
软件作者: C.Kiesner、G.Taentzer、J.Winkelmann
相关软件:
主要字段:

筛选结果依据…

全部的 前5名

相关软件