×

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

ByMC公司

10篇文献引用(2014–2023)
软件作者: Igor Konnov、Marijana Lazic、Helmut Veith、Josef Widder
相关软件: z3;威尔第;旋转…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

Sycraft公司

6篇文献引用(2009–2015)
软件作者: B.Bonakdarpour,S.Kulkarni
相关软件: CUDD;Uppaal;Vertaf…
主要字段: 计算机科学(68-XX);系统论;对照(93-XX)

CheapBFT公司

1份文件引用(2020年)
软件作者: Rüdiger Kapitza、Johannes Behl、Christian Cachin、Tobias Distler、Simon Kuhnle、Seyed Vahid Mohammadi、Wolfgang Schröder
相关软件: MS SQL Server;阿帕奇·卡夫卡;MySQL…
主要字段: 计算机科学(68-XX)

时钟同步

1份文件引用(2007)
软件作者: Alwen Tiu先生
相关软件: Yices;施耐德时钟同步;存档正式证据…
主要字段: 计算机科学(68-XX)

PoWerStore公司

1份文件引用(2017)
软件作者: Dobre,D.,Karame,G.,Li,W.,Majuntke,M.,Suri,N.,Vukolic,M
相关软件:
主要字段: 计算机科学(68-XX)

施耐德时钟同步

1份文件引用(2007)
软件作者: 达米安·巴索蒂
相关软件: Yices;时钟同步;存档正式证据…
主要字段: 计算机科学(68-XX)

招标人

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

筛选结果依据…

全部的 前3名

主字段