×

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

防抱死制动系统

32篇文献引用(2012–2022)
软件作者: Johnsen,E.B.、Hähnle,R.、Schäfer,J.、Schlatte,R.和Steffen,M。
相关软件: JCobox;中美合作所;Erlang…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)…

Hypertool(超级工具)

17篇文献引用(2007–2019)
软件作者: Wu M.Y.、Gajski D.D。
相关软件: Condor-G;STG;面条…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)

甲酚

25篇文献引用(2006–2022)
软件作者: 约翰森(Einar Broch Johnsen);Owe、Olaf;Yu,Ingrid Chieh女士
相关软件: 羽量级Java;ABCL;莫德…
主要字段: 计算机科学(68-XX)

金发姑娘

9份文件引用(2009–2017)
软件作者: Elmas,T.、Qadeer,S.、Tasiran,S。
相关软件: 橡皮擦;雾化器;快速通道…
主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX)

单轨

6篇文献引用(2009–2017)
软件作者: 凯特林·萨多夫斯基;斯蒂芬·N·弗洛伊德;科马克·弗拉纳根
相关软件: 雾化器;速度记录;烟尘…
主要字段: 计算机科学(68-XX)

CHOPtrey公司

4份文件引用(2020–2022)
软件作者: Ben Khaled-El Feki,A。;杜瓦尔,L。;Faure,C。;西蒙,D。;本·盖德,M。
相关软件: FMI;亚当斯;LSODE…
主要字段: 数值分析(65-XX);计算机科学(68-XX);粒子和系统力学(70-XX)

PythonTeX公司

2份文件引用(2018–2019)
软件作者: G.M.普尔
相关软件: Mathematica;枫树;SageMath…
主要字段: 结合环与代数(16-XX);动力系统与遍历理论(37-XX);近似和展开(41-XX)…

筛选结果依据…

全部的 前5名

相关软件