Invia software
  1. Casa
  2. Linux
  3. Altro
  4. Interactive BDD Environment
  5. Download

Interactive BDD Environment 1.1

Licenza: Gratuito ‎Dimensioni del file: N/A
‎Valutazione utenti: 3.0/5 - ‎1 ‎Voti

Circa Interactive BDD Environment

IBEN è l'ambiente BDD interattivo. Consente di dichiarare, manipolare e visualizzare diagrammi decisionali binari ordinati ridotti (ROBDD). È stato progettato come strumento di apprendimento, anche se è utile ogni volta che è necessario manipolare BDD in modo interattivo e

Programmi correlati

  • OnlineExam Gratuito

    Un sistema di esami online basato sul Web. Gli studenti possono accedere per partecipare agli esami e gli amministratori possono accedere per impostare gli esami. L'intero sistema è sviluppato in java e fa uso di montanti.

  • VKS Gratuito

    VKS (Vikar Korps System) è un'applicazione web completa e ben testata per la somministrazione di temporaries, clienti e call-magement presso un'agenzia interinale.

  • Disease Gene Profiler Gratuito

    Disease Gene Profiler (DGP) comprende una serie di strumenti (bioinformatici) che possono essere utilizzati per identificare i geni alla base della suscettibilità alle comuni malattie multifattoriali (come diabete, asma e can

  • Address to Congress Feb 2009 Prova gratuita

    Il testo del discorso del presidente Obama al Congresso del 24 febbraio 2009. Un tempo storico.Pubblichiamo anche il *Discorso inaugurale USA 2009* del presidente Obama e un discorso sull'esplorazione spaziale nel 2010.

  • Kid App: Learn 1,000 Words Gratuito

    Impara 1.000 parole inglesi - Kid Apps: Tutto in 1 Stai cercando l'applicazione perfetta per insegnarti l'inglese? Imparerai a leggere e scrivere in inglese. Non cercare oltre, perché Kid Apps: Tutto in 1 porta l'aula al palm

  • sMArTH Gratuito

    sMArTH è un editor di equazioni basato su SVG ed ECMAScript per MathML e LaTeX

  • MGTAXA Gratuito

    Il codice sorgente e lo sviluppo di questo progetto sono stati spostati su GitHub http://github.com/andreyto/mgtaxa

  • LexiTools Reminder Gratuito

    Programma per persone di lingua polacca. Supporto nell'apprendimento delle parole inglesi. Parte del progetto LexiTools. Programma dla uytkownikw polsko-jzycznych. Wspomaga uczenie si sw jzyka angielskiego. Cz projektu LexiTo

  • ChesROMS Gratuito

    ChesROMS sta sviluppando un modello ROMS della Baia di Chesapeake per aiutare nella previsione di Harmful Algal Blooms. Speriamo di catalizzare un nuovo metodo di modellazione della comunità con un coinvolgimento al di là dei

  • HuRef Genome Browser Gratuito

    L'HuRef Genome Browser è una risorsa Web per la navigazione di un singolo genoma umano, 7000 huref, pubblicata su PLoS Biology. Il browser è un framework unificato di strumenti di annotazione, assemblaggio e sinestizza. È onl