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