×

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

引文 按字母顺序

驯服的

5份文件引用(2000–2011)
软件作者： 迈拉·阿彻
相关软件： PVS；Uppaal；落叶松…
主要字段： 计算机科学（68-XX）

MASyV公司

1份文件引用(2006)
软件作者： C.博切宁
相关软件： 生物战；路径模拟
主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）

筛选结果依据…

全部的 前5名

相关软件

主字段