Java Simple System Modeller 0.3

関連プログラム

• Dolphin Project 無料

  Dolphinプロジェクトは、オープンソースのサティスフィアビリティソルバーツールとそれらに関連するツール(有限モデルチェッカーやソフトウェア検証ツールなど)に関連するツールを集約する研究プロジェクトを目的としています。

• Stars and Galaxies in 3D 無料トライアル

  3Dとフルカラーで本物の星や銀河。 任意の方向に移動して見ます。キーボードショートカットやプリセットで簡単に使用できます。 9,000個の星(すべての可視星、近くの薄暗い星の多く)と2,400個の銀河。既知の惑星星系を表示します。 名前、星座、または距離で星や銀河を見つけ、キーキーを押してそれらに飛びます。大きさ、距離、またはスペクトルタイプで星を選択します。距離またはグループで銀河を選択します。銀河は3億2500万光年に及ぶ。 私たちの銀河

• verilog compiler 無料

  Java および JavaCC を使用して記述されたバージョン言語コンパイラー。これは、すべてのセル接続のネットリスト、ASCII テキストファイルを生成します。多くのモジュールで構成される非常に大きな回路をコンパイルできます。

• The Free Dictionary - French 無料

  無料辞書アプリ非公式フランス語(fr.thefreedicionary.com、thefreedicionary.com)。無料オンライン辞書 - 含む複数の辞書:- スプレイシュ:フランス語、 英語, スペイン語, ドイツ語, イタリア語, アラビア語, 中国語, ポーランド語, ポルトガル語, オランダ語, ノルウェー語.- アンデレ: 医学辞典, 法律辞書, 金融辞書, コンピュータ辞書, シソーラス, 頭字語と略語の辞書, 語義語辞典,

• Music Transcription Database 無料

  音楽転写システムのオープンソースコンテンツと評価フレームワーク。ソフトウェア混合を通じて、モノフォニックまたはポリフォニックデータベースとして使用することができます。

• Hypotenuse Calculator 無料

  斜辺電卓は、斜辺の長さを簡単に見つけることができます(斜辺は直角三角形の最も長い辺です)。あなたがしなければならないのは、サイド1とサイド2の長さを入力してから計算ボタンを押すだけです!

• Alphabet Coloring Book for Kid 無料トライアル

  アルファベットのぬりえ帳は、子供のための着色とペイントツールです。子供たちはタッチスクリーン上でペイントするために自分の指を使用することができます。これは、子供に優しい方法でアルファベットの文字を学び、認識し、発音するのに役立ちます。あなたの幼児や未就学児のための教育ゲーム。- 2つのモード:触れたときに本物の指の絵と機械の塗りつぶし- 無料描画にあなたの子供のための白い背景- 携帯電話とタブレットの両方で実行- 終

• Viren's Dictionary 無料

  これはオフラインの英語辞書で、165000以上の単語、定義、同義語があります。データベースの最初のダウンロード後(データベースサイズは19MB)、電話にのSDカード™インターネットに接続せずに辞書を使用することができます。特徴:*同義語と定義*例文*例文*発音*あなたが正しいスペルを知らない場合でも単語を検索™*と_この辞書は広告を表示しません。レビューを書くことを忘™ないでください。キーワード: オフライン、 英語辞書、 類義語辞典、 無料、

• Learning Myanmar Alphabet 無料トライアル

  「ミャンマーの横は私たちのラタチュアです - ミャンマー語は私たちの言語です」「ミャンマーアルファベットを学ぶ」は、初心者、子供、ミャンマー語に興味のある人のためのミャンマーのアルファベットを学ぶことを目指しています。このアプリは、私たちの母国から離れて滞在または住んでいる私たちの子供のための私たち自身の言語を学ぶのに役立ちます。今ここでミャンマー33アルファベットを勉強し、楽しい方法で1から10まで数えるチャンスがあります。

• S-SAT - Sapienza SAT 無料

  ローマの大学"La Sapienza"でのコースで、私はユニットの伝播とバックトラッキングに基づいて完全に動作するSATソルバーを開発しました。これは、任意の長さの DIMACS ファイルを読み取り、cnf 式を処理できます (リテラルの数に制限はありません)。