防抱死制动系统 33篇文献引用(2012–2022) 软件作者: Johnsen,E.B.、Hähnle,R.、Schäfer,J.、Schlatte,R.和Steffen,M。 相关软件: JCobox;中美合作所;Erlang… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)…
千平方米 16篇文献引用(1996–2019) 软件作者: 蒂姆·菲宁(Tim Finin)、理查德·弗里茨森(Richard Fritzson)、唐纳德·普·麦凯(Donald P McKay)、罗宾·麦康蒂尔(Robin McEntire) 相关软件: 神童;Globus工具包;Qu-Prolog… 主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…
成本核算表 5份文件引用(2012–2017) 软件作者: Albert,E.、Arenas,P.、Genaim,S.、Gómez-Zamalloa,M.、Puebla,G。 相关软件: 防抱死制动系统;速度;中美合作所… 主要字段: 计算机科学(68-XX)
DAG地图 引用于3份文件(2012–2017) 软件作者: 曹海军;金、海;吴晓欣;吴、宋;石、宣化 相关软件: Globus工具包;DAGMan;网格模拟 主要字段: 概率论与随机过程(60-XX);统计学(62-XX);计算机科学(68-XX)…