Pi Calculus for SOA 2.1.0

Programmi correlati

• Entier Studio Gratuito

  Entier studio è uno strumento web progettato per gli sviluppatori. Fornisce diverse funzionalità che migliorano lo sviluppo delle applicazioni. Alcune di queste funzionalità sono un approccio originale basato su modelli e pro

• WiiC Gratuito

  WiiC è una libreria C/C++ che gestisce i dispositivi Wii. Supporta Wiimote, Nunchuck, Classic, Guitar Hero 3, Motion Plus e Balance Board. Funziona su piattaforme Linux e Mac.

• XSLTrans Gratuito

  Tranformateur XML/XSL en c# (.net framework 2.0, Windows)Utilizza l'origine pour transformer dei documenti DocBook XMLTrasformatore XML/XSL in c# (.net framework 2.0, Windows)Utilizzato per convertire (ad esempio) DocB

• ProForma Gratuito

  ProForma è una libreria PHP5 completamente orientata agli oggetti per la creazione e la gestione di moduli XHTML. Fornisce un'API standard per la creazione, la convalida, il riempimento automatico e altro ancora. L'output XHT

• Joshua chess robot Gratuito

  Joshua chess robot: un robot motore stepper interfacciato con una tavola fotosensibile per giocare a scacchi con un'intelligenza artificiale incorporata, un database di gioco o e un lettore Internet. Software, foto di robot,

• STEP ToyBox Gratuito

  STEP ToyBox è un progetto che sviluppa varie piccole applicazioni per l'elaborazione di schemi EXPRESS (ISO 10303-11) e/o FILE di dati STEP Part 21 (ISO 10303-21). Alcuni sono riga di comando solo mentre altri sono basati su

• padaf Gratuito

  Questa raccolta fornisce strumenti per effettuare un verifica preliminare PDF/A su un documento PDF. È altamente basato su apache PDFBOX. Viene verificata la conformità alla norma ISO 19005 (PDF/A). L'obiettivo è quello di su

• OpenAI Gratuito

  OpenAI si dedica alla creazione di una suite completa di componenti di Intelligenza Artificiale altamente interoperabili che sfruttano al meglio le tecnologie di oggi. Gli strumenti attuali includono agenti mobili, reti neur

• Gambit for Android Prova gratuita

  Ecco una versione preliminare di Gambit Scheme per la piattaforma Android, ispirata alla versione iOS di Marc Feeley. Gambit Scheme è un'implementazione "completa, portatile, efficiente e affidabile del linguaggio di prog

• Proja - Project Makefile Generator Gratuito

  Proja è un piccolo generatore Makefile veloce e molto facile da usare con modelli adattabili, packaging e generazione automatica delle dipendenze. Consente più eseguibili e librerie in un progetto e consente allo sviluppatore