×

找到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;精益;登录…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

嘟嘟嘟嘟

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

意大利烟草协会

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

治疗JS

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

FACTum公司

3份文件引用(2019年至2021年)
软件作者: 迭戈·马姆斯勒;哈布托姆·卡西·吉迪
相关软件: 方面J;Klocwork;Java-MOP…
主要字段: 计算机科学(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验证;落叶松;埃菲尔…
主要字段: 计算机科学(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年)
软件作者: 克拉拉·施奈德温德、伊利亚·格里什琴科、马库斯·谢勒、马特奥·马菲
相关软件: SMT-LIB;CVC4;K校准仪…
主要字段: 计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX);信息与通信理论,电路(94-XX)

GASTAP公司

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

光环

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

Pycket公司

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

调试工具

3份文件引用(2020–2021)
软件作者: Tikhomirov,S.等人。
相关软件: github;蓄意破坏;LLVM…
主要字段: 博弈论、经济学、金融和其他社会和行为科学(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…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

CBabel公司

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

代码合同

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

霍尔巴

2份文件引用(2020–2022)
软件作者: 迪德里克·伦德伯格(Didrik Lundberg);罗伯特·瓜夏莱(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…
主要字段: 计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX);信息与通信理论,电路(94-XX)

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。
相关软件: JuMP;JEMSS.jl;GitHub…
主要字段: 运筹学、数学规划(90-XX)

紧身衣

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

合同NLI

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

德索拉

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

EthVer公司

1份文件引用(2021)
软件作者: 尤卡斯·马祖雷克
相关软件: 曼蒂科尔;甲氰菊酯;Why3…
主要字段: 博弈论、经济学、金融和其他社会和行为科学(91-XX);信息与通信理论,电路(94-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);岩崎、秀霞
相关软件: 合同;瓶子;治疗JS…
主要字段: 计算机科学(68-XX)

派特尔

1份文件引用(2021)
软件作者: Algorand公司
相关软件: github;Coq公司
主要字段: 计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX);信息与通信理论,电路(94-XX)

稳定匹配

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

StoragePlanner(存储计划器)

1份文件引用(2017)
软件作者: EnergyQuants公司
相关软件: 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个文档中引用
软件作者: 伊曼纽尔·科斯蒂根
相关软件:
主要字段:

水貂

在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名

相关软件