Interactive BDD Environment 1.1
5秒でダウンロードできます。
次の外部ダウンロードリンクをクリックしてダウンロードを開始することもできます。
http://sourceforge.net/projects/iben/files/iben/1.1/iben-1.1.tar.gz/download
に関しては Interactive BDD Environment
IBEN は、対話型の BDD 環境です。これにより、順序付けされたバイナリー決定図 (Robdds) を宣言、操作、視覚化することができます。これは、学習ツールとして設計されましたが、BDDをインタラクティブに操作する必要があるときはいつでも便利です。
関連プログラム
-
OnlineExam 無料
Webベースのオンライン検査システム。学生はログインして試験を受けることができ、管理者はログインして試験を設定できます。システム全体は Java で開発され、支柱を利用しています。
-
VKS 無料
VKS(Vikar Korpsシステム)は、派遣会社で一時的、顧客、コールマジメントを管理するための本格的で十分にテストされたウェブアプリケーションです。
-
Disease Gene Profiler 無料
疾患遺伝子プロファイラ(DGP)は、自由に入手可能なデータソースを使用して、一般的な多因子疾患(糖尿病、喘息、癌など)に対する感受性の下にある遺伝子を同定するために使用できる一連の(バイオインフォマティクス)ツールから構成されます。
-
Address to Congress Feb 2009 無料トライアル
2009年2月24日のオバマ大統領の議会演説の文。歴史的な時間。また、オバマ大統領の*就任演説USA 2009*と2010年の宇宙探査に関するスピーチも発表します。このアプリは、インターネット接続なしで、オフラインながら読み取り用に設計されています。
-
Kid App: Learn 1,000 Words 無料
1,000英語の単語を学ぶ - キッドアプリ:すべて1であなたは自分自身に英語を教えるために完璧なアプリケーションを探していますか?英語で読み書きを学びます。キッドアプリ:すべて1で教室があなたの手のひらに持って来るので、これ以上見て、これ以上見て。私たちは、親と子供の両方のための完璧なアプリを設計しました。Kidアプリ:1のすべては、英語1,000フラッシュカード、インタラクティブなトレースドリル、数学のゲームとよりの範囲の18種類のアプリケー
-
sMArTH 無料
sMArTH は、数学と LaTeX の SVG および ECMAScript を搭載した数式エディタです。
-
MGTAXA 無料
このプロジェクトのソースコードと開発は、gitHub に移動http://github.com/andreyto/mgtaxa
-
LexiTools Reminder 無料
ポーランド語を話す人々のためのプログラム。英語の単語を学習するサポート。レキシツールプロジェクトの一部。プログラムドラ・ウイットカウニク・ポルスコ・ジツニチ。ウスポマガ・ウッゼニー・シ・ス・ジカ・アンギエルスキエゴCz プロジェクトゥ レキシーツール.
-
ChesROMS 無料
ChesROMSは、有害な藻類の花の予測を支援するためにチェサピーク湾のROMSモデルを開発しています。ChesROMSプロジェクトのコア研究者を超えて、コミュニティモデリングの新しい方法を触媒したいと考えています。
-
HuRef Genome Browser 無料
HuRefゲノムブラウザは、PLoS Biologyに掲載された個々のヒトゲノムのナビゲーションのためのWebリソースです。ブラウザは、注釈、アセンブリ、およびシンジニー ツールの統一されたフレームワークです。http://huref.jcvi.orgでオンラインです。