PiET: Pi Calculus Equivalences Tester 1.0

Похожие программы

• The Figaro Бесплатный

  «Квота;Framework для неявных алгоритмов графиков и представлений по OBDDs»quot; (Figaro) автоматически управляет экспериментами с генератором входных данных и плагинами алгоритмов. Он уже содержит некоторые генераторы и алгор

• C++ Programming Reference FREE Бесплатная пробная версия

  Полный справочник по программированию на языке СЗ от быстрых справочных карт до учебных пособий по программированию на языкеИспользуйте возможности мобильный приносит вам, что позволяет изучать или проверять все, что вы х

• MEP Auswertung Бесплатный

  Эта программа была написана имея в виду, чтобы создать полезный инструмент для оценки Мотор Вызванные потенциалы (MEPs), порожденных Транскраниальной магнитной стимуляции (TMS) и записаны с программой "квота;Сигнал" цитата; (

• gsvit Бесплатный

  Быстрый FDTD-решатель с поддержкой видеокарт. Оптимизирована для наномасштабной оптики - сканирование вблизи поля оптической микроскопии, шероховатого рассеяния поверхности и солнечных элементов. Использует среду CUDA для раб

• Russian Vocabulary Бесплатный

  Пришло время сыграть в русскую викторину Vocabulary! Веселые, бесплатные интерактивные викторины мелочи из Золотого кварца дает вам знания на ходу! Русский язык ('o' ̧ ' «Зо, русский язык» ÂˆzÉ () — славянский язык ˆruskÊÂ

• Fiction Press Reader Бесплатный

  Хотите наслаждаться FictionPress.com не используя все свои данные за месяц? Это в автономном режиме читатель Fiction Press, что позволит вам читать ваши рассказы на ходу. Он также позволяет управлять и легко проверить обновле

• brickit Бесплатный

  Веб-хранилище плазмидов и биобрика (см. http://parts.mit.edu) плюс связанные с этим программы утилиты, которые поддерживают исследования синтетической биологии.

• Harrow Бесплатный

  Библиотека Java, веб-сервис и веб-клиент для сбора метаданных. В настоящее время она поддерживает сбор урожая от OAI-PMH до Fedora 2, но может быть легко расширена для поддержки большего содержания протоколов.

• MLPA Analyzer Бесплатный

  MLPA Analyzer — это среда рабочего процесса и анализа для усиления зонда, зависящего от мультиплексной лигации

• Physics Solving Toolkit Бесплатный

  Phyz является образовательной программой, которая показывает различные теории физики / концепции и содержит наборы программ решения проблем.Основная философия заключается в объяснении и предоставлении простого интерфейса дл