×

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

PESSOA公司

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

TuLiP公司

15篇文献引用(2016–2022)
软件作者: Tichakorn Wongpiromsarn、Ufuk Topcu、Necmiye Ozay、Huan Xu、Richard M.Murray
相关软件: PESSOA;科西马;苏格兰…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…

简历

8份文件引用(1997–2018)
软件作者: 尤瓦尔·沙哈尔;马克·穆森
相关软件: 蛋白质;PhysioToolkit;BIDE…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)

TLAPS(TLAPS)

14篇文献引用(1999–2023)
软件作者: 拉波特
相关软件: 薄层色谱法;常春藤;Coq…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)

长期平均价格

5份文件引用(2017–2022)
软件作者: Cameron Finucane;港元景;哈达斯·克雷斯·加济特
相关软件: TuLiP;PESSOA;SCOTS…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…

FaPAS公司

4份文件引用(2013–2018)
软件作者: B.约达诺夫,C.贝尔塔
相关软件: NuSMV;VeriSIMPL;算法97…
主要字段: 组合数学(05-XX);生物学和其他自然科学(92-XX);系统论;控制(93-XX)

ProMoVer公司

4份文件引用(2011–2016)
软件作者: Siavash Soleimanifard;古罗夫,帝力;马里克,Huisman
相关软件: MAVEN公司;DeltaCCS;MSTA…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)

版本X

4份文件引用(2020–2022)
软件作者: Permenev,A.、Dimitrov,D.、Tsankov,P.、Drachsler-Cohen,D.、Vechev,M。
相关软件: solc-verify;落叶松;埃菲尔…
主要字段: 计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX);信息与通信理论,电路(94-XX)

火花-T

2份文件引用(2006–2009)
软件作者: 马塞·特杰费尔;霍瓦思,佐尔坦;塔马斯·科兹克
相关软件: 闪光;清洁
主要字段: 计算机科学(68-XX)

康帕斯

1份文件引用(2013)
软件作者: 艾丁·戈尔(Ebru Aydin Gol);卡林·贝尔塔
相关软件: Matlab公司
主要字段: 变分法与最优控制;优化(49-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

迪克西特

1份文件引用(2007)
软件作者: Fejoz L、Méry D、Merz S
相关软件: 灌篮;克罗诺斯;CVC精简版…
主要字段: 计算机科学(68-XX)

SENSE(感知)

1份文件引用(2019)
软件作者: M.Khaled、M.Rungger、M.Zamani
相关软件: BDD2机具;p面;ROCS…
主要字段: 计算机科学(68-XX);系统论;控制(93-XX)

TBSS夹

1份文件引用(2024)
软件作者: 北卡罗来纳州皮科洛托。;Bögl,M。;Gschwandtner,T。;穆尔曼,C。;诺德豪森,K。;菲尔兹莫瑟,P。;米克施,S。
相关软件: 罚款;ICALAB;翡翠…
主要字段: 统计学(62-XX)

ESA_PetriNet公司

在0个文档中引用
软件作者: 马利卡·梅德朱德
相关软件: ——
主要字段: ——

筛选结果依据…

全部的 前5名

相关软件