×

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

鲁棒控制工具箱

软件作者:数学作品;巴拉斯·G·蒋·R·帕卡德·A·萨芬诺夫·M
参考文献: 152种出版物(1989-2022)
相关软件: Matlab语言;控制系统工具箱;Mu分析综合工具箱;LMI工具箱;亚尔米普;优化工具箱…
主要领域: 线性代数和多线性代数;矩阵理论(15-XX);常微分方程组(34-XX);数值分析(65-XX)

佩索阿

软件作者:罗伊,普里坦;保罗,塔布阿达;马朱姆达尔,鲁帕克
参考文献: 20种出版物(2011-2022)
相关软件: 苏格兰人;郁金香;科西马;Matlab语言;LTLMoP;中华民国…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融学和其他社会和行为科学(91-XX)

上云母

软件作者:克努特·阿克松;马丁·费边;雨果·弗洛达尔;罗比·马利克
参考文献: 21种出版物(2009-2022)
相关软件: 乌姆德斯;利比亚人;TCT;快速检查;梅森网络;自动调节…
主要领域: 数理逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)

苏格兰人

软件作者:伦格,马提亚斯;扎马尼,马吉德
参考文献: 19种出版物(2016-2022)
相关软件: 佩索阿;科西马;郁金香;中华民国;Matlab语言;索斯多尔…
主要领域: 数理逻辑与基础(03-XX);概率论与随机过程(60-XX);计算机科学(68-XX)

郁金香

软件作者:Tichakorn Wongpiromsann,Ufuk Topcu,Necmiye Ozay,徐欢,Richard M.Murray
参考文献: 14种出版物(2016-2022)
相关软件: 佩索阿;科西马;苏格兰人;卡德;LTLMoP;中华民国…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融学和其他社会和行为科学(91-XX)

科西玛

软件作者:穆尔希,塞比;吉拉德,安托万;葛斯勒,格雷戈
参考文献: 12种出版物(2015-2022)
相关软件: 苏格兰人;佩索阿;郁金香;中华民国;表面活性剂;皮波曼…
主要领域: 计算机科学(68-XX);运筹学,数学规划(90-XX);系统论;控制(93-XX)

利比亚人

软件作者:伯纳德·奥皮茨、托马斯·摩尔、克劳斯·施密特
参考文献: 10种出版物(2010-2020)
相关软件: 乌姆德斯;害虫;穆迪夫;TCT;上云母;GitHub…
主要领域: 组合数学(05-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)

SReachTools公司

软件作者:维诺德,亚伯拉罕P。;格里森,约瑟夫D。;Oishi,Meeko M.K。
参考文献: 6种出版物(2019-2022)
相关软件: 浮士德2;邮电部;粗壮的;ProbReach公司;棱镜;GitHub…
主要领域: 计算机科学(68-XX);系统论;控制(93-XX)

肌炎

软件作者:拉瓦艾,阿博法兹;哈立德,马哈茂德;苏加尼,萨德格;扎马尼,马吉德
参考文献: 3种出版物(2020-2021)
相关软件: 粗壮的;浮士德2;棱镜;暴风雨;表面活性剂;SReachTools…
主要领域: 计算机科学(68-XX);运筹学,数学规划(90-XX);系统论;控制(93-XX)

DryVR公司

软件作者:气、博伦;范楚楚;蒋明浩;密特拉,萨扬
参考文献: 3种出版物(2017-2021)
相关软件: S-塔利罗;德拉赫;汽车发动机;Dymola公司;乌帕;状态流…
主要领域: 计算机科学(68-XX);系统论;控制(93-XX)

转基因

软件作者:辛琦;M、 H.康马什;M、 V.萨拉帕卡
参考文献: 3份出版物(2002-2008)
相关软件: 量子点
主要领域: 运筹学,数学规划(90-XX);系统论;对照组(93-XX);信息与通信理论,电路(94-XX)

LTLMoP公司

软件作者:卡梅隆·菲努坎;港源经;哈达斯·克雷斯·加兹特
参考文献: 3种出版物(2017-2020)
相关软件: 郁金香;佩索阿;皮波曼;事实证明;快速机架;蟒蛇学…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融学和其他社会和行为科学(91-XX)

