×

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

CC-Pi公司

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

朱莉

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

AO4BPEL公司

2份文件引用(2012–2013)
软件作者: 查菲A,梅齐尼M
相关软件: WebSphere;JML;WSAT…
主要字段: 计算机科学(68-XX)

即兴的

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

LPaaS公司

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

服务

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

J拉伦斯

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

ODRA公司

在0个文档中引用
软件作者: Kazimierz Subieta;ODRA团队
相关软件: 神谕;SBQL公司
主要字段:

阿内卡

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

强化

在0个文档中引用
软件作者: 娜塔拉詹·梅格纳坦
相关软件:
主要字段:

InstQL软件

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

JS-son公司

在0个文档中引用
软件作者: 蒂莫修斯·坎皮克(Timotheus Kampik)、胡安·卡洛斯·尼维斯(Juan Carlos Nieves)
相关软件: JAM;朱庇特;节点.js…
主要字段:

招标人

在0个文档中引用
软件作者: 伊桑·布赫曼
相关软件: ZooKeeper;去;JavaScript脚本
主要字段: 计算机科学(68-XX)

StreamFlex公司

在0个文档中引用
软件作者: Spring JH、Privat J、Guerraoui R、Vitek J。
相关软件:
主要字段:

筛选结果依据…