×

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

引文 按字母顺序

贝勒罗芬

8份文件引用(2017–2023)
软件作者： Nathan Fulton；斯特凡·米奇；布兰登·伯勒；安德烈·普拉泽
相关软件： 凯伊迈拉X；凯伊迈拉；ModelPlex…
主要字段： 数学逻辑与基础（03-XX）；常微分方程（34-XX）；计算机科学（68-XX）…

狂热的

引用于7份文件（2011年至2021年）
软件作者： Foster，N.、Harrison，R.、Freedman，M.J.、Monsanto，C.、Rexford，J.、Story，A.、Walker，D。
相关软件： NetKAT；荨麻；VeriCon…
主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）

瓶

引用于3份文件(2010–2011)
软件作者： 大陆，G.、莫里塞特，G.，威尔士，M。
相关软件： 迷你ML；标签；Ynot…
主要字段： 计算机科学（68-XX）；系统论；控制（93-XX）；信息与通信理论，电路（94-XX）

莫纳特隆

2份文件引用(2009–2010)
软件作者： 贾斯克利奥夫，M。
相关软件： 自动化；涅槃
主要字段： 范畴理论；同调代数（18-XX）；计算机科学（68-XX）

XPTO公司

2份文件引用(2011)
软件作者： 弗拉维奥·费雷拉（Flávio Ferreira）、雨果·帕切科（Hugo Pacheco）
相关软件： XPath；哈斯克尔；Stratego…
主要字段： 计算机科学（68-XX）

功能表单

1份文件引用(2005)
软件作者： 埃弗斯、桑德；彼得·阿希顿；Kuper，一月
相关软件： FranTk；wxHaskell公司
主要字段： 计算机科学（68-XX）

分析器组合器

在0个文档中引用
软件作者： 安德鲁库克
相关软件： 蟒蛇；CrystalInfoFramework.jl；DrelTools…
主要字段： –

奎克

1份文件引用（2014年）
软件作者： 考克斯，阿伦；Chang，Bor-Yuh Evan；桑卡拉纳拉亚南，斯里拉姆
相关软件： 固定袋；杀手；停机坪
主要字段： 计算机科学（68-XX）

SSAX公司

1份文件引用(2005)
软件作者： SourceForge公司
相关软件： 毕格鲁；pregexp；XPath…
主要字段： 计算机科学（68-XX）

特里菲塔

1份文件引用(2020)
软件作者： 科米特，E.A。
相关软件： 弗兰克；压痕；Shonky…
主要字段： 计算机科学（68-XX）

筛选结果依据…

全部的 前5名

相关软件

全部的 前3名

主字段