Prześlij oprogramowanie
  1. W: strona główna
  2. Linux
  3. Innych
  4. Interactive BDD Environment

Interactive BDD Environment 1.1

Licencji: Wolna ‎Rozmiar pliku: N/A
‎Ocena użytkowników: 3.0/5 - ‎1 ‎Głosów
Pobierz

IBEN jest interaktywnym środowiskiem BDD. Pozwala na deklarowanie, manipulowanie i wizualizowanie zredukowanych uporządkowanych schematów decyzji binarnych (ROBDD). Został zaprojektowany jako narzędzie do nauki, chociaż jest to przydatne, gdy trzeba manipulować BDD interaktywnie i

historia wersji

  • Wersja 1.1 opublikowany na 2003-03-25
    Kilka poprawek i aktualizacji
  • Wersja 1.1 opublikowany na 2003-03-25

Szczegóły programu

Programy pokrewne

  • OnlineExam Wolna

    Internetowy system egzaminacyjny oparty na sieci Web. Uczniowie mogą zalogować się do egzaminów, a administratorzy mogą się zalogować, aby ustawić egzaminy. Cały system jest rozwijany w javie i korzysta z rozpórek.

  • VKS Wolna

    VKS (Vikar Korps System) to pełnowymiarowa, dobrze przetestowana aplikacja internetowa do administrowania tymczasowymi, klientami i call-magement w agencji tymczasowej.

  • Disease Gene Profiler Wolna

    Disease Gene Profiler (DGP) składa się z zestawu narzędzi (bioinformatycznych), które mogą być wykorzystane do identyfikacji genów leżących u podstaw podatności na powszechne choroby wieloczynnikowe (takie jak cukrzyca, astma

  • Address to Congress Feb 2009 Bezpłatna wersja próbna

    Tekst przemówienia prezydenta Obamy do Kongresu w dniu 24 lutego 2009 roku. Czas historyczny.Publikujemy również prezydenta Obamy * Inauguracyjne Przemówienie USA 2009 * i przemówienie na temat eksploracji kosmosu w 2010

  • Kid App: Learn 1,000 Words Wolna

    Dowiedz się 1000 angielskich słów - Aplikacje dla dzieci: Wszystko w 1Czy szukasz idealnej aplikacji do nauczania języka angielskiego? Nauczysz się czytać i pisać w języku angielskim. Nie szukaj dalej, ponieważ aplikacje dla

  • sMArTH Wolna

    sMArTH jest edytorem równań opartych na technologii SVG i ECMAScript dla MathML i LaTeX

  • MGTAXA Wolna

    Kod źródłowy i rozwój tego projektu został przeniesiony do GitHub w http://github.com/andreyto/mgtaxa

  • LexiTools Reminder Wolna

    Program dla polaków. Wsparcie w nauce angielskich słów. Część projektu LexiTools. Program dla uytkownikw polsko-jzycznych. Wspomaga uczenie si sw jzyka angielskiego. Cz projekt LexiTools.

  • ChesROMS Wolna

    ChesROMS opracowuje model ROMS z Zatoki Chesapeake, aby pomóc w przewidywaniu szkodliwych zakwitów glonów. Mamy nadzieję katalizować nową metodę modelowania społeczności z zaangażowaniem wykraczającymi poza podstawowych badac

  • HuRef Genome Browser Wolna

    HuRef Genome Browser jest źródłem informacji sieci Web do nawigacji indywidualnego ludzkiego genomu, określanego jako HuRef, opublikowanego w PLoS Biology. Przeglądarka jest ujednoliconą strukturą narzędzi adnotacji, montażu