×

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

斯科特

31份文件引用(2016–2023)
软件作者: 马蒂亚斯·伦格;马吉德·扎马尼
相关软件: PESSOA;科西马;p面…
主要字段: 数学逻辑与基础(03-XX);概率论与随机过程(60-XX);计算机科学(68-XX)…

苏普雷米卡

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

科西马

16篇文献引用(2015–2022)
软件作者: 塞布蒂·穆埃利;安托万·吉拉德;格雷戈·戈斯勒
相关软件: 苏格兰人;PESSOA;TuLiP…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);系统论;对照(93-XX)

libFAUDES公司

10篇文献引用(2010–2020)
软件作者: 伯恩德·奥皮茨、托马斯·摩尔、克劳斯·施密特
相关软件: UMDES;TCT;害虫…
主要字段: 组合数学(05-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…

S每个工具

6篇文献引用(2019–2022)
软件作者: 亚伯拉罕·维诺德(Abraham P.Vinod)。;约瑟夫·格里森(Joseph D.Gleason)。;Meeko M.K.Oishi。
相关软件: ProbReach;FAUST2;AMYTISS…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);系统论;对照(93-XX)

AMYTISS公司

8份文件引用(2020–2023)
软件作者: 拉瓦伊(Lavaei),阿波法兹尔(Abolfazl);马哈茂德·哈立德;萨代赫·苏贾尼;马吉德·扎马尼
相关软件: SReachTools;ProbReach;棱镜…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…

p面

7份文件引用(2019–2022)
软件作者: 马哈茂德·哈立德;马吉德·扎马尼
相关软件: 苏格兰人;ROCS;CoSyma…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);系统论;对照(93-XX)

SMACS系统

2份文件引用(2011–2012)
软件作者: 加布里埃尔·卡里恩(Gabriel Kalyon);特里斯坦勒加尔;赫夫·马尔坎德;蒂埃里·马萨特
相关软件: 固定点;UMDES;停机坪
主要字段: 系统论;对照(93-XX)

防抱死制动系统

1份文件引用(2022)
软件作者: 亚历山大·韦伯(Alexander Weber);马科维奇克(Macoveiciuc)、伊利赛(Elisei);冈瑟Reissig
相关软件: AROC;GRKLib;p面…
主要字段: 计算机科学(68-XX);系统论;对照(93-XX)

西加利

在0个文档中引用
软件作者: H.马尔坎德
相关软件: 自旋蛋白;MARTE公司
主要字段:

筛选结果依据…