bddbddb: BDD-Based Deductive Database

関連プログラム

• Proxy Pal For Networks 無料

  PPFN、それはまた、任意のサーバーログから隠されるツールです、これらの開発者は、彼らが何をしなければならないかを知っています。この究極のパッケージをダウンロードすれば、安全であることを知ってウェブを楽しむことができます。だから安全で、右サーフィンを学ぶ - PPFN

• XBMC / Boxee Remote 無料

  XBMC /ボクシー用リモコン。v1.0 をアンインストールしてください!!!v3.1*プロファイルは、環境設定でサポートv2.2*マイナーバグ修正v2.1*マイナーバグ修正は、それがウィンドウXBMCで動作するようにv2.0*大きなアイコン*テキストを入力するためにキーボードを使用*その他のボタン*バグ修正v1.0*ブラウズビデオ、音楽や写真と対応するプレイリスト*リストビューで再生ま

• jDTAUS 無料

  ドイツ語 DTAUS ファイル形式の Java 実装。読み取り、追加、編集、削除操作、および拡張レコードをサポートします。GUI アプリケーションは、使用可能なすべての機能を示す利用可能です。スクリーンショットを参照してください。

• Alligator Snap 無料トライアル

  3つの簡単なステップであなた自身のウェブページを一緒にスナップします。あなたは、任意の事前の経験を必要としません - アリゲータースナップは、事前に設計されたWebテンプレートと優れた機能の負荷が付属しています。追加のテンプレートは、プログラム自体の中から無料でダウンロードしてインストールすることができます。ヘルプは常にオンライン ヘルプと統合技術サポートSupportBase.NET手元にあります。3つの簡単なステップであなた自身のウェブページ

• Mayur Linux 無料

  Mayur Linux オペレーティングシステムは LinuxPAE64 カーネルに基づいており、プロセッサが x86-64 互換の場合、x86-64 バイナリを 32 ビットオペレーティングシステムで実行できます。

• RIDGID Digital Bubble Level 無料トライアル

  RIDGID®デジタルバブルレベルは、プラム、レベル、45°マイター用の3つのバイアルを備えています。 画面を表示できない状況で結果を確認できるオプションのサウンド機能があります。 このディスプレイには、センサーによって現在報告されている正確な測定値も表示されます。 アプリケーションでは、あなたの読書を妨げる可能性があり、側面または背面にボタンやカメラを持つ携帯電話を可能にするために、垂直および水平バイアルの両方を校正することができます。

• CNC GCODE Coordinate Transposition Tool 無料

  この Python 3.1 ツールは、CNC GCODE の座標系を加工や彫刻に使用します。X 座標、Y 座標、Z 座標を反転、ミラー XY 座標、反転または反転両方の XY 座標、または Z モーションを GCODE ファイルに挿入することができます。

• Cell Messaging Layer 無料

  セル・メッセージング層は、セル・ブロードバンド・エンジン・プロセッサのクラスター用の高速なMPIのような通信ライブラリです。この機能を使用すると、任意の Cell 相乗加工要素 (SPE) がネットワークを介してでも他の SPE と直接通信できます。

• cccl 無料

  cccl は、Microsoft Visual C++ のcl.exeおよびリンク.exeをラップするラッパーです。 これは、Unix コンパイラのコマンドラインパラメータを cl と link の同等のパラメータに変換します。

• C/C++ Program Perfometer 無料

  プログラムは、任意のメトリック(例えば、時間、メモリ、ユーザーによって定義されたメトリックなど)のC / C++プログラムと分離されたコードの断片のパフォーマンスを得ることができます。測定結果は詳細/要約レポートで表されます。詳細は