Отправить программное обеспечение
  1. Дома
  2. Linux
  3. Других
  4. Interactive BDD Environment

Interactive BDD Environment 1.1

Лицензии: Бесплатный ‎Размер файла: N/A
‎Рейтинг пользователей: 3.0/5 - ‎1 ‎Голосов
Скачать

IBEN - это интерактивная среда BDD. Это позволяет декларировать, манипулировать и визуализировать уменьшенные диаграммы бинарных решений (ROBDDs). Он был разработан как инструмент обучения, хотя это полезно всякий раз, когда вам нужно манипулировать BDD в интерактивном режиме и

история версии

  • Версия 1.1 размещено на 2003-03-25
    Несколько исправлений и обновлений
  • Версия 1.1 размещено на 2003-03-25

Подробная информация о программе

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

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

    Система онлайн-экзаменов на основе Интернета. Студенты могут войти в систему, чтобы сдать экзамены, а администраторы могут войти в систему для сдачи экзаменов. Вся система разработана в Java и использует стойки.

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

    VKS (Vikar Korps System) является полноправным, хорошо проверенным веб-приложением для администрирования временных процессов, клиентов и журналов по вызову в температурном агентстве.

  • Disease Gene Profiler Бесплатный

    Болезнь Gene Profiler (DGP) включает в себя набор (биоинформатики) инструменты, которые могут быть использованы для выявления генов, лежащих в основе восприимчивости к общим многофакторных заболеваний (таких как диабет, астма

  • Address to Congress Feb 2009 Бесплатная пробная версия

    Текст Обращения президента Обамы к Конгрессу 24 февраля 2009 года. Историческое время.Мы также публикуем «Инаугурационное обращение» президента Обамы США 2009 году» и речь об освоении космоса в 2010 году.Это приложение

  • Kid App: Learn 1,000 Words Бесплатный

    Узнайте 1000 английских слов - Kid Apps: Все в 1Are вы ищете идеальное приложение, чтобы научить себя английскому языку? Вы научитесь читать и писать на английском языке. Смотреть не дальше, потому что Kid Apps: Все в 1 прино

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

    sMArTH является редактором уравнений SVG и ECMAScript для MathML и LaTeX

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

    Исходный код и разработка этого проекта были перенесены на GitHub в http://github.com/andreyto/mgtaxa

  • LexiTools Reminder Бесплатный

    Программа для польскоязычных людей. Поддержка в изучении английских слов. Часть проекта LexiTools. Программа dla uytkownikw polsko-jzycznych. Wspomaga uczenie si sw jzyka angielskiego. Cz projektu LexiTools.

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

    ChesROMS разрабатывает модель ROMS Чесапикского залива, чтобы помочь в предсказании вредных водорослей. Мы надеемся, что катализируем новый метод моделирования сообщества с участием за пределами основных исследователей проект

  • HuRef Genome Browser Бесплатный

    Браузер генома HuRef является веб-ресурсом для навигации индивидуального генома человека, называется HuRef, опубликованной в PLoS биологии. Браузер является единой рамкой аннотации, сборки и инструментов синхронизации. Он нах