×

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

引文 按字母顺序

SWORD公司

5份文件引用(2005–2012)
软件作者： S Ponnekanti，一只狐狸
相关软件： 朱莉；NuSMV；商店2…
主要字段： 计算机科学（68-XX）

约佩拉

引用于3份文件(2007–2012)
软件作者： Pautasso C、Alonso G。
相关软件： 图形平面图；AO4BPEL；cglib…
主要字段： 计算机科学（68-XX）

自动同步

引用于3份文件(2009–2012)
软件作者： 怀、金鹏；邓婷；李宪贤；杜宗霞；郭慧鹏
相关软件： WSAT；NuSMV；LTSA-WS…
主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）

筛选结果依据…

全部的 前5名

相关软件

主字段