Uppaal公司 568份文件引用(1990–2023) 软件作者: 瑞典乌普萨拉大学;丹麦奥尔堡大学 相关软件: 克罗诺斯;高科技;旋转… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…
信号 51篇文献引用(1987年-2020年) 软件作者: 大卫·诺瓦克;让-皮埃尔·塔尔平;蒂埃里·戈蒂埃;保罗·勒格尔尼克 相关软件: 卢斯特;埃斯特尔;托勒密… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…
Uppaal2k公司 38篇文献引用(2000–2017) 软件作者: Kim G.Larsen、Wang Yi、Paul Pettersson、Alexandre David、Brian Nielsen、Arne Skou、John Håkansson、Jacob Illum Rasmussen、Pavel Krcál、Ulrik Larsen、Marius Mikucionis、Leonid Mokrushin 相关软件: Uppaal;克罗诺斯;高科技… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…
BraMBLe公司 6篇文献引用(2006年-2014年) 软件作者: Isard,M.和MacCormick,J。 相关软件: Pfinder;阿达·布斯特。MH;OTCBVS… 主要字段: 变分法与最优控制;优化(49-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…
群组工具包 2份文件引用(2003–2009) 软件作者: 罗斯曼M。;格林伯格S。 相关软件: 脱咖啡因咖啡;PlanEdit;克莱姆… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)
节点.js 6篇文献引用(2017–2022) 软件作者: Ioannis K.Chaniotis。;Kyriakou,Kyriacos-Ioannis D。;尼古拉斯·泽利卡斯。 相关软件: JavaScript;github;MySQL… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);系统论;对照(93-XX)
TEXPLORE公司 10篇文献引用(2013年-2023年) 软件作者: 托德·海丝特 相关软件: AlphaZero;DDDAS;EnKF… 主要字段: 计算机科学(68-XX);可变形固体力学(74-XX);运筹学,数学编程(90-XX)…
RT-ASLAN公司 3份文件引用(1994–2002) 软件作者: 奥尔海默B,凯默R A。 相关软件: 酯类;Ada95;ASTRAL公司 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
MarCaSPiS公司 5份文件引用(2009–2015) 软件作者: 洛科·德·尼古拉、迭戈·拉泰拉、米歇尔·洛雷蒂、梅克·马西克 相关软件: 奶牛;MoDeST;克莱姆… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);概率论与随机过程(60-XX)…
路径帕斯卡 4份文件引用(1986–1997) 软件作者: 罗伯特·B·科尔斯塔德(Robert B Kolstad);罗伊·H·坎贝尔 相关软件: 舒适的;PAL-11A;Ada95… 主要字段: 计算机科学(68-XX)
vbd广播 4份文件引用(2018–2023) 软件作者: Leah R.Johnson。;Gramacy,罗伯特·B。;杰里米·科恩(Jeremy Cohen);艾琳·末底改;默多克,考特尼;杰森·罗尔(Jason Rohr);萨迪·J·瑞安。;安娜·M·斯图尔特·伊巴拉。;丹尼尔·威克尔 相关软件: laGP;fpp2;经验丰富… 主要字段: 欧氏空间(42-XX)的调和分析;概率论与随机过程(60-XX);统计学(62-XX)…
BALTRAD公司 在0个文档中引用 软件作者: Michelson,D,Henja,A,Ernes,S,Haase,G,Koistinen,J,O ssiródka,K,Peltonen,T,Szewczykowski,M,Szturc 相关软件: wradlib;蟒蛇;Py-ART… 主要字段: –
DYFRAT公司 3份文件引用(2020–2022) 软件作者: 加尔卡尼A,伦巴第L 相关软件: 贝塔雷格;glmmTMB;irtrees… 主要字段: 统计学(62-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
ESPADON公司 2份文件引用(2003–2006) 软件作者: 鲍勃·K·马达哈尔。;艾恩·阿尔斯通(Ian D.Alston)。;丹尼斯·奥拉格尼尔;汉斯·舒勒;马克·托马斯(Mark Thomas);萨吉特,布丽吉特 相关软件: 锡林克斯 主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)
LPMD公司 2份文件引用(2010–2021) 软件作者: 塞尔吉奥·戴维斯;洛约拉,克劳迪娅;费利佩·冈萨雷斯(Felipe Gonz'alez);佩拉塔,约阿库 相关软件: DL_POLY_3;发霉 主要字段: 量子理论(81-XX);统计力学,物质结构(82-XX)
开放率SLAM 1份文件引用(2019) 软件作者: 鲍尔·D。;希思,S。;威尔斯,J。;惠氏,G。;科克,P。;米尔福德,M。 相关软件: 亚当;DTAM;SeqSLAM… 主要字段: 计算机科学(68-XX);生物学和其他自然科学(92-XX);系统论;对照(93-XX)