PiET: Pi Calculus Equivalences Tester 1.0

Programy pokrewne

• The Figaro Wolna

  "Framework dla niejawnych algorytmów wykresu i reprezentacji przez OBDDs" (Figaro) automatycznie zarządza eksperymentami z generatorem danych wejściowych i wtyczkami algorytmów. Zawiera już niektóre generatory i alg

• C++ Programming Reference FREE Bezpłatna wersja próbna

  Kompletne odniesienie do programowania języka C++ z szybkich kart referencyjnych po podręczniki szkoleniowe języka programowaniaSkorzystaj z możliwości, które daje Ci telefon komórkowy, umożliwiając studiowanie lub sprawd

• MEP Auswertung Wolna

  Ten program został napisany mając na uwadze, aby stworzyć przydatne narzędzie do oceny Motor Evoked Potentials (MEP) generowane przez Przezczaszkową Stymulację Magnetyczną (TMS) i rejestrowane z programem "Signal" (

• gsvit Wolna

  Szybki solver FDTD z obsługą karty graficznej. Zoptymalizowany pod kątem optyki w nanoskali - skanowanie mikroskopii optycznej w pobliżu pola, szorstką rozpraszanie powierzchni i ogniwa słoneczne. Używa środowiska CUDA do pra

• Russian Vocabulary Wolna

  Nadszedł czas, aby zagrać w rosyjskim quizie słownictwa! Zabawne, darmowe interaktywne quizy z golden quartz daje wiedzę w podróży! Rosyjski (Ã' € Ã'ƒÃ'ÂÃ'Âúà̈ù¹ Ã'Â÷ Ã'‹ ú, russkiy yazyk, wymawiane [à ‹  €rusk

• Fiction Press Reader Wolna

  Chcesz cieszyć się FictionPress.com bez zużywania wszystkich danych w miesiącu? Jest to czytnik offline dla Fiction Press, który pozwoli Ci czytać swoje historie w podróży. Pozwala również zarządzać i łatwo sprawdzać aktualiz

• brickit Wolna

  Internetowe repozytorium plazmizd i trzęsienic (patrz http://parts.mit.edu) oraz powiązane programy użytkowe, które wspierają badania nad biologią syntetyczną.

• Harrow Wolna

  Biblioteka Java, usługa internetowa i webclient do zbierania metadanych. Obecnie obsługuje zbieranie z OAI-PMH do Fedory 2, ale można go łatwo rozszerzyć, aby obsługiwać więcej protokołów.

• MLPA Analyzer Wolna

  Analizator MLPA to środowisko przepływu pracy i analizy dla amplifikacji sondy zależnej od multipleksu

• Physics Solving Toolkit Wolna

  Phyz to program edukacyjny, który pokazuje różne teorie fizyki / koncepcje i zawiera zestawy programów rozwiązywania problemów.Podstawową filozofią jest wyjaśnienie i zapewnienie łatwego interfejsu do rozwiązywania problemó