×

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

PESSOA公司

26篇文献引用(2011–2022)
软件作者: 普里塔姆·罗伊;保罗·塔布阿达;鲁帕克·马朱姆达尔
相关软件: SCOTS;科西马;TuLiP…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…

苏普雷米卡

26篇文献引用(2009–2023)
软件作者: 克努特·阿克森;马丁·费边(Martin Fabian);雨果·弗洛达尔;罗比·马利克
相关软件: UMDES;TCT;NuSMV…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)…

libFAUDES公司

10篇文献引用(2010–2020)
软件作者: Bernd Opitz、Thomas Moor、Klaus Schmidt
相关软件: UMDES;TCT;害虫…
主要字段: 组合数学(05-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

德斯科

4份文件引用(2000–2011)
软件作者: 马丁·费边(Martin Fabian);安德斯·海尔格伦
相关软件: UMDES;Uppaal公司
主要字段: 运筹学、数学规划(90-XX);系统论;控制(93-XX)

AROC公司

3份文件引用(2021–2023)
软件作者: Kochdumper,N。;格鲁伯,F。;舒尔曼,B。;加曼,V。;Klischat,M。;阿尔托夫,M。
相关软件: SCOTS;ROCS;CoSyma…
主要字段: 计算机科学(68-XX);系统论;控制(93-XX)

干燥VR

3份文件引用(2017–2021)
软件作者: 齐、伯伦;范、楚楚;姜明浩;萨扬·密特拉
相关软件: S-TaLiRo;Dymola;dReach…
主要字段: 计算机科学(68-XX);系统论;控制(93-XX)

OmegaThreads公司

3份文件引用(2021–2022)
软件作者: 马哈茂德·哈立德;马吉德·扎马尼
相关软件: p面;SCOTS;条纹…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);系统论;控制(93-XX)

DTRON公司

在0个文档中引用
软件作者: 艾沃州阿尼尔;尤里·瓦恩;利奥尼达斯·齐奥普洛斯
相关软件: ——
主要字段: ——

筛选结果依据…