×

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

莫德-NPA

39篇文献引用(2009–2023)
软件作者: 圣地亚哥埃斯科瓦尔;梅多斯,凯瑟琳作者简介;何塞·梅塞盖尔;圣地亚哥,索尼娅
相关软件: 莫德;塔马林;AVISPA…
主要字段: 历史与传记(01-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…

爪哇风扇

30篇文献引用(2004–2018)
软件作者: 阿扎德·法尔赞;陈冯;何塞·梅塞盖尔;格里高·罗什乌
相关软件: 莫德;K校准仪;MMT…
主要字段: 历史与传记(01-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)

洛拉

26篇文献引用(2000–2021)
软件作者: 卡斯滕·施密特(Karsten Schmidt);K·沃尔夫。
相关软件: 玛丽亚;Uppaal;BPEL2PN…
主要字段: 历史与传记(01-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…

穆尔斐

11份文件引用(2003–2020)
软件作者: 大卫·迪尔
相关软件: 自旋蛋白;迪文尼;BEEM…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

AltAlt键

6篇文献引用(2002–2009)
软件作者: 罗密奥·桑切斯·奈根达(Romeo Sanchez Nigenda)、玄龙阮(XuanLong Nguyen)、苏巴拉奥·坎巴帕蒂(Subbarao Kambhampati)
相关软件: STAN;图形平面图;SAPA…
主要字段: 计算机科学(68-XX);运筹学,数学编程(90-XX)

StEAM公司

3份文件引用(2004–2011)
软件作者: 彼得·莱文(Peter Leven);蒂尔曼·梅勒;斯特凡·爱德坎普
相关软件: 自旋蛋白;卫星抗体;Zing…
主要字段: 计算机科学(68-XX)

ParSSSE公司

4份文件引用(2011年至2018年)
软件作者: 孙燕华;郑耿彬;普里蒂什·杰特利;Laxmikant V.卡莱。
相关软件: GAMS;ParaSCIP;卵石…
主要字段: 数值分析(65-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)

AltAltp公司

1份文件引用(2003)
软件作者: 桑切斯,R。;南卡罗来纳州坎班帕蒂。
相关软件: AltAlt;液化石油气;SAPA…
主要字段: 计算机科学(68-XX)

显式PRISMSymm

引用于2份文件(2015年)
软件作者: 帕特尔,里马;凯文·帕特尔(Kevin Patel);蒂伦·帕特尔
相关软件: 棱镜
主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX)

Kuai公司

引用于2份文件(2019–2021)
软件作者: Majumdar,R.,Tetali,S.D.,Wang,Z。
相关软件: 食蚁兽;VeriCon公司;VeriFlow…
主要字段: 计算机科学(68-XX)

PathMiner公司

引用于2份文件(2009年至2024年)
软件作者: D.C.McShan,S.Rao,I.Shah
相关软件: CPLEX公司
主要字段: 组合数学(05-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

壁画

1份文件引用(2023)
软件作者: 李凯文;阿比舍克古普塔;阿什温·雷迪;Vitchyr Pong;周,奥里克;于,贾斯汀;谢尔盖·莱文
相关软件: InfoGAN;MuJoCo;亚当…
主要字段: 计算机科学(68-XX)

蓬普++

1份文件引用(2023)
软件作者: 弗朗西斯科·朱利亚里;阿尔贝托·卡斯泰里尼;里卡多·贝拉;阿莱西奥·德尔(Alessio Del Bue);亚历山德罗·法利内利;马克·克里斯塔尼(Marco Cristani);弗朗西斯科·塞蒂;王一鸣
相关软件: AlphaZero;隔离森林;AI2…
主要字段: 计算机科学(68-XX)

定时自动机

1份文件引用(2016)
软件作者: 西蒙·威默
相关软件: 存档正式证据;HOL;Uppaal…
主要字段: 计算机科学(68-XX)

筛选结果依据…

全部的 前5名

相关软件