PiET: Pi Calculus Equivalences Tester 1.0

Gerelateerde programma's

• The Figaro Gratis

  Het "Framework for Implicit Graph Algorithms and Representations by OBDDs" (Figaro) beheert automatisch experimenten met input generator en algoritme plugins. Het bevat al een aantal generatoren en algoritmen voor g

• C++ Programming Reference FREE Gratis proefperiode

  Volledige C++ taalprogrammeringsreferentie van snelle referentiekaarten tot programmeertaaltrainingshandleidingenGebruik de mogelijkheden die de mobiele telefoon u biedt, zodat u onderweg studeren of controleren wat u wil

• MEP Auswertung Gratis

  Dit programma is geschreven met in het achterhoofd om een nuttig hulpmiddel te creëren om de Motor Evoked Potentials (EP-leden) gegenereerd door Transcranial Magnetic Stimulation (TMS) te evalueren en opgenomen met het progra

• gsvit Gratis

  Snelle FDTD-oplosser met ondersteuning van grafische kaarten. Geoptimaliseerd voor nanoschaal optica - scannen in de buurt van veld optische microscopie, ruwe oppervlakteverstrooiing en zonnecellen. Gebruikt CUDA-omgeving voo

• Russian Vocabulary Gratis

  Het is tijd om de Russische Woordenschat quiz te spelen! Leuke, gratis interactieve trivia quizzen van Golden Quartz geeft je kennis on-the-go! Russisch (Ã'€ Ã'ƒã'ÂÃ'ÂúàªÃ¹ Ã'Â÷ · Ã'‹Ãº, russkiy yazyk, uitgesproke

• Fiction Press Reader Gratis

  Wilt u genieten van FictionPress.com zonder al uw gegevens voor de maand te gebruiken? Dit is een offline lezer voor Fiction Press waarmee u uw verhalen onderweg lezen. Het laat je ook beheren en gemakkelijk controleren op up

• brickit Gratis

  Een web-based repository van plasmiden en biobricks (zie http://parts.mit.edu) plus aanverwante hulpprogramma's die synthetisch biologieonderzoek ondersteunen.

• Harrow Gratis

  Een Java-bibliotheek, webservice en webclient voor het oogsten van metadata. Het ondersteunt momenteel oogsten van OAI-PMH naar Fedora 2, maar kan gemakkelijk worden uitgebreid om meer protocollen te ondersteunen.

• MLPA Analyzer Gratis

  MLPA Analyzer is een workflow- en analyseomgeving voor Multiplex Ligation-afhankelijke Probe Amplification

• Physics Solving Toolkit Gratis

  Phyz is een educatief programma dat verschillende fysicatheorieën/concepten toont en sets van probleemoplossende programma's bevat.De basisfilosofie is om uit te leggen en een eenvoudige interface te bieden voor het oplosse