PiET: Pi Calculus Equivalences Tester 1.0

関連プログラム

• The Figaro 無料

  OBDDs"による暗黙のグラフアルゴリズムと表現のための"フレームワーク(Figaro)は、入力ジェネレータとアルゴリズムプラグインを使用して実験を自動的に管理します。グラフとスケジューリングの問題に対して、ジェネレータとアルゴリズムが既にいくつか含まれています。

• C++ Programming Reference FREE 無料トライアル

  クイック リファレンス カードからプログラミング言語トレーニング マニュアルまで、C++ 言語プログラミングリファレンスを完全に参照モバイルがあなたをもたらす可能性を使用して、外出先で何かを勉強したりチェックすることができます。交通機関で時間を無駄にしないで、あなたの携帯電話を使用し、勉強し、あなたが望むものをチェックしてください。=========内容：=========C++ クイック リファレンス カード---

• MEP Auswertung 無料

  このプログラムは、経頭蓋磁気刺激(TMS)によって生成されたモータ呼び起電位(MEP)を評価するための有用なツールを作成することを念頭に書かれて、プログラム"Signal"(バージョン2.xx)で記録されています。

• gsvit 無料

  グラフィックスカードのサポートを備えた高速FDTDソルバー。ナノスケールの光学系に最適化 - フィールド光学顕微鏡、粗い表面散乱および太陽電池の近くでスキャン。グラフィックス カードの操作に CUDA 環境を使用します。

• Russian Vocabulary 無料

  ロシア語彙クイズをプレイする時間です!ゴールデンクォーツから楽しい、無料のインタラクティブなトリビアクイズは、あなたの外出先での知識を提供します!ロシア語(アン・アロシア、ベラルーシ、ウズベキスタン、カザフスタン、タジキスタン、キルギス語で主に使用されるスラブ語です。ウクライナ、モルドバ、ラトビア、トルクメニスタン、エストニア、そしてかつてソスRの構成共和国であった他の国々では、非公式だが広く話されている言語です。ロシア語は、インド・ヨーロッパ語

• Fiction Press Reader 無料

  月のすべてのデータを使い切らずにFictionPress.comを楽しみたいですか?これは、あなたが外出先であなたの物語を読むことを可能にするフィクションプレスのためのオフラインリーダーです。また、あなたの物語の更新を管理し、簡単にチェックすることができます。ファンフィクションも読みたい場合は、ファンフィクションリーダーもチェックしてください。

• brickit 無料

  プラスミドとバイオブリックのウェブベースのリポジトリ (http://parts.mit.edu参照) と、合成生物学の研究をサポートする関連ユーティリティプログラム。

• Harrow 無料

  メタデータを収集するための Java ライブラリ、Web サービス、および Web クライアント。現在、OAI-PMHからFedora 2への収穫をサポートしていますが、より多くのプロトコルをサポートするために簡単に拡張することができます。

• MLPA Analyzer 無料

  MLPA アナライザは、多重ライゲーション依存プローブ増幅のワークフローおよび解析環境です。

• Physics Solving Toolkit 無料

  Phyzは、様々な物理学の理論/概念を示し、問題解決プログラムのセットが含まれている教育プログラムです。基本的な哲学は、問題解決のための簡単なインターフェースを説明し、提供することです。