×

找到7个软件包（结果1-7）

引文 按字母顺序

LTSA-WS公司

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

泰勒中心

6篇文献引用(2002–2014)
软件作者： A.戈芬。
相关软件： 泰勒；ATOMFT；舒适…
主要字段： 复变量函数（30-XX）；常微分方程（34-XX）；数值分析（65-XX）…

萨瓦拉

2份文件引用(2015)
软件作者： –
相关软件： JBoss；乱涂；SPY…
主要字段： 计算机科学（68-XX）

乔尔

1份文件引用(2016)
软件作者： Carbone，M.，Montesi，F。
相关软件： 乱涂；标签
主要字段： 计算机科学（68-XX）

卡拉斯

1份文件引用(2023)
软件作者： 波乔拉，约翰内斯·奥曼；戈梅斯·隆多尼奥，亚历杭德罗；詹姆斯·沙克（James Shaker）；迈克尔·诺里什
相关软件： 皮罗埃特；类动物；Coq公司
主要字段： 计算机科学（68-XX）

VerChor公司

1份文件引用（2020年）
软件作者： Matthias Güdemann、Pascal Poizat、Gwen Salaün、Lina Ye
相关软件： –
主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）

CATLib（目录库）

在0个文档中引用
软件作者： 巴兹勒，D。；M.H.特比克。
相关软件： –
主要字段： –

筛选结果依据…

全部的 前5名

相关软件

全部的 前3名

主字段