×

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

Reo公司

90篇文献引用(2003–2023)
软件作者: 马特杰·杜尼克
相关软件: 琳达;莫德;mCRL2…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…

CC-Pi公司

28篇文献引用(2007–2022)
软件作者: 玛丽亚·格拉齐亚·巴斯米(Maria Grazia Buscemi),乌戈·蒙塔纳里(Ugo Montanari)
相关软件: 奶牛;Isabelle/HOL;名义上的伊莎贝尔…
主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)…

阿斯卡隆

6篇文献引用(2002–2012)
软件作者: 托马斯·法林格;亚历山德鲁·朱格鲁(Alexandru Jugravu);萨布里·普拉纳;Radu Prodan;克洛维斯·塞拉吉奥托;洪林忠
相关软件: Java CoG工具包;SCALEA公司;网格流…
主要字段: 计算机科学(68-XX)

caGrid公司

在0个文档中引用
软件作者: Saltz J、Oster S、Hastings S等人:
相关软件: Globus工具包;QTAG;生物2RDF…
主要字段:

朱莉

8份文件引用(2009–2021)
软件作者: 伊凡·拉内斯;法布里齐奥·蒙特西;吉安路易吉·扎瓦塔罗
相关软件: 奶牛;SWORD;兽人…
主要字段: 计算机科学(68-XX)

即兴的

8份文件引用(2002–2011)
软件作者: 埃拉·格里希卡什维利;艾伦,M。;Taleb-Bendiab,A。
相关软件:
主要字段: 总体主题;藏品(00-XX);历史与传记(01-XX);功能分析(46-XX)…

温迪

3份文件引用(2011–2020)
软件作者: 尼尔斯·洛曼;丹妮拉·温伯格
相关软件: BPEL2oWFN;LOTOS;沃夫兰…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)

MarCaSPiS公司

5份文件引用(2009–2015)
软件作者: 洛科·德·尼古拉、迭戈·拉泰拉、米歇尔·洛雷蒂、梅克·马西克
相关软件: 奶牛;MoDeST;克莱姆…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);概率论与随机过程(60-XX)…

BESERIAL公司

3份文件引用(2009–2016)
软件作者: Ait-Bachir A、Dumas M、Fauvet MC
相关软件: CADP;莫德;FDR2…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

橙色4WS

3份文件引用(2016年至2019年)
软件作者: V.Podpečan、M.Zemenova、N.Lavrać
相关软件: 橙色;威卡;生物2RDF…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)

咖喱

3份文件引用(2003–2006)
软件作者: 李刚;赵卓峰;韩燕波;梁颖
相关软件: XtremWeb
主要字段: 计算机科学(68-XX)

服务

3份文件引用(2021年至2022年)
软件作者: Lordan,F。;Tejedor,E。;埃扎克,J。;拉斐内尔,R。;阿尔瓦雷斯,J。;Marozzo,F。;Lezzi博士。;Sirvent,R。;塔里亚,D。;巴迪亚·R·M·。
相关软件: PyCOMPS;COMPS;额外…
主要字段: 数值分析(65-XX);计算机科学(68-XX);变形固体力学(74-XX)…

SPAD公司

3份文件引用(2007–2009)
软件作者: 蒂埃里·阿库图拉维洛;帕特里克·S’enac;阿鲁纳Seneviratne;米歇尔·迪亚兹
相关软件: AXIOM公司
主要字段: 统计学(62-XX);计算机科学(68-XX)

HYDRA公司

1份文件引用(2016)
软件作者: Alor-Hernandez,Giner;阿尔贝托·阿吉拉尔·拉塞雷;尤利西斯·华雷斯-马丁内斯;鲁本·波萨达·戈梅兹(Ruben Posada-Gomez);科特斯·罗尔斯(Cortes-Robles),吉勒莫(Guillermo);马里奥·阿尔贝托(Mario Alberto)加西亚·马丁内斯(Garcia-Martinez);戈麦斯·贝尔比斯、胡安·米格尔;阿历杭德罗·罗德里格斯·冈萨雷斯
相关软件: Spalart Allmaras公司;特里利诺斯;PETSc…
主要字段: 数值分析(65-XX);流体力学(76-XX)

