PLMan - Propositional Logic Parser 2.0

関連プログラム

• BenQ Laptop to Hotspot Converter 無料トライアル

  ベンクラップトップホットスポットコンバータは、ワイヤレスホットスポットにあなたのBenQノートパソコンを変換します。このソフトウェアによって、BenQラップトップ(Windowsプラットフォーム)は、あなたの第二のラップトップ、友人やモバイルデバイスとインターネットを共有できるように、Wi-Fiホットスポットに変わります。もちろん、旅行中に無線ルーターを運びたくありません。しかし、あなたはあなたの携帯電話のためのWi-Fiホッ

• Windows-Hosted Cell SDK 無料

  Windows ホスト型セル BE SDK。これは標準の Cell BE Linux SDK および GCC コンパイラですが、Windows (Cygwin) の下でホストされ、セル Linux 用のクロスコンパイルが行われます。

• Pyana 無料

  Pyanaは、PythonプログラムがApacheソフトウェア財団のXalan XSLT変換エンジンとインタフェースすることを可能にする拡張モジュールです。

• pw7 無料

  pw7は、スーパーユーザーパスワードの暗号化されたデータベースへの安全で暗号化された詳細なアクセス制御を容易にする、perlベースのGnuPGラッパーです。

• XCV 無料

  XCV は、シンプルなソース XML ドキュメントから XHTML 準拠のカリキュラムの履歴書を生成するモジュラー XSL 変換のセットです。 結果のスタイル設定とカスタマイズは、CSS や HTML のエクスペリエンスを与えられた場合、簡単で、XML ソースとは無関係です。

• Genesis Coupe Navigation Hack 無料

  このプロジェクトは、2010年の現代ジェネシスクーペのナビゲーションプレゼントをハッキングするためのプロジェクトです。これは、車内ナビゲーションソフトウェアを搭載したモデルでのみ動作します。

• B.E.S.S. 無料

  このプロジェクトは、ハンガリーのG.O.P.プログラム、プロジェクトID:G.O.P.-1-1-1-08/1-2008-0015によって後援されています。このプロジェクトの目的は、生体認証に基づいて、可能な限り最高のエンドツーエンド音声のIP暗号化のプロトタイプを作成することであった。

• SyncPro 無料

  SyncPro は、処理された質量分析データを対象とする視覚化パッケージです。グラフィックスで同期とレイヤ化の技術を使用して、同時に MS データセットのグループを視覚化します。

• Generic URL Creator 無料

  GUC は、選択したテキストからその場で URL を生成する Mozilla Firefox/Mozilla サンダーバード拡張機能です。選択したテキストを右クリックし、コンテキストメニューから開く URL を選択します。ディレクトリ/辞書検索やその他の検索に役立ちます。

• LogScanLauncher 無料

  アプリケーション ログ ファイルを監視し、ログ ファイルの新しいエントリが正規表現を満たしたら、新しいイベントをトリガーするコマンド ライン ユーティリティ。このユーティリティーは、アプリケーションの ini ファイルの項目を修正することによって構成可能です。