![](/statics/img/blank.png)
Lurch 0.4
5秒でダウンロードできます。
次の外部ダウンロードリンクをクリックしてダウンロードを開始することもできます。
http://sourceforge.net/projects/lurch/files/Lurch%20Lite/0.4/LurchLite-0.4-Setup.exe/download
に関しては Lurch
数学的証明を教え、学習するためのソフトウェア ほとんどの数学的証明ソフトウェアが正式な論理(または数学の他の専門分野)に集中している場合、Lurchはattracitveユーザーインターフェイスを備えた真の汎用的な目的を目指しています。
関連プログラム
-
TOTAL .NET Protector 無料トライアル
.NET はマネージ環境であるため、リフレクタまたは屈折者を使用しているすべてのユーザーにコードを開くという欠点が常にあります。スケーター TOTAL は、アセンブリの逆コンパイル可能な Microsoft 中間言語コード (MSIL または CIL) をネイティブ形式に変換しますが、.NET メタデータはすべてそのまま維持され、ネイティブ C/C++ コードと同じレベルの保護が提供されます。ソフトウェア保護プログラミングは、ほとんどのソ
-
Ziga 無料
Java で書かれたファイル共有アプリケーション。モジュールを使用して、さまざまなプロトコルをサポートします。現時点では、利用可能なナップスターとグヌーテラプロトコルのためのモジュールがあります。
-
Scriptol Xul Dev 無料
Xul Dev は、Xul 開発環境を意味します。IDE は、XUL インタフェースを設計し、プログラムを任意のプログラミング言語で作成することを目的としています。IDE は Scriptol C++ で記述されており、ソース形式とバイナリ実行可能ファイルとして使用できます。
-
cmpio library 無料
Libcmpioは、可変長レコード、レコード圧縮、透過的なボリュームの作成と制御、および異なるプラットフォーム間での移植性を持つデータファイルを操作する簡単な方法を提供する汎用ライブラリです。
-
Nuke My Tablet 無料トライアル
Nuke My Tablet は、写真やビデオなどの個人データを安全に削除し、携帯電話を工場出荷時の設定に戻すことで、プライバシーを保護します。これで、不正なデータ復旧を気にすることなく、古いデバイスを安全に転用したり、現在のデバイスをアップグレードすることができます。Nukeマイタブレットは、あなたの個人データが危険にさらされ得ないということを知ることから来る心の安らぎを提供します。国立標準技術研究所(NIST)ガイドラインに従って、Nuke
-
the prefuse visualization toolkit 無料
インタラクティブな情報可視化アプリケーションを構築するためのソフトウェアツール。Prefuse は、Java (prefuse) と Flash (プルーファーフレア) の両方のデータモデリング、ビジュアライゼーション、アニメーション、およびインタラクションに豊富な機能セットをサポートします。
-
AJIO 無料
AJIO では、1 つ以上のクラスから jar を作成できます。作成された jar ファイルには、参照されるすべての jar ファイルからのすべての依存クラスが含まれます。AJIOペルメット・デ・クレル国連ジャーパルティール・デュネ・ウ・ブリュイエール・クラス・エ・ド・ルール・ドペンダンス・オートマティックメント
-
AdaDLX 無料
これは、ドナルド・E・クヌース論文のようにダンシングリンクスXアルゴリズムのAda実装です。AdaDLXは、ボックスパズルで8クイーンズパズル、数独グリッドとブロックを解決するために使用されます。
-
Php5 Meta-Model 無料
Php 5 モデル。このプロジェクトは、ecore Php 5 モデルとそのジェネレーターをホストします。
-
Spyc 無料
Spyc は PHP 用の単純な YAML ローダー/ダンパー クラスです。これは、Php のデータ構造に YAML ファイルをロードしたり、単純な YAML に PHP 配列をダンプするために使用できます。YAML の詳細については、www.yaml.orgを参照してください。