JClarens公司

在0个文档中引用
软件作者: 迈克尔·托马斯(Michael Thomas)、康拉德·斯蒂恩伯格(Conrad Steenberg)、弗兰克·范林根(Frank van Lingen)、哈维·纽曼(Harvey Newman)、朱利安·邦恩(Julian Bunn)、阿尔沙德·阿里(Arshad Ali)、理查德·麦克拉奇(Richard McClautchy)、阿希克·安尤姆(Ashiq Anjum)
相关软件: 吉格尔;变色龙;尼姆罗德/G
主要字段:

LPaaS公司

1份文件引用(2018)
软件作者: 罗伯塔·卡莱加里;Enrico Denti;Mariani,Stefano;安德里亚·奥米奇尼
相关软件: TuCSoN;SWI-预测;XSB…
主要字段: 计算机科学(68-XX)

PVSAE公司

2份文件引用(2018年至2019年)
软件作者: 张瑞、薛瑞、于特、刘莉
相关软件:
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

阿内卡

在0个文档中引用
软件作者:
相关软件: 亚马逊EC2;开放星云;桉树…
主要字段:

BPA-Sec4云

1份文件引用(2016)
软件作者: 费尔南多·林斯;朱利奥·达马西奥(Julio Damasceno);罗布森·梅德罗斯;埃里卡·索萨;尼尔森·罗莎
相关软件: BPMN2;活动性;轴2…
主要字段: 计算机科学(68-XX)

DEVS套装

在0个文档中引用
软件作者: S.Kim、H.S.Sarjoughian、V.Elamvazhuthi
相关软件: SSF网;ns-2;ns-3…
主要字段:

DIS3GNO公司

1份文件引用(2012)
软件作者: 塞萨里奥、尤金尼奥;马尔科·拉科维奇;多梅尼科·塔里亚;保罗·特伦菲奥
相关软件: 阿斯卡隆
主要字段: 计算机科学(68-XX)

DPW模拟

在0个文档中引用
软件作者: Han SN、Lee GM、Crespi N、Luong NV、Heo K、Brut M、Gatellier P。
相关软件: GloudSim;格罗德西姆;DCSim…
主要字段:

格里夫

1份文件引用(2010)
软件作者: Manuali,C。;拉加纳,A。;南卡罗来纳州兰皮诺。
相关软件: 基础知识
主要字段: 总体主题;藏品(00-XX);量子理论(81-XX)

InstQL软件

1份文件引用(2010)
软件作者: 卢克·霍普顿(Luke Hopton);欧文·克利夫(Owen Cliffe);滨海德沃斯;朱利安·帕吉特
相关软件: 斯莫德尔斯
主要字段: 计算机科学(68-XX)

MHGrid公司

1份文件引用(2008)
软件作者: 阿西姆·穆纳瓦尔;穆罕默德·瓦希卜;Masaharu Munetomo;清崎阿卡玛
相关软件: 尼姆罗德/O;近地天体;Globus工具包…
主要字段: 计算机科学(68-XX)

莫菲斯托

1份文件引用(2009)
软件作者: 安德烈亚·齐林斯基(Andrea Zielinski);西蒙,克里斯蒂安;蒂尔曼·威特尔
相关软件: SFST公司
主要字段: 计算机科学(68-XX)

so云

在0个文档中引用
软件作者: 帕莱索,法瓦兹;菲利普·梅尔(Philippe Merle);莱昂内尔·桑图里尔
相关软件: httperf;自动驾驶仪;云4SOA
主要字段:

独角兽

1份文件引用(2015)
软件作者: Bianculli D、Ghezzi C、Pietro PS
相关软件: PostgreSQL;LOLA;蒙保利
主要字段: 计算机科学(68-XX)

塞浦路斯

在0个文档中引用
软件作者: 小野圭一郎、Tanja Muetze、Georgi Kolishovski、Paul Shannon、Barry Demchaka
相关软件:
主要字段:

筛选结果依据…

全部的 前5名

相关软件

全部的 前3名

主字段