Pi Calculus for SOA 2.1.0

Programmes connexes

• Entier Studio Gratuit

  Entier studio est un outil web conçu pour les développeurs. Il fournit plusieurs fonctionnalités qui améliorent le développement d’applications. Certaines de ces fonctionnalités sont une approche originale axée sur le modèle

• WiiC Gratuit

  WiiC est une bibliothèque C/C++ qui gère les appareils Wii. Il prend en charge Wiimote, Nunchuck, Classic, Guitar Hero 3, Motion Plus et Balance Board. Il fonctionne sur les plateformes Linux et Mac.

• XSLTrans Gratuit

  Tranformateur XML/XSL en c# (framework.net 2.0, Windows)Utilisez l’origine pour transformer des documents DocBook XMLTransformateur XML/XSL en c# (framework.net 2.0, Windows)Utilisé pour convertir (par exemple) DocBook

• ProForma Gratuit

  ProForma est une bibliothèque PHP5 entièrement orientée objet pour la construction et la gestion des formulaires XHTML. Il fournit une API standard pour la création de formulaires, la validation, le remplissage automatique, e

• Joshua chess robot Gratuit

  Robot d’échecs Joshua : un robot moteur stepper interface avec un plateau photosensible pour jouer aux échecs avec une intelligence artificielle embarquée, une base de données de jeu ou un joueur internet. Logiciels, photos d

• STEP ToyBox Gratuit

  STEP ToyBox est un projet qui développe diverses petites applications pour le traitement des schémas EXPRESS (ISO 10303-11) et/ou step part 21 (ISO 10303-21) fichiers de données. Certains ne sont ligne de commande que tandis

• padaf Gratuit

  Cette bibliothèque fournit des outils pour effectuer un prévol PDF/A sur un document PDF. Il est très basé sur apache PDFBOX. La conformité à la norme ISO 19005 (PDF/A) est vérifiée. L’objectif est de passer complètement le t

• OpenAI Gratuit

  OpenAI se consacre à la création d’une suite complète de composants d’intelligence artificielle hautement interopérables qui font le meilleur usage des technologies d’aujourd’hui. Les outils actuels incluent les agents mobil

• Gambit for Android Essai gratuit

  Voici une version préliminaire de Gambit Scheme pour la plate-forme Android, inspirée de la version iOS de Marc Feeley. Gambit Scheme est une « mise en œuvre complète, portable, efficace et fiable du langage de programmat

• Proja - Project Makefile Generator Gratuit

  Proja est un petit générateur Makefile rapide et très facile à utiliser avec des modèles adaptables, des emballages et une génération de dépendance automatique. Il permet plusieurs exécutions et bibliothèques dans un projet e