×

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

APNN-工具箱

12份文件引用(1999–2022)
软件作者: 彼得·巴赫霍尔茨(Peter Buchholz);马库斯·费舍尔;彼得·坎佩尔;卡斯滕·泰珀
相关软件: 棱镜;政治公众人物协议;LDQBD…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);概率论与随机过程(60-XX);数值分析(65-XX)…

地精

引用于8份文件(2009–2021)
软件作者: 沃达尼,V。;维尼,V。
相关软件: 洛克史密斯;继电器;ASTREE…
主要字段: 计算机科学(68-XX)

狂喜

7份文件引用(2005–2020)
软件作者: Jeannet B、dArgenio P、Larsen K
相关软件: 棱镜;参数;PROPhESY…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);概率论与随机过程(60-XX)…

阿拉伯联合酋长国

3份文件引用(2012–2016)
软件作者: Kyungmin Bae、Peterlveczky、JoséMeseguer
相关软件: 电子LOTOS;GRL;LNT2LOTOS…
主要字段: 计算机科学(68-XX)

G空间

3份文件引用(2015–2022)
软件作者: Mai Zheng、Vignesh T.Ravi、Feng Qin、Gagan Agrawal
相关软件: CUDA;GKLEE;GPU验证…
主要字段: 数学逻辑与基础(03-XX);动力系统与遍历理论(37-XX);计算机科学(68-XX)…

SAMC公司

4份文件引用(2019–2020)
软件作者: Tanakorn Leesatapornwongsa、Mingzhe Hao、Pallavi Joshi、Jeffrey F.Lukman、Haryadi S.Gunawi
相关软件: MODIST;铁人舰队;数据匹配…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

ERA-PAT公司

引用于2份文件(2014–2021)
软件作者: 林尚伟;刘,杨;孙军;董金松;埃蒂安·安德烈
相关软件: 拍打;ProB;PDDL…
主要字段: 计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX);信息与通信理论,电路(94-XX)

定时丽贝卡

3份文件引用(2016–2020)
软件作者: Khamespanah,E.,Sirjani,M.,Sabahi-Kaviani,Z.,Khosravi,R.,Izadi,M。
相关软件: 丽贝卡;Uppaal;旋转…
主要字段: 计算机科学(68-XX)

部分

引用于2份文件(2001–2006)
软件作者: 购买,美国。;R.H.斯隆。
相关软件: Matlab;高科技;阿达95
主要字段: 计算机科学(68-XX);系统论;控制(93-XX)

MasterMovelts公司

1份文件引用(2020)
软件作者: 卡洛斯·安德烈斯·费雷罗;卢卡斯·梅(Lucas May Petry);阿尔瓦雷斯、路易斯·奥塔维奥;达席尔瓦,卡米拉·莱特;Willian Zalewski;瓦尼亚,波哥尔尼
相关软件: github
主要字段: 统计学(62-XX);计算机科学(68-XX)

PLSMC公司

1份文件引用(2015)
软件作者: 庞涛;段振华;刘晓芳
相关软件: CUDD;NuSMV公司
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

SimGridMC公司

1份文件引用(2018)
软件作者: Anh Pham;蒂埃里·杰伦;马丁·昆森
相关软件: 灌篮;KITTeL公司;ASTREE…
主要字段: 计算机科学(68-XX)

筛选结果依据…

全部的 前5名

相关软件