PiET: Pi Calculus Equivalences Tester 1.0

Programas Relacionados

• The Figaro Grátis

  O "Framework for Implicit Graph Algorithms and Representations by OBDDs" (Figaro) gere automaticamente experiências com plugins de geradores de entrada e algoritmos. Já contém alguns geradores e algoritmos para prob

• C++ Programming Reference FREE Julgamento Gratuito

  Referência completa da programação linguística C++ de cartões de referência rápidos, até manuais de formação em linguagem de programaçãoUse as possibilidades que o telemóvel lhe traz, permitindo estudar ou verificar o que

• MEP Auswertung Grátis

  Este programa foi escrito tendo em mente criar uma ferramenta útil para avaliar os Potenciais Evocados Motor (MEPs) gerados pela Estimulação Magnética Transcraniana (TMS) e gravados com o programa "Signal" (versão 2

• gsvit Grátis

  Solver FDTD rápido com suporte a placa gráfica. Otimizado para ótica nanoescala - digitalização perto de microscopia ótica de campo, dispersão de superfícies ásperas e células solares. Utiliza ambiente CUDA para o funcionamen

• Russian Vocabulary Grátis

  Está na hora de fazer o teste do vocabulário russo! Testes de trivialidades interativas e divertidos do Golden Quartz dão-lhe conhecimento em movimento! Russo (Â' ̧ ÂÂÂÂÂÂÂÂÂÂÂÂÂÂÂÂÂÂÂÂ' Russkiy yazyk é uma língua eslávica ut

• Fiction Press Reader Grátis

  Quer desfrutar FictionPress.com sem usar todos os seus dados para o mês? Este é um leitor offline para a Fiction Press que lhe permitirá ler as suas histórias em movimento. Também permite gerir e facilmente verificar as atual

• brickit Grátis

  Um repositório baseado na web de plasmídeos e biobídos (ver http://parts.mit.edu) mais programas de utilidade relacionados que suportam a investigação em biologia sintética.

• Harrow Grátis

  Uma biblioteca java, webservice e webclient para a colheita de metadados. Atualmente apoia a colheita de OAI-PMH para Fedora 2, mas pode ser facilmente estendida para suportar mais protocolos.

• MLPA Analyzer Grátis

  O MLPA Analyzer é um ambiente de trabalho e análise para a Amplificação da Sonda Dependente da Ligação Multiplex

• Physics Solving Toolkit Grátis

  Phyz é um programa educacional que mostra várias teorias/conceitos de Física e contém conjuntos de programas de resolução de problemas.A filosofia básica é explicar e fornecer uma interface fácil para a resolução de problem