×

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

莫扎特

在15份文件中引用(1999年至2018年)
软件作者: 彼得·范罗伊;塞夫·哈里迪
相关软件: 奥兹;CPLEX;芯片…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)…

系统仿真

8份文件引用(2004–2018)
软件作者: 以西门子工业软件
相关软件: Simulink;Matlab;重复(R)…
主要字段: 统计学(62-XX);计算机科学(68-XX);粒子力学与系统(70-XX)…

工具总线

7份文件引用(1995–2007)
软件作者: J.A.Bergstra;P.Klint先生
相关软件: 萨帕托;E定理证明器;CVC精简版…
主要字段: 计算机科学(68-XX)

加利福尼亚州

4份文件引用(2007–2014)
软件作者: Fonseca MJ、Pimentel C、Jorge JA
相关软件: SketchREAD;塔胡提;HCRF…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)

COMODI公司

4份文件引用(2004–2009)
软件作者: 拉扎尔,兹索尔特一世。;巴孜尔州帕尔夫
相关软件:
主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)

iJADE IWShopper公司

2份文件引用(2001–2003)
软件作者: Raymond S.T.李。
相关软件: iJADE监督员
主要字段: 计算机科学(68-XX)

数学TOUCH

2份文件引用(2018)
软件作者: Shirai,Shizuka;福井、铁雄;吉多米,肯塔罗;川崎,三井;中原、高弘;Nakamura,Yasuyuki;Kato,Katsuya;田口,Tetsuya
相关软件: 马克西玛;MeLQS;数学…
主要字段: 计算机科学(68-XX);数学教育(97-XX)

草图节点

2份文件引用(2014–2015)
软件作者: Plimmer,B.,Purchase,H.,Yang,H。
相关软件: 迪亚贝利;Tesseract;Speedith…
主要字段: 组合数学(05-XX);计算机科学(68-XX)

CGLIB公司

在0个文档中引用
软件作者: 周能发
相关软件:
主要字段:

TFGD公司

在0个文档中引用
软件作者: 费、张军;Joung,Je-Gun;唐雪梅;郑毅;黄明云;Lee,Je Min;Ryan Mcquinn;Denise M.Tieman。;罗伯·阿尔巴(Rob Alba);哈里·克莱(Harry J.Klee)。;詹姆斯·乔瓦诺尼。
相关软件:
主要字段:

乌比基姆

在0个文档中引用
软件作者: 弗朗西斯科·坎普扎诺;埃米利奥·塞拉诺;胡安·博蒂亚;巴勃罗·坎皮略
相关软件:
主要字段:

筛选结果依据…