×

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

简化

135份文件引用(2001–2023)
软件作者: Detlefs,D。;Nelson,G。;J·B·萨克斯
相关软件: z3;ESC/Java;规范#…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);组合数学(05-XX)…

电子稳定控制系统/Java

120篇文献引用(2001–2022)
软件作者: 格雷格·纳尔逊
相关软件: 规格#;简化;JML…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);系统论;对照(93-XX)

弗拉马-C

43篇文献引用(2009–2023)
软件作者: 帕特里克·鲍丁;理查德·博尼肯(Richard Bonichon);洛伊克·科伦森;帕斯卡尔·库克;扎伊娜·达盖伊(Zaynah Dargaye);Jean-Christophe Filliátre;菲利普·赫尔曼;克劳德·马奇;本杰明·莫纳特;扬尼克·莫伊;安妮·帕卡莱特;维吉尔·普雷沃斯托;朱利安·西莫尔斯和鲍里斯·亚科博夫斯基
相关软件: Coq;Why3;z3…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);数值分析(65-XX)…

胡迪尼

26篇文献引用(2001–2022)
软件作者: 弗拉纳根C,莱诺KRM
相关软件: Daikon;ESC/Java;z3…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

科根(Cogent)

11份文件引用(2005–2018)
软件作者: 库克,拜伦;Daniel Kroening;娜塔莎·莎莉吉娜
相关软件: 卫星抗体;简化;旋转…
主要字段: 数学逻辑与基础(03-XX);偏微分方程(35-XX);数值分析(65-XX)…

电子稳定控制系统

4份文件引用(2012–2020)
软件作者: M.Kuwata先生
相关软件: PARI/GP公司
主要字段: 数论(11-XX);代数几何(14-XX)

电子稳定控制系统4

2份文件引用(2010–2011)
软件作者: 佩里·R·詹姆斯。;帕特里斯·沙林
相关软件: 布吉;ESC/Java;cvc3…
主要字段: 计算机科学(68-XX)

音频分段程序

在0个文档中引用
软件作者: Gianluca Maguolo、Michelangelo Paci、Loris Nanni、Ludovico Bonan
相关软件: 利比亚;Matlab;ADT…
主要字段:

合资企业

1份文件引用(2005)
软件作者: Ajay Chander;戴维·埃斯皮诺萨;伊斯兰教,纳耶姆;彼得·李;乔治·勒库拉
相关软件: 毫升
主要字段: 计算机科学(68-XX)

电子稳定控制系统

在0个文档中引用
软件作者: 丹尼尔·吕德克
相关软件:
主要字段:

筛选结果依据…