×

找到5个软件包(结果1-5)

防抱死制动系统

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)…

TAEMS公司

5份文件引用(2002–2007)
软件作者: 基思·戴克
相关软件: 脱咖啡因咖啡;AntNet;NuSMV公司
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-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)…

筛选结果依据…