![](/statics/img/blank.png)
BR-BMC
您将能够在 5 秒内下载。
关于 BR-BMC
使用 ACTL 的有界模型检查实现信念修订算法
相关软件
-
The Image Collector 免费
图像收集器(称为 TIC)是一个应用程序,旨在允许从一系列 Web 服务快速查看、分类和下载图像。TIC 允许您选择要从中下载的 Web 服务,获取最新的可用图像,并在可滚动的网格中显示其缩略图。然后,您可以左键单击图像以下载并显示其完整版本;如果你想保留该图像, 中间点击它, 它将被下载到选定的类别。类别指向磁盘上的位置,因此您可以激活类别并下载映像,它将自动放置在该类别的位置。这与排队下载相结合,可以非常快速地下载和分类图像。无需
-
Contents Spider Jeanie 2009 Multi 免费试用
创建您自己的目录和搜索引擎,管理和运行您自己的高功率搜索引擎。样品: images.askpeter.info - jobs.askpeter.info - www.askpeter.info
-
OpenACAP 免费
OpenACAP 项目的目标包括完全 RFC 2244(应用程序配置访问协议)兼容的服务器、客户端库、数据集、文档和实时托管服务。
-
solexaqa 免费
SolexaQA 是一个软件包,用于计算由 Illumina 第二代测序技术生成的 FASTQ 数据文件的数据质量统计和可视化表示("Solexa")。
-
Trout's Internet Clock 免费试用
TIC 是一个桌面时钟,调度程序和时间同步器一对一。个性化和活化您的桌面,管理和同步您的系统时钟。设计您自己的时钟或导入图形。安排每小时提示音、多媒体或文本提醒并运行程序。NTP 客户端。具有动态系统托盘图标,半透明时钟和可编辑的时钟列表约50个互联网时间服务器。{@}
-
Direct Democracy 免费
直接民主是试图发展一个基于网络的基础设施,以提供不同和断开的成员的直接民主贡献。
-
scalix-configurator 免费
用于配置 scalix-11.4.6 社区版本的脚本。目前支持 SLES10。它安装平台依赖项,执行 scalix 安装程序、clamav、垃圾邮件、SSL、Pops、smtps 和 imaps 以及 SWA 的西班牙语翻译。
-
AllInOnePortlet 免费
所有用户都可以从此 Portlet 获得帮助,以执行 Portlet 开发所需的任何基本功能。有关如何使用窗体、操作、javascript 库等的基础知识。这主要将集中在 Liferay 上。
-
Dofus Calculator 5 免费
Dofus 2.0 计算器的拼写和武器伤害, 现在与关键命中计算器下降率和字符统计计算器
-
Y - simple, fast, free - What else? 免费
Y 是基于 C、C++和Assembler.It将来将成为 GUI、文件系统等的操作系统。