![](/statics/img/blank.png)
BR-BMC
5秒でダウンロードできます。
次の外部ダウンロードリンクをクリックしてダウンロードを開始することもできます。
http://br-bmc.svn.sourceforge.net/
に関しては 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第2世代シーケンシング技術("Solexa")によって生成されたFASTQデータファイルから品質統計とデータ品質の視覚的表現を計算するソフトウェアパッケージです。
-
Trout's Internet Clock 無料トライアル
TICはデスクトップ時計、スケジューラ、およびタイムシンクロナイザーオールインワン。デスクトップをパーソナライズして盛り上げ、管理するあなたの時間とシステムクロックを同期させます。独自の時計をデザインするか、グラフィックをインポートします。毎時のチャイム、マルチメディアまたはスケジュールテキストリマインダーとプログラムを実行します。NTP クライアント。機能動的なシステム トレイ アイコン,半透明の時計、および
-
Direct Democracy 無料
直接民主主義は、多様で切断されたメンバーによる直接的な民主的貢献を提供するウェブベースのインフラを開発する試みです。
-
scalix-configurator 無料
scalix-11.4.6 コミュニティエディションを構成するためのスクリプト。現在、SLES10 がサポートされています。それは、プラットフォームの依存関係をインストールし、スカラー、クラワ、スパム暗殺者、SSL、ポップス、SMTPとimapsとSWAのためのスペイン語の翻訳を実行します。
-
AllInOnePortlet 無料
すべてのユーザがこのポートレットから、ポートレット開発に必要な基本的な機能について支援を受けることができます。フォーム、アクション、JavaScriptライブラリなどの基本使用方法ほとんどの場合、これはライフレイに焦点を当てます。
-
Dofus Calculator 5 無料
スペルと武器のダメージのためのDofus 2.0電卓、今クリティカルヒット電卓ドロップレートと文字統計電卓で
-
Y - simple, fast, free - What else? 無料
Y は C、C++ に基づくオペレーティングシステムであり、将来的には GUI やファイルシステムなどになるAssembler.It。