×

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

抄送Pi

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

基利姆

6篇文献引用(2010年至2020年)
软件作者: Srinivasan,S.,Mycroft,A。
相关软件: JCobox;防抱死制动系统;Erlang…
主要字段: 计算机科学(68-XX)

PROCOL公司

引用于7份文件(1991–2002)
软件作者: van den Bos,Jan;克里斯·拉法
相关软件: 方面J;匹科拉;JAsCo…
主要字段: 计算机科学(68-XX)

壁龛

4份文件引用(2018–2021)
软件作者: 卡洛斯·奥拉特;伊莱恩·皮门特尔(Elaine Pimentel);卡米洛·鲁埃达
相关软件: 奎珀;混合的;密码…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

GitLab公司

3份文件引用(2014年至2021年)
软件作者: GitLab.com网站
相关软件: OMDoc;MMT;ABAQUS/标准…
主要字段: 计算机科学(68-XX);可变形固体力学(74-XX)

基马

3份文件引用(2002年-2010年)
软件作者: 上田康弘Ajiro
相关软件: GHC;巴贝尔;ELAN…
主要字段: 计算机科学(68-XX)

tccp公司

3份文件引用(2009–2013)
软件作者: 阿列克谢·莱斯卡伊勒(Alexei Lescaylle);艾丽西亚·维拉纽埃娃
相关软件: CC Pi;GHC;酯类…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)

Con2colic公司

2份文件引用(2018–2021)
软件作者: Farzan A、Holzer A、Razavi N、Veith H
相关软件: veriSoft;blktrace;马夫特…
主要字段: 计算机科学(68-XX)

哈尔_

2份文件引用(1992–2000)
软件作者: 克里斯·霍克(Chris Houck)、古尔·阿加(Gul Agha)
相关软件: 蟒蛇;CHARM++;Oz…
主要字段: 计算机科学(68-XX)

算法1026

1份文件引用(2022)
软件作者: 克里斯托斯·帕萨拉斯;拉尔斯·卡尔森(Lars Karlsson);Rasmus兄弟;保罗·比伦蒂内西
相关软件: 算法862;CUDA;MKL…
主要字段: 数值分析(65-XX)

GenCCSL公司

1份文件引用(2015年)
软件作者: Frédéric Mallet;格里戈里·兹霍尔特基维奇
相关软件: TimeSquare;CCSL公司
主要字段: 计算机科学(68-XX)

亲属特权

1份文件引用(2019)
软件作者: Gulce Kale;埃尔曼·艾迪;奥兹努尔·塔斯坦
相关软件: 基因二酚;HElib(HElib)
主要字段: 计算机科学(68-XX);生物学和其他自然科学(92-XX)

ntccSim公司

在0个文档中引用
软件作者: AVISPA研究小组
相关软件: 自旋蛋白;Ntccrt;规则2CP…
主要字段: ——

拉斯特

1份文件引用(2022)
软件作者: Das,Ankush;弗兰克·芬宁
相关软件: ——
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

雅提斯

1份文件引用(2019)
软件作者: Chandarli Y、Fauberteau F、Damien M、Midonnet S、Qamhieh M
相关软件: 舒姆-乌科斯
主要字段: 计算机科学(68-XX)

筛选结果依据…