EIFFE-L 1.5

関連プログラム

• slc 無料

  シンボリックラムダ微積分はラムダ微積分と結合論理に基づく論理形式主義であり、用語または等値を表すことができるオブジェクトの種類は 1 つだけです。これは、de Bruijnのとラムダ微積分表記法を使用しています。

• OnkoS - Latein 無料

  OnkoS - 「ユーゲント・フォーシュト・ソンダープレス・インフォーマティク1999」賞を受賞したラテン語語彙トレーニングプログラムは、オープンソースになります。ニースWin32 GUI、最も一般的なラテン語の単語、辞書、語彙テストなどで事前に充填。モメンタリードイツ語のみ。

• Zoorbar 無料

  Zoorbarは、自然史のコレクションを管理し、デジタル化するために設計されたコンピュータアプリケーションです。- すべての標本の識別の記録。MS-Access に基づいています。クレジットとhttp://www.gbif.es/zoorbar/zoorbar.phpの詳細情報

• ug 無料

  Ugは、分類されたBNC(英国国立コーパス)の単語リストを使用して擬似リアリスティックなユーザー名を生成するプログラムです。形容詞名詞や形容詞結合詞などの定義済みの戦略を使用して単語を組み合わせます。

• zzz 無料

  このプログラムは、個人的および商業的な使用の両方のための無料のオープンソースソフトウェアです, したがって、よりよく知られている有料プログラムのための代替をしたい人のための完璧な選択肢.

• Calculon 無料

  Calculonは、ユーザーがテキサスインスツルメンツTI89電卓に代わるオープンソースの代替を構築し、Calculonソフトウェアを使用して、またこのサイトで作成されたハードウェアガイドを作成できるようにすることに焦点を当てます。

• Electronic Laboratory Notebook 無料

  eLN、ウェブベース、安全、完全に構成可能な、モジュール式で拡張可能な電子実験室ノートブックシステムは、あなたの会社のニーズを満たすように設計されています。

• palex 無料

  Palexは2段階の生物学的配列探索システムである。ライブラリには、DNA配列内のパターン、パリンドロームおよび構造を検索するための関数が含まれます。

• Music Collection Manager 無料

  音楽コレクションマネージャは、そのタグまたはファイル名で音楽を識別しません。それは音楽に耳を傾けます!コレクション内の重複を簡単に取り除きます。

• Mahori 無料

  伝統的なシャム音楽の転写は、タイ語のアルファベットまたは数字のシーケンスのいずれかであります。このプログラムは、テキストファイルから音楽の転写を読み取り、書き起こされた音楽を再生します。これは、作曲家が新しい曲を簡単に作曲するのに役立つ可能性があります。