×

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

猛增

22篇文献引用(1992年-2010年)
软件作者: 凯蒂尔·桑德尔
相关软件: JDQZ;JDQR;SATZILA…
主要字段: 数值分析(65-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…

配套元件

6篇文献引用(1993–2017)
软件作者: W.R.贝维尔
相关软件: veriSoft;Isabelle/HOL;NQTHM…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)

拍打

引用于2份文件(1992–1994)
软件作者: Smith,K.,Appelbe,W。
相关软件: 棒 极 了;MIMDizer公司;SARA…
主要字段: 计算机科学(68-XX)

贵族

引用于2份文件(2008–2015)
软件作者: H.Sundell、P.Tsigas
相关软件: 英特尔TBB;蟒蛇
主要字段: 计算机科学(68-XX)

跳跃

1份文件引用(2001)
软件作者: 谢尔盖·瓦塔诺夫。
相关软件:
主要字段: 计算机科学(68-XX)

CMTM公司

1份文件引用(2004)
软件作者: J.A.Zollweg和A.Verma
相关软件: ParaMat;MATPAR;分发PP…
主要字段: 计算机科学(68-XX)

DICE标准

1份文件引用(1994)
软件作者: A.J.Krijgsman;R.贾格尔
相关软件:
主要字段: 系统论;控制(93-XX)

MTHSA-DHEI公司

1份文件引用(2023)
软件作者: 屠守恒、李超、刘凡、李爱民、郎禾、宗宇根、尚俊良、刘海燕、朱艳玲、冯增瑜、陈天瑞
相关软件: 中国电子05
主要字段: 偏微分方程(35-XX);数值分析(65-XX);运筹学,数学编程(90-XX)

舒姆-乌科斯

1份文件引用(2019)
软件作者: 周波、邱伟、陈毅、彭丙
相关软件: 雅提斯
主要字段: 计算机科学(68-XX)

Mylyn公司

在0个文档中引用
软件作者: 基金会
相关软件:
主要字段:

筛选结果依据…