Enviar software
  1. Casa
  2. Linux
  3. Otro
  4. Interactive BDD Environment

Interactive BDD Environment 1.1

Licencia: Gratis ‎Tamaño del archivo: N/A
‎Calificación de usuarios: 3.0/5 - ‎1 ‎Votos
Descargar

IBEN es el entorno BDD interactivo. Le permite declarar, manipular y visualizar diagramas de decisión binarios ordenados reducidos (ROBDD). Fue diseñado como una herramienta de aprendizaje, aunque es útil siempre que necesite manipular BDD de forma interactiva y

historial de versiones

  • Versión 1.1 publicado en 2003-03-25
    Varias correcciones y actualizaciones
  • Versión 1.1 publicado en 2003-03-25

Detalles del programa

Programas relacionados

  • OnlineExam Gratis

    Un sistema de examen en línea basado en la Web. Los estudiantes pueden iniciar sesión para realizar los exámenes y los administradores pueden iniciar sesión para establecer exámenes. Todo el sistema está desarrollado en java

  • VKS Gratis

    VKS (Vikar Korps System) es una aplicación web completa y bien probada para administrar temporarios, clientes y llamadas en una agencia temporal.

  • Disease Gene Profiler Gratis

    Disease Gene Profiler (DGP) comprende un conjunto de herramientas (bioinformáticas) que se pueden utilizar para identificar los genes subyacentes a la susceptibilidad a enfermedades multifactoriales comunes (como la diabetes,

  • Address to Congress Feb 2009 Prueba gratuita

    El texto del discurso del presidente Obama al Congreso el 24 de febrero de 2009. Un tiempo histórico.También publicamos el *Discurso inaugural del presidente Obama USA 2009* y un discurso sobre la exploración espacial en

  • Kid App: Learn 1,000 Words Gratis

    Aprender 1.000 Palabras en Inglés - Kid Apps: Todo en 1¿Estás buscando la aplicación perfecta para enseñarte inglés? Aprenderás a leer y escribir en inglés. No busques más, porque Kid Apps: Todo en 1 lleva el aula a la palma

  • sMArTH Gratis

    sMArTH es un editor de ecuaciones con tecnología SVG y ECMAScript para MathML y LaTeX

  • MGTAXA Gratis

    El código fuente y el desarrollo de este proyecto se trasladó a GitHub en http://github.com/andreyto/mgtaxa

  • LexiTools Reminder Gratis

    Programa para personas de habla polaca. Apoyo en el aprendizaje de palabras en inglés. Parte del Proyecto LexiTools. Programa dla uytkownikw polsko-jzycznych. Wspomaga uczenie si sw jzyka angielskiego. Cz projektu LexiTools.

  • ChesROMS Gratis

    ChesROMS está desarrollando un modelo ROMS de la bahía de Chesapeake para ayudar en la predicción de Las floraciones de Algal dañinos. Esperamos catalizar un nuevo método de modelado comunitario con participación más allá de

  • HuRef Genome Browser Gratis

    El navegador del genoma HuRef es un recurso web para la navegación de un genoma humano individual, llamado HuRef, publicado en PLoS Biology. El navegador es un marco unificado de herramientas de anotación, ensamblaje y sintes