PiET: Pi Calculus Equivalences Tester 1.0

Programas relacionados

• The Figaro Gratis

  El "Framework para algoritmos de gráficos implícitos y representaciones por OBDDs" (Figaro) administra automáticamente los experimentos con el generador de entrada y los plugins de algoritmos. Ya contiene algunos ge

• C++ Programming Reference FREE Prueba gratuita

  Referencia completa de programación del lenguaje C++ desde tarjetas de referencia rápidas hasta manuales de formación de lenguajes de programaciónUtiliza las posibilidades que te ofrece el móvil, permitiendo estudiar o co

• MEP Auswertung Gratis

  Este programa ha sido escrito teniendo en cuenta la creación de una herramienta útil para evaluar los Potenciales Evocados Motor (MEP) generados por Transcranial Magnetic Stimulation (TMS) y grabados con el programa "Sig

• gsvit Gratis

  Solucionador FDTD rápido con soporte para tarjeta gráfica. Optimizado para óptica a nanoescala: microscopía óptica de campo cercano, dispersión de superficie rugosa y células solares. Utiliza el entorno CUDA para el funcionam

• Russian Vocabulary Gratis

  ¡Es hora de jugar al cuestionario de vocabulario ruso! Divertido, concursos de preguntas interactivas gratis de Golden Quartz le da conocimiento sobre la marcha! Ruso ('ƒÃ' Russkiy yazyk, pronunciado [en inglés, "ˆruskÊ 2

• Fiction Press Reader Gratis

  ¿Quieres disfrutar de FictionPress.com sin usar todos tus datos para el mes? Este es un lector fuera de línea para Fiction Press que te permitirá leer tus historias sobre la marcha. También le permite administrar y comprobar

• brickit Gratis

  Un repositorio basado en la web de plásmidos y biobricks (ver http://parts.mit.edu) además de programas de utilidad relacionados que apoyan la investigación de biología sintética.

• Harrow Gratis

  Una biblioteca Java, un servicio web y un webclient para recopilar metadatos. Actualmente soporta la cosecha de OAI-PMH a Fedora 2, pero se puede ampliar fácilmente para soportar más protocolos.

• MLPA Analyzer Gratis

  MLPA Analyzer es un entorno de flujo de trabajo y análisis para amplificación de sonda dependiente de multiplex Ligación

• Physics Solving Toolkit Gratis

  Phyz es un programa educativo que muestra varias teorías/conceptos de Física y contiene conjuntos de programas de resolución de problemas.La filosofía básica es explicar y proporcionar una interfaz fácil para la resolución