×

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

CC-Pi公司

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

CSSV公司

16篇文献引用(2004年至2013年)
软件作者: 多尔,N.,罗德,M.,萨吉夫,M
相关软件: ASTREE公司;TVLA;CBMC…
主要字段: 数值分析(65-XX);计算机科学(68-XX)

贾霍布

11份文件引用(2007–2022)
软件作者: Kuncak,V.、Wies,T.、Zee,K.、Malkis,A.、Bouillaguet,C.、Nguyen,H.H.、Schmitt,P。
相关软件: z3;VAMPIRE公司;布吉…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

j承包商

9份文件引用(2002–2012)
软件作者: 穆拉特·卡拉曼;帕克·阿伯克龙比
相关软件: JML;埃菲尔;规范#…
主要字段: 计算机科学(68-XX)

OCRA公司

9份文件引用(2015–2022)
软件作者: Cimatti,A。;Dorigatti,M。;托内塔,S。
相关软件: nuXmv;NuSMV;数学SAT5…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);系统论;控制(93-XX)

法律规则ML

4份文件引用(2017–2020)
软件作者: Lam、Ho-Pun;穆斯塔法·哈什米;塔拉·阿桑;圭多总督府;莫妮卡·帕尔米拉尼;阿德里安·帕施克(Adrian Paschke);亚当·怀纳
相关软件: github;精益;逻辑键…
主要字段: (68N17-XX)

嘟嘟嘟嘟

4份文件引用(2012–2023)
软件作者: Sylvain Halle;罗杰·维尔梅尔
相关软件: LOLA;卢斯特;蒙保利…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

意大利烟草协会

5份文件引用(2011–2015)
软件作者: Cámara,J。;马汀,J.A。;Salaün,G。;库博,J。;Ouederni先生。;运河,C。;皮门特尔,E。
相关软件: 莫德;LTSA-WS;WSAT…
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

治疗JS

5份文件引用(2015–2022)
软件作者: 基尔、马提亚斯;彼得·蒂曼
相关软件: 合同;规范#;支架…
主要字段: 计算机科学(68-XX)

GNA证明

引用于3份文件(2015–2022)
软件作者:
相关软件: 达夫尼;Why3;Coq…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

版本X

4份文件引用(2020–2022)
软件作者: Permenev,A.、Dimitrov,D.、Tsankov,P.、Drachsler-Cohen,D.、Vechev,M。
相关软件: solc-verify;落叶松;埃菲尔…
主要字段: 计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX);信息与通信理论,电路(94-XX)

合同

引用于3份文件(2012–2018)
软件作者: 奥拉夫·奇蒂尔
相关软件: 哈斯克尔;TreatJS;支架…
主要字段: 计算机科学(68-XX)

合同Larva

引用于3份文件(2018–2021)
软件作者: 约书亚·埃卢尔(Joshua Ellul);J.速度
相关软件: 条纹;LOLA;蒙保利…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)

第欧根尼

2份文件引用(2016–2019)
软件作者:
相关软件: Uppaal;贝塔;贝塔西姆
主要字段: 计算机科学(68-XX)

eThor公司

引用于3份文件(2021–2022)
软件作者: Clara Schneidewind、Ilya Grishchenko、Markus Scherer、Matteo Maffei
相关软件: SMT-LIB;CVC4;幼儿保育和教育…
主要字段: 计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX);信息与通信理论,电路(94-XX)

FACTum公司

引用于3份文件(2019–2021)
软件作者: 迭戈·马姆斯勒;哈布托姆·卡西·吉迪
相关软件: 方面J;Klocwork;Java-MOP…
主要字段: 计算机科学(68-XX)

GASTAP公司

引用于3份文件(2020–2022)
软件作者: E.阿尔伯特、P.戈迪略、A.鲁比奥、I.谢尔盖。
相关软件: github;加气站快车;亚当…
主要字段: 计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX);信息与通信理论,电路(94-XX)

光环

引用于3份文件(2013-2017)
软件作者: 迪米特里厄斯病毒性肠炎;西蒙·佩顿·琼斯;科恩·克莱森;丹·罗森
相关软件: z3;哈斯克尔;E定理证明器…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