nn控制器

软件作者:赵恒军;曾、夏;陈韬略;刘志明;伍德考克,吉姆
参考文献: 3种出版物(2021年)
相关软件: Reluplex公司;CLN2INV公司;AI2型;亚当;垫片;夏洛克…
主要领域: 计算机科学(68-XX);系统论;控制(93-XX)

表面活性剂

软件作者:哈立德,马哈茂德;扎马尼,马吉德
参考文献: 3种出版物(2019-2020)
相关软件: 中华民国;苏格兰人;科西马;粗壮的;肌炎;SReachTools…
主要领域: 计算机科学(68-XX);系统论;控制(93-XX)

CGMurphi公司

软件作者:德拉佩娜,朱塞佩;因特里吉拉,贝内代托;玛加兹尼,丹妮尔;伊戈尔,梅拉蒂;恩里科特朗奇
参考文献: 2个出版物(2013-2021)
相关软件: 乌帕阿尔提加
主要领域: 系统论;控制(93-XX)

Dsynth公司

软件作者:亚伯特,亚历山德罗;贝萨,尤里;卡塔鲁扎,达里奥;科尔代罗,卢卡斯;大卫,克里斯蒂娜;凯塞利,帕斯卡;科隆,丹尼尔
参考文献: 2种出版物(2017-2020)
相关软件: 佩索阿;Boost区间算法;缅甸中央银行;促进
主要领域: 系统论;控制(93-XX)

猛击

软件作者:卡扬,加布里埃尔;特里斯坦勒加尔;马钱德,先生;按摩师,蒂埃里
参考文献: 2种出版物(2011-2012)
相关软件: 固定点;乌姆德斯;围裙
主要领域: 系统论;控制(93-XX)

BDD2机具

软件作者:M。哈立德
参考文献: 出版1期(2019年)
相关软件: 理智;表面活性剂;中华民国;郁金香;苏格兰人;科西玛…
主要领域: 计算机科学(68-XX);系统论;控制(93-XX)

交谈

软件作者:Bhaya A,维埃拉JBL
参考文献: 出版1期(2016年)
相关软件: Matlab语言
主要领域: 系统论;控制(93-XX)

CRC代码

软件作者:泰勒,J.D。;威廉先生
参考文献: 1本出版物(2014)
相关软件: 鲁棒控制工具箱
主要领域: 系统论;控制(93-XX)

达德拉

软件作者:Jared Mejia,Alex Devonport,Murat Arcak
参考文献: 0个出版物
相关软件: 阿里阿德涅;伊莎贝尔/霍尔;NL工具箱;朱利亚雷亚赫;蟒蛇
主要领域:

单片机

软件作者:赫乌纳,亚历山大;特里斯坦勒加尔;萨特,格雷戈
参考文献: 0个出版物
相关软件: 餐前小吃;CADP;旋转;特雷克斯
主要领域:

站长

软件作者:奥斯特罗夫尼克,M。;什希奇,Z。;祖潘契奇,B。;塞加,M。
参考文献: 1出版物(1994年)
相关软件: 安娜
主要领域: 计算机科学(68-XX)

追求

软件作者:贝尔萨尼,马塞洛M。;索尔多,马特奥;孟吉,克劳迪奥;佩利西翁,帕特里齐奥;罗西,马特奥
参考文献: 1份出版物(2020年)
相关软件: 努西姆;LTLMoP;github;活性氧;棱镜游戏;辛西娅…
主要领域: 计算机科学(68-XX);系统论;控制(93-XX)

西加利

软件作者:H。马钱德
参考文献: 0个出版物
相关软件: 马尔特;旋转
主要领域:

间谍

软件作者:曾世浩,李景爽
参考文献: 1本出版物(2022年)
相关软件: 量子点;摩泽克;沉香
主要领域: 运筹学,数学规划(90-XX);系统论;控制(93-XX)

海星

软件作者:林,H。;安特萨克利斯,P.J。
参考文献: 0个出版物
相关软件:
主要领域: