×

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

SLMC公司

75篇文献引用(2003–2023)
软件作者: 雨果·维埃拉;路易斯·凯雷斯
相关软件: 棱镜;管道;莫德…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…

阿格利特

3份文件引用(2010–2017)
软件作者: 杰米·莫根斯坦(Jamie Morgenstern);丹尼尔·李卡塔(Daniel R.Licata)。
相关软件: 层流;哈斯克尔;Ynot…
主要字段: 计算机科学(68-XX)

活动性

3份文件引用(2008–2014)
软件作者: 史蒂文斯·D、德拉吉塞维奇·S和罗思利·K。
相关软件: LUCAS;FANN;AntNet…
主要字段: 计算机科学(68-XX);流体力学(76-XX);运筹学,数学规划(90-XX)…

科梅特

4份文件引用(2002–2005)
软件作者: Calmet,J.、Jekutsch,S.、Kullmann,P.、Schü,J。
相关软件: FRIL;PVS;SPASS…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

HaExcel软件

在0个文档中引用
软件作者: 贾科姆·库尼亚
相关软件: 森巴祖鲁;XCellAnnotator;DeExcelerator…
主要字段:

空间Yap

在0个文档中引用
软件作者: 大卫·瓦兹;米歇尔·费雷拉;里卡多·洛佩斯
相关软件: 多年发展目标
主要字段:

FAME公司

1份文件引用(2019)
软件作者: 亚历杭德罗·圣地亚哥;贝尔纳贝多罗索罗;安东尼奥·内布罗(Antonio J.Nebro)。;Juan J.Durillo。;卡斯蒂略,奥斯卡;Héctor J.Fraire。
相关软件: SMPSO;JCell;SMS-EMOA…
主要字段: 运筹学、数学规划(90-XX)

PLINI公司

在0个文档中引用
软件作者: 阿尔巴内塞,马西米利亚诺;马蒂亚斯·布罗切勒;格兰特,约翰;Martinez,Maria Vanina;苏布拉曼尼亚,V.S。
相关软件:
主要字段:

彪马

1份文件引用(2020)
软件作者: Aayush Ankit、Izzat El Hajj、Sai Rahul Chalamarasetti、Geoffrey Ndu、Martin Foltin、R Stanley Williams、Paolo Faraboschi、Wen-mei W Hwu、John Paul Strachan、Kaushik Roy、Milojicic Dejan
相关软件: 图R;PipeLayer;PANTHER…
主要字段: 计算机科学(68-XX)

筛选结果依据…