×

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

LTSA-WS公司

12份文件引用(2006–2021)
软件作者: Magee J、Kramer J、Uchitel S等
相关软件: WSAT;NuSMV;UFO…
主要字段: 计算机科学(68-XX)

SAAM II公司

4份文件引用(2000–2014)
软件作者: 巴雷特、P H R、贝尔、B M、科贝利、C、戈尔德、H、舒米茨基、A、维奇尼、P、福斯特、D M
相关软件: 蟒蛇;wxPython;Matplotlib…
主要字段: 生物学和其他自然科学(92-XX);系统论;对照(93-XX)

海龟-P

引用于2份文件(2003–2006)
软件作者: 卢多维奇(Ludovic Apvrille);皮埃尔·德·萨奎·桑奈斯(Pierre De Saqui-Sannes);费哈特·肯德克
相关软件: Uppaal;克罗诺斯;税收…
主要字段: 计算机科学(68-XX)

开放式多媒体数据存储系统

1份文件引用(2017)
软件作者: 埃尔梅森·C·安德拉德。;阿尔维斯,马塞洛;马托斯、鲁本斯;布鲁诺·席尔瓦;保罗·马西尔
相关软件:
主要字段: 运筹学、数学规划(90-XX);系统论;对照(93-XX)

筛选结果依据…