Software verzenden
  1. Home
  2. Linux
  3. Andere
  4. Interactive BDD Environment

Interactive BDD Environment 1.1

Licentie: Gratis ‎Bestandsgrootte: N/A
‎Gebruikersbeoordeling: 3.0/5 - ‎1 ‎Stemmen
Downloaden

IBEN is de interactieve BDD-omgeving. Hiermee u verlaagde binaire beslissingsdiagrammen (ROBDD's) declareren, manipuleren en visualiseren. Het is ontworpen als een leermiddel, hoewel het nuttig is wanneer je nodig hebt om BDD interactief en

versiegeschiedenis

  • Versie 1.1 geplaatst op 2003-03-25
    Verschillende oplossingen en updates
  • Versie 1.1 geplaatst op 2003-03-25

Programmadetails

Gerelateerde programma's

  • OnlineExam Gratis

    Een webgebaseerd online examensysteem. Studenten kunnen zich aanmelden om de examens af te leggen en beheerders kunnen inloggen om examens in te stellen. Het hele systeem is ontwikkeld in Java en maakt gebruik van stutten.

  • VKS Gratis

    VKS (Vikar Korps System) is een fullblown, goed geteste webapplicatie voor het beheren van tijdelijken, klanten en call-magement bij een uitzendbureau.

  • Disease Gene Profiler Gratis

    Ziekte Gene Profiler (DGP) bestaat uit een reeks (bioinformatica) tools die kunnen worden gebruikt om de genen die ten grondslag liggen aan gemeenschappelijke multifactoriële ziekten (zoals diabetes, astma en kanker) te ident

  • Address to Congress Feb 2009 Gratis proefperiode

    De tekst van president Obama's Toespraak tot het Congres op 24 februari 2009. Een historische tijd.We publiceren ook president Obama's * Inaugurele Rede USA 2009 * en een toespraak over de verkenning van de ruimte in 2010

  • Kid App: Learn 1,000 Words Gratis

    Leer 1.000 Engelse woorden - Kid Apps: All in 1Ben je op zoek naar de perfecte applicatie om jezelf Engels te leren? Je leert lezen en schrijven in het Engels. Zoek niet verder, want Kid Apps: All in 1 brengt de klas naar de

  • sMArTH Gratis

    sMArTH is een SVG- en ECMAScript-aangedreven vergelijkingseditor voor MathML en LaTeX

  • MGTAXA Gratis

    Broncode en ontwikkeling van dit project werd verplaatst naar GitHub op http://github.com/andreyto/mgtaxa

  • LexiTools Reminder Gratis

    Programma voor Poolssprekende mensen. Ondersteuning bij het leren van Engelse woorden. Onderdeel van het LexiTools Project. Programma dla uytkownikw polsko-jzycznych. Wspomaga uczenie si sw jzyka angielskiego. Cz projektu Lex

  • ChesROMS Gratis

    ChesROMS ontwikkelt een ROMS-model van de Chesapeake Bay om te helpen bij de voorspelling van schadelijke algenbloei. We hopen een nieuwe methode van community modeling te katalyseren met betrokkenheid buiten de kernonderzoek

  • HuRef Genome Browser Gratis

    De HuRef Genome Browser is een webbron voor de navigatie van een individueel menselijk genoom, huref genoemd, gepubliceerd in PLoS Biology. De browser is een uniform kader van annotatie, assemblage en synteny tools. Het is on