Enviar Software
  1. Casa
  2. Linux
  3. Outros
  4. Interactive BDD Environment

Interactive BDD Environment 1.1

Licença: Grátis ‎Tamanho do arquivo: N/A
‎Classificação dos utilizadores: 3.0/5 - ‎1 ‎votos
Baixar

IBEN é o ambiente interativo de BDD. Permite-lhe declarar, manipular e visualizar diagramas de decisão binárias reduzidos (ROBDDs). Foi projetado como uma ferramenta de aprendizagem, embora seja útil sempre que você precisa manipular BDD interativamente e

história da versão

  • Versão 1.1 postado em 2003-03-25
    Várias correções e atualizações
  • Versão 1.1 postado em 2003-03-25

Detalhes do programa

Programas Relacionados

  • OnlineExam Grátis

    Um sistema de exame online baseado na Web. Os alunos podem fazer login para fazer os exames e os administradores podem fazer login para definir os exames. Todo o sistema é desenvolvido em java e faz uso de escoras.

  • VKS Grátis

    VKS (Vikar Korps System) é uma aplicação web completa e bem testada para administrar temporários, clientes e call-magement numa agência temporária.

  • Disease Gene Profiler Grátis

    O Profiler Gene da Doença (DGP) é composto por um conjunto de ferramentas (bioinformáticas) que podem ser usadas para identificar os genes subjacentes à suscetibilidade a doenças multifatoriais comuns (como diabetes, asma e c

  • Address to Congress Feb 2009 Julgamento Gratuito

    O texto do Discurso do Presidente Obama ao Congresso em 24 de fevereiro de 2009. Um tempo histórico.Publicamos também o *Discurso Inaugural do Presidente Obama USA 2009* e um discurso sobre a exploração espacial em 2010.

  • Kid App: Learn 1,000 Words Grátis

    Aprenda 1.000 Palavras Inglesas - Apps de Crianças: Tudo em 1 Está à procura da aplicação perfeita para se ensinar inglês? Vai aprender a ler e escrever em inglês. Não procure mais, porque Kid Apps: Tudo em 1 traz a sala de a

  • sMArTH Grátis

    sMArTH é um editor de equação movido a SVG e ECMAScript para MathML e LaTeX

  • MGTAXA Grátis

    Código fonte e desenvolvimento deste projeto foi transferido para GitHub em http://github.com/andreyto/mgtaxa

  • LexiTools Reminder Grátis

    Programa para pessoas de língua polaca. Apoio na aprendizagem das palavras em inglês. Faz parte do Projeto LexiTools. Programa dla uytkownikw polsko-jzycznych. Wspomaga uczenie si sw jzyka angielskiego. Cz projektu LexiTools.

  • ChesROMS Grátis

    A ChesROMS está a desenvolver um modelo ROMS da Baía de Chesapeake para ajudar na previsão de Flores de Algas Nocivas. Esperamos catalisar um novo método de modelação comunitária com envolvimento para além dos principais inve

  • HuRef Genome Browser Grátis

    O Navegador do Genoma HuRef é um recurso web para a navegação de um genoma humano individual, denominado HuRef, publicado na PLoS Biology. O navegador é um quadro unificado de ferramentas de anotação, montagem e sintetização.