Pi Calculus for SOA 2.1.0

関連プログラム

• Entier Studio 無料

  エンティエスタジオは、開発者のために設計されたWebツールです。アプリケーションの開発を強化するいくつかの機能を提供します。これらの機能の一部は、元のモデル駆動型のアプローチと、コード生成とパブリケーションプロセスを明確にしています。

• WiiC 無料

  WiiC は、Wii デバイスを管理する C/C++ ライブラリです。Wiimote、ヌンチャック、クラシック、ギターヒーロー3、モーションプラス、バランスボードをサポートしています。これは、LinuxとMacのプラットフォーム上で動作します。

• XSLTrans 無料

  トランフォーマット XML/XSL en c# (.net フレームワーク 2.0、Windows)ユーティリティ・ラ・オリジンは、ドキュメントドキュメントDocBook XMLを注ぎますc# の XML/XSL トランスフォーマー (.net フレームワーク 2.0、Windows)(例えば) ドキュメントの XML を Linux ドキュメント プロジェクト HTML に変換するために使用します。

• ProForma 無料

  ProForma は、XHTML フォームを構築および管理するための完全なオブジェクト指向の PHP5 ライブラリです。フォームの作成、検証、自動入力などの標準 API が提供されます。XHTML 出力は標準に準拠しており、CSS を使用してスキンが非常に高い。

• Joshua chess robot 無料

  ジョシュアチェスロボット:組み込みの人工知能、ゲームデータベースやインターネットプレーヤーとチェスをプレイするために、光知見のボードとインターフェースステッパーモーターロボット。ソフトウェア、ロボット写真、技術論文、回路図、ケーブルが含まれています。エンジョ

• STEP ToyBox 無料

  STEP ToyBoxは、EXPRESS(ISO 10303-11)スキーマおよび/またはSTEPパート21(ISO 10303-21)データファイルを処理するためのさまざまな小さなアプリケーションを開発するプロジェクトです。コマンド ラインの場合は、GUI ベースのコマンド行のものもあります。

• padaf 無料

  このライブラリには、PDF ドキュメントで PDF/A プリフライトを作成するためのツールが用意されています。それは非常にアパッチPDFボックスに基づいています。ISO 19005 (PDF/A) 標準への準拠をチェックします。目標は完全にisartorテストに合格することです。

• OpenAI 無料

  OpenAIは、今日の技術を最大限に活用する、非常に相互運用性の高い人工知能コンポーネントの完全なスイートを作成することに専念しています。 現在のツールには、モバイルエージェント、ニューラルネットワーク、遺伝的アルゴリズム、有限状態機械などがあります。

• Gambit for Android 無料トライアル

  ここでは、マークフィーのiOSバージョンに触発されたAndroidプラットフォーム用のギャンビットスキームの予備バージョンです。ギャンビットスキームは、完全で移植性が高く、効率的で信頼性の高いスキームプログラミング言語の実装であり、R4RS、R5RS、IEEEスキームの標準に準拠し、すべてのオプション機能を実装します。末尾呼び出しと最初のクラスの継続は、スキームセマンティクスに準拠しています。任意精度整数 (ビッグナム)、理性、不正確な実

• Proja - Project Makefile Generator 無料

  Projaは、適応可能なテンプレート、パッケージング、自動依存生成を備えた、小さくて高速で非常に使いやすいMakefileジェネレータです。プロジェクト内の複数の実行可能ファイルとライブラリを許可し、開発者が自由にプロジェクトを構築できるようにします。