PiET: Pi Calculus Equivalences Tester 1.0

Related Programs

• The Figaro Free

  The "Framework for Implicit Graph Algorithms and Representations by OBDDs" (Figaro) automatically manages experiments with input generator and algorithm plugins. It already contains some generators and algorithms fo

• C++ Programming Reference FREE Free Trial

  Complete C++ language programming reference from quick reference cards, to programming language training manualsUse the possibilities the mobile brings you, allowing to study or check anything you want on the go. Don't waste

• MEP Auswertung Free

  This program has been written having in mind to create an useful tool to evaluate the Motor Evoked Potentials (MEPs) generated by Transcranial Magnetic Stimulation (TMS) and recorded with the program "Signal" (versi

• gsvit Free

  Fast FDTD solver with graphics card support. Optimized for nanoscale optics - scanning near field optical microscopy, rough surface scattering and solar cells. Uses CUDA environment for graphics card operation.

• Russian Vocabulary Free

  It's time to play the Russian Vocabulary quiz! Fun, free interactive trivia quizzes from Golden Quartz gives you knowledge on-the-go!Russian (русский язык, russkiy yazyk, pronounced [ˈruskÃ

• Fiction Press Reader Free

  Want to enjoy FictionPress.com without using up all your data for the month? This is a offline reader for Fiction Press that will allow you to read your stories on the go. It also lets you manage and easily check for updates

• brickit Free

  A web-based repository of plasmids and biobricks (see http://parts.mit.edu) plus related utility programs that support synthetic biology research.

• Harrow Free

  A Java library, webservice and webclient for harvesting metadata. It currently supports harvesting from OAI-PMH to Fedora 2, but can easily be extended to support more protocols.

• MLPA Analyzer Free

  MLPA Analyzer is a workflow and analysis environment for Multiplex Ligation-dependent Probe Amplification

• Physics Solving Toolkit Free

  Phyz is an educational program which shows various Physics theories/concepts and contains sets of problem-solving programs.The basic philosophy is to explain and provide an easy interface for problem-solving.