×

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

CMC公司

31份文件引用(2000–2020)
软件作者: 弗朗索瓦·拉鲁西尼;金·拉森
相关软件: Uppaal;克罗诺斯;高科技…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…

隔间

23篇文献引用(2013年-2023年)
软件作者: Conchon S.、Goel A.、KrstićS.、Mebsout A.、Zaidi F。
相关软件: Mcmt;z3;常春藤…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)

ARMCI公司

引用于9份文件(2000年-2010年)
软件作者: J.Nieplocha、V.Tipparaju、M.Krishnan、D.Panda
相关软件: CoArray;NAS平行基准;MPI…
主要字段: 数值分析(65-XX);计算机科学(68-XX);量子理论(81-XX)…

圣杯

10篇文献引用(2012–2022)
软件作者: K.Rustan M.Leino;彼得·米勒;简·斯曼斯
相关软件: VeriFast;布吉;毒蛇…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

ACTLW公司

6篇文献引用(2008–2016)
软件作者:
相关软件: 自旋蛋白;奶牛;mCRL…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

ompFEAP公司

5份文件引用(2015–2023)
软件作者: Jarzebski,P。;Wisniewski,K。;泰勒,R.L。
相关软件: FEAP;AceFEM;纳斯特兰…
主要字段: 数值分析(65-XX);可变形固体力学(74-XX);经典热力学,传热(80-XX)

再服务

3份文件引用(2008–2012)
软件作者: 科勒,C。;拉佐维克,A。;阿巴布,F。
相关软件: 里奥;重新规范;琳达…
主要字段: 计算机科学(68-XX)

CoBoxes公司

1份文件引用(2017)
软件作者: Jan Schäfer,阿诺德·波茨希·赫夫特
相关软件: ArchJava;JavAdaptor;JCobox…
主要字段: 计算机科学(68-XX)

1份文件引用(2010)
软件作者: Sudheendra Hangal、Naveen Chandra、Sridhar Narayanan、Sandeep Chakravorty
相关软件: Daikon;方面C++;佐尔塔…
主要字段: 计算机科学(68-XX)

加达拉

1份文件引用(2013)
软件作者: 圣菲拉福顿;王寅;脊柱侧凸,Spyros
相关软件: 赛车X
主要字段: 计算机科学(68-XX)

筛选结果依据…

全部的 前5名

相关软件