PiET: Pi Calculus Equivalences Tester 1.0

Programas Relacionados

• The Figaro Livre

  O "Framework for Implicit Graph Algorithms and Representations by OBDDs" (Figaro) gerencia automaticamente experimentos com plugins gerador de entrada e algoritmo. Ele já contém alguns geradores e algoritmos para pr

• C++ Programming Reference FREE Avaliação gratuita

  Referência completa de programação de linguagem C++ desde cartões de referência rápidos até manuais de treinamento em linguagem de programaçãoUse as possibilidades que o celular traz, permitindo estudar ou verificar qualq

• MEP Auswertung Livre

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

• gsvit Livre

  Solucionador FDTD rápido com suporte a placas gráficas. Otimizado para óptica nanoescala - escaneamento perto de microscopia óptica de campo, dispersão de superfície áspera e células solares. Usa o ambiente CUDA para operação

• Russian Vocabulary Livre

  É hora de fazer o teste do vocabulário russo! Testes interativos divertidos e gratuitos do Golden Quartz dão conhecimento on-the-go! Russo (Ã'€Ã'Âə'Âñã'ÂÃâ¹ Ã'· Russkiy yazyk é uma língua eslava usada principalmente na Rús

• Fiction Press Reader Livre

  Quer FictionPress.com sem usar todos os seus dados para o mês? Este é um leitor offline da Fiction Press que permitirá que você leia suas histórias em movimento. Ele também permite gerenciar e verificar facilmente as atualiza

• brickit Livre

  Um repositório baseado na Web de plasmídeos e biobricks (ver http://parts.mit.edu) além de programas de utilidades relacionados que suportam pesquisas de biologia sintética.

• Harrow Livre

  Uma biblioteca Java, webservice e webclient para a coleta de metadados. Atualmente, suporta a colheita do OAI-PMH para o Fedora 2, mas pode ser facilmente estendido para suportar mais protocolos.

• MLPA Analyzer Livre

  MLPA Analyzer é um ambiente de fluxo de trabalho e análise para amplificação de sonda dependente de ligadura multiplex

• Physics Solving Toolkit Livre

  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