Pi Calculus for SOA 2.1.0

Các chương trình liên quan

• Entier Studio Miễn phí

  Entier studio là một công cụ web được thiết kế cho các nhà phát triển. Nó cung cấp một số tính năng tăng cường sự phát triển của các ứng dụng. Một số tính năng này là một cách tiếp cận định hướng mô hình ban đầu và các quy tr

• WiiC Miễn phí

  WiiC là một thư viện C/C++ quản lý các thiết bị Wii. Nó hỗ trợ Wiimote, Nunchuck, Classic, Guitar Hero 3, Motion Plus và Balance Board. Nó chạy trên nền tảng Linux và Mac.

• XSLTrans Miễn phí

  Tranformateur XML/XSL en c# (.net framework 2.0, Windows)Utilis l'origine pour transformer des documents DocBook XMLXML/XSL biến áp trong c # (.net framework 2.0, Windows)Được sử dụng để chuyển đổi (ví dụ) DocBook XML

• ProForma Miễn phí

  ProForma là một thư viện PHP5 hoàn toàn hướng đối tượng để xây dựng và quản lý các biểu mẫu XHTML. Nó cung cấp một API tiêu chuẩn để tạo biểu mẫu, xác nhận, tự động điền và hơn thế nữa. Đầu ra XHTML là tiêu chuẩn tuân thủ và

• Joshua chess robot Miễn phí

  Joshua chess robot: một robot động cơ bước giao tiếp với một bảng photos để chơi cờ vua với một trí tuệ nhân tạo nhúng, một cơ sở dữ liệu trò chơi hoặc và người chơi internet. Phần mềm, hình ảnh robot, giấy tờ công nghệ cao,

• STEP ToyBox Miễn phí

  STEP ToyBox là một dự án phát triển các ứng dụng nhỏ khác nhau để xử lý các tập tin dữ liệu EXPRESS (ISO 10303-11) và / hoặc STEP Phần 21 (ISO 10303-21). Một số là dòng lệnh chỉ trong khi những người khác là GUI dựa.

• padaf Miễn phí

  Thư viện này cung cấp các công cụ để thực hiện một chuyến bay trước PDF / A trên tài liệu PDF. Nó được đánh giá cao dựa trên apache PDFBOX. Việc tuân thủ tiêu chuẩn ISO 19005 (PDF/A) được kiểm tra. Mục đích là để vượt qua hoà

• OpenAI Miễn phí

  OpenAI được dành riêng để tạo ra một bộ đầy đủ các thành phần Trí tuệ nhân tạo có khả năng tương tác cao để tận dụng tốt nhất các công nghệ ngày nay. Các công cụ hiện tại bao gồm Mobile Agents, Neural Networks, Genetic Algor

• Gambit for Android Dùng thử miễn phí

  Đây là phiên bản sơ bộ của Gambit Scheme cho nền tảng Android, lấy cảm hứng từ phiên bản iOS của Marc Feeley. Gambit Đề án là một "hoàn thành, di động, hiệu quả, và đáng tin cậy thực hiện các ngôn ngữ lập trình Đề án, phù

• Proja - Project Makefile Generator Miễn phí

  Proja là một máy phát điện Makefile nhỏ, nhanh chóng và rất dễ sử dụng với các mẫu, bao bì và tạo phụ thuộc tự động thích nghi. Nó cho phép nhiều thực thi và thư viện trong một dự án và cho phép các nhà phát triển để cấu trúc