Extended NuSMV 1.1

関連プログラム

• Voice Widget 無料

  ボイスレコーダー、ユーチューブ、テレビやラジオ、エクスプローラやワンクリックで検索を開始します。2美しいウィジェットは、お使いの携帯電話のボイスレコーダー、Youtube、テレビやラジオ、エクスプローラや検索をリンクします。デザインスタイルはHTCセンスのようなものです。4つの新しい美しいウィジェットを含むフルバージョンを購入することによって私たちをサポートしています。指示：1. ホーム画面へ移動してください2. 空きスペース

• ZIPCodeWorld Store Locator .NET Component 無料トライアル

  ZIPCodeWorld ストア ロケータ .NET は、すべての .NET 開発者向けの店舗ロケーター コントロールです。米国またはカナダの店舗ロケーター サービスは、数分以内に稼働させることができます。ZIPCodeWorld ストア ロケーター .NET では、ASP.NET プロジェクトのドラッグ アンド ドロップ コントロールを提供します。このコントロールを使用すると、顧客は、郵便番号でディーラー、店舗、最寄りの店舗を検索できます。結果

• Mobile Data On/Off Toggle 無料

  モバイルデータオン/オフトグルモバイルデータオン/オフトグルスイッチオン/オフトグルモバイルデータオン/オフトグルモバイルデータオンオフトグルスイッチ.- このソフトウェアは、システム設定で必要に応じて有効"Mobileデータ"非常にシンプルなモバイルデータコントロールソフトウェア!サポートSDカードのインストール(アンドロイド2.2フロヨ)APKサイズ= 9KB (非常に小さい!モバイルデータをオンにしてオフにします。モバイ

• OCF Resource Agent for SAP 無料

  Linux 高可用性クラスター (Linux-HA プロジェクトなど) で SAP ソフトウェアを実行するための OCF (オープン・クラスター・フレームワーク) 準拠のリソース・エージェントを提供します。

• Wintermute Engine DevKit 無料

  Wintermuteエンジン開発キットは、グラフィカルなポイント&クリックアドベンチャーゲーム、伝統的な2Dのものと現代の2.5Dゲーム(2D背景上の3Dキャラクター)の両方を作成し、実行するためのツールのセットです。

• Aginity Netezza Workbench 無料

  Aginity は、Netezza ソリューション プロバイダー パートナーです。ワークベンチは、Netezzaアプライアンスで大規模なシステムを開発する豊富な経験をサポートするための特定のツールの必要性から生まれました。Workbench は、他の類似製品の中でユニークな機能を提供します: + ワンクリックで未請求、削除されたレコードを含む配布情報にアクセスし、グラフィック表示により、ノードごとに問題が存在する場所を簡単に視覚化できます。+ 再

• xUnit - Unit Testing Framework 無料

  xUnit は、XP スタイルの単体テスト フレームワークです。xUnit は、フロントエンドとアプリケーションにリンクされたテスト ドライバーを表示するフロントエンドとの間のプロトコルを使用します。

• perf2rrd 無料

  perf2rrdは、Nagios (R) 監視システムによって出力されるパフォーマンス データをキャプチャし、それを RRDtool によって暗示されたラウンド ロビン データベース ファイルに格納する Java (tm) で書かれたプログラムです。

• MisterHouse: Home Automation with Perl 無料

  ミスターハウスは、パールで書かれたWindows / Unixのホームオートメーションプログラムです。音声コマンド、ウェブブラウザ、時刻、シリアルポート、X10データ、外部ファイルなどに応答でき、音声エンジンにテキストを介して話すことができます。

• IFM - Interface Management System 無料

  IFM (以前の wxIFM) は、ドッキング可能なウィンドウをアプリケーションに追加するように設計されたインターフェイス管理ライブラリで、現在の経験豊富なコンピュータ ユーザーが要求するカスタマイズ性をインターフェイスに提供します。