派克特

2份文件引用(2015年至2019年)
软件作者: 斯宾塞·鲍曼;卡尔·弗里德里希·博尔兹(Carl Friedrich Bolz);Robert Hirschfeld;瓦西里·基里切夫;佩佩,托拜厄斯;杰里米·西克(Jeremy G.Siek)。;萨姆·托宾·霍施塔特
相关软件: JavaScript;RPython;GraalVM…
主要字段: (68N20-XX);(68N18-XX)

调试工具

引用于3份文件(2020–2021)
软件作者: Tikhomirov,S.等人。
相关软件: github;蓄意破坏;eThor公司
主要字段: 博弈论、经济学、金融和其他社会和行为科学(91-XX);信息与通信理论,电路(94-XX)

坚固性

引用于3份文件(2018–2020)
软件作者: 加文·伍德(Gavin Wood)、克里斯蒂安·赖特维斯纳(Christian Reitwessner)、亚历克斯·贝雷格萨齐(Alex Beregszaszi)、莉安娜·胡西基(Liana Husikyan)、平井友一
相关软件: Servois;CVC4;PBC图书馆…
主要字段: 计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX);信息与通信理论,电路(94-XX)

AnaCon公司

2份文件引用(2013-2017)
软件作者: 克拉西米尔·安吉洛夫(Krasimir Angelov);约翰·卡米莱里(John J.Camilleri)。;杰拉尔多·施奈德
相关软件: 宗派;法律规则ML;Uppaal…
主要字段: (68T50-XX)

CBabel公司

2份文件引用(2005–2009)
软件作者: 亚历山大·雷德梅克;克里斯蒂亚诺·布拉加;亚历山大·斯塔金伯格
相关软件: 莫德;GraphML;SLMC…
主要字段: 计算机科学(68-XX)

代码合同

在0个文档中引用
软件作者: 微软
相关软件: 艾菲尔基础2;布吉;Why3…
主要字段:

霍尔巴

2份文件引用(2020–2022)
软件作者: 伦德伯格,迪德里克;罗伯特·瓜夏莱(Roberto Guanciale);安德烈亚斯·林德纳;达姆,麦兹
相关软件: RGITL;达夫尼;GNAT证明…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

金德Spec

2份文件引用(2017–2020)
软件作者: 玛丽亚·阿尔普特、丹尼尔·帕尔多、艾丽西亚·维拉纽埃娃
相关软件: z3;科内尔公司;莫德…
主要字段: 计算机科学(68-XX)

KyStore公司

2份文件引用(2015–2021)
软件作者: KYOS能源咨询
相关软件: 古罗比
主要字段: 运筹学、数学规划(90-XX)

曼蒂科尔

2份文件引用(2021)
软件作者: Mossberg,M.等人。
相关软件: 甲氰菊酯;Why3;solgraph…
主要字段:

MBBEFD公司

2份文件引用(2020–2021)
软件作者: 乔治·斯佩迪卡托;克里斯托夫·杜唐;马库斯·盖斯曼
相关软件: PRMLT公司
主要字段: 博弈论、经济学、金融和其他社会和行为科学(91-XX)

solc验证

2份文件引用(2021)
软件作者: 阿尔科斯·哈伊杜,德扬·约瓦诺维奇
相关软件: VerX;深海;Manticore…
主要字段: 计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX);信息与通信理论,电路(94-XX)

分析财务包

1份文件引用(2007)
软件作者: 德米特里·西尔维斯特罗夫(Dmitrii Silvestrov),安纳托利·马利亚伦科(Anatoliy Malyarenko)
相关软件:
主要字段: 统计学(62-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

巴特·西姆

1份文件引用(2022)
软件作者: 亨德森,S.G。;梅森,A.J。
相关软件: JEMSS.jl;github;TIFAR…
主要字段: 运筹学、数学规划(90-XX)

Clousot公司

1份文件引用(2012)
软件作者: 曼努埃尔·Fähndrich;弗朗西斯科·洛戈佐
相关软件: 艾菲尔
主要字段: 计算机科学(68-XX)

合同NLI

在0个文档中引用
软件作者: 尤塔·科里达;克里斯托弗曼宁
相关软件: HILDIF;QANet;厄尼…
主要字段:

迪索拉

在0个文档中引用
软件作者: 弗朗西斯·罗素。;迈克尔·梅勒(Michael R.Mellor)。;Paul H.J.Kelly。;奥拉夫·贝克曼
相关软件: SUIF;Blitz++库;BLAS…
主要字段:

EthVer公司

1份文件引用(2021)
软件作者: 尤卡斯·马祖雷克
相关软件: 曼蒂科尔;甲氰菊酯;Why3…
主要字段: (91G99-XX);(94A60-XX)

双因素模型

1份文件引用(2021)
软件作者: D.古德温。
相关软件: MSPPy;SDDP公司
主要字段: 运筹学、数学规划(90-XX)

科内尔公司

1份文件引用(2020)
软件作者: 马利亚阿尔普特;丹尼尔·帕尔多(Daniel Pardo);艾丽西亚·维拉纽埃娃
相关软件: 金级规范;莫德;z3…
主要字段: 计算机科学(68-XX)

米斯里鲁

1份文件引用(2021)
软件作者: ConsenSys公司
相关软件: 曼蒂科尔;Why3;solgraph…
主要字段: 博弈论、经济学、金融和其他社会和行为科学(91-XX);信息与通信理论,电路(94-XX)

普拉斯佩尔

在0个文档中引用
软件作者: 伊凡·恩德林;弗莱德里克·达多;阿兰·乔尔盖蒂;阿卜杜拉·本·奥斯曼
相关软件: 菲律宾比索
主要字段:

PyBlame公司

1份文件引用(2016)
软件作者: Arai、Ryoya;佐藤(Shigeyuki Sato);岩崎、秀霞
相关软件: 瓶子;TreatJS;BPGen…
主要字段: 计算机科学(68-XX)

派特尔

1份文件引用(2021)
软件作者: Algorand公司
相关软件: github;Coq公司
主要字段:

稳定匹配

1份文件引用(2018)
软件作者: 彼得·甘米
相关软件: Isabelle/HOL;阿罗·吉巴德·萨特思韦特;Coq/SS反射…
主要字段: 计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

StoragePlanner(存储计划器)

1份文件引用(2017)
软件作者: 能源数量
相关软件: Matlab;SwingPlanner;MATLAB金融工具箱
主要字段: 数值分析(65-XX);运筹学、数学规划(90-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

摆动规划器

1份文件引用(2017)
软件作者: EnergyQuants公司
相关软件: Matlab;StoragePlanner;MATLAB财务工具箱
主要字段: 数值分析(65-XX);运筹学、数学规划(90-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

翼身

1份文件引用(2016)
软件作者: 卡迈克尔·R
相关软件: github;FOILGEN公司;JBLADE…
主要字段: 可变形固体力学(74-XX);流体力学(76-XX);系统论;控制(93-XX)

棘突线虫dna

在0个文档中引用
软件作者: 古斯塔沃·格里科;等。
相关软件:
主要字段:

以太信托

在0个文档中引用
软件作者: Grishchenko,I.,Maffei,M.,Schneidewind,C。
相关软件:
主要字段:

f日期

在0个文档中引用
软件作者: 伊曼纽尔·科斯蒂根
相关软件:
主要字段:

SHILL公司

在0个文档中引用
软件作者: Scott Moore、Christos Dimoulas、Dan King、Stephen Chong
相关软件:
主要字段:

滑雪者

在0个文档中引用
软件作者: Feist,J.、Greico,G.、Groce,A。
相关软件:
主要字段:

SmartAnvil(智能铁砧)

在0个文档中引用
软件作者: Ducasse,S.、Rocha,H.、Bragagnolo,S.,Denker,M.、Francomme,C。
相关软件:
主要字段:

估价师

在0个文档中引用
软件作者: 伊凡·佐科兰
相关软件:
主要字段:

筛选结果依据…

全部的 前5名

相关软件