Hantar Perisian
  1. Rumah
  2. Linux
  3. Lain
  4. Interactive BDD Environment

Interactive BDD Environment 1.1

Lesen: Percuma ‎Saiz fail: N/A
‎Penarafan Pengguna: 3.0/5 - ‎1 ‎Undi
Muat turun

IBEN adalah persekitaran BDD interaktif. Ia membolehkan anda mengisytiharkan, memanipulasi dan memanipulasi gambar rajah keputusan binari yang dikurangkan (ROBDD). Ia direka sebagai alat pembelajaran, walaupun ia berguna apabila anda perlu memanipulasi BDD secara interaktif dan

sejarah versi

  • Versi 1.1 diposkan pada 2003-03-25
    Beberapa pembaikan dan pengemaskinian
  • Versi 1.1 diposkan pada 2003-03-25

Butiran Atur Cara

Atur Cara Berkaitan

  • OnlineExam Percuma

    Sistem peperiksaan dalam talian berasaskan Web. Pelajar boleh log masuk untuk mengambil peperiksaan dan pentadbir boleh log masuk untuk menetapkan peperiksaan. Keseluruhan sistem dibangunkan dalam jawa dan menggunakan struts.

  • VKS Percuma

    VKS (Vikar Korps System) adalah aplikasi web yang lengkap dan diuji dengan baik untuk mentadbir sementara, pelanggan dan panggilan-magement di agensi temp.

  • Disease Gene Profiler Percuma

    Profiler Gen Penyakit (DGP) terdiri daripada satu set alat (bioinformatik) yang boleh digunakan untuk mengenal pasti gen yang mendasari kerangka kepada penyakit multifactorial biasa (seperti kencing manis, asma dan kanser) me

  • Address to Congress Feb 2009 Percubaan Percuma

    Teks Alamat Presiden Obama kepada Kongres pada 24 Feb, 2009. Masa sejarah.Kami juga menerbitkan *Alamat Sulung Presiden Obama USA 2009* dan ucapan mengenai penerokaan angkasa pada tahun 2010.Aplikasi ini direka untuk m

  • Kid App: Learn 1,000 Words Percuma

    Belajar 1,000 Perkataan Bahasa Inggeris - Aplikasi Kanak-kanak: Semua dalam 1Are anda mencari permohonan yang sempurna untuk mengajar diri anda Bahasa Inggeris? Anda akan belajar membaca dan menulis dalam Bahasa Inggeris. Tid

  • sMArTH Percuma

    sMArTH adalah penyunting persamaan berkuasa SVG dan ECMAScript untuk MathML dan LaTeX

  • MGTAXA Percuma

    Kod sumber dan pembangunan projek ini telah dipindahkan ke GitHub di http://github.com/andreyto/mgtaxa

  • LexiTools Reminder Percuma

    Program untuk orang yang berbahasa Poland. Sokongan dalam pembelajaran perkataan Bahasa Inggeris. Sebahagian daripada Projek LexiTools. Program dla uytkownikw polsko-jzycznych. Wspomaga uczenie si sw jzyka angielskiego. Cz pr

  • ChesROMS Percuma

    ChesROMS sedang membangunkan model ROMS Teluk Chesapeake untuk membantu dalam ramalan Algal Blooms berbahaya. Kami berharap untuk memangkin kaedah baru pemodelan komuniti dengan penglibatan di luar penyelidik teras projek Che

  • HuRef Genome Browser Percuma

    HuRef Genome Browser adalah sumber Web untuk navigasi genom manusia individu, bertempoh HuRef, yang diterbitkan dalam Biologi PLoS. Pelayar adalah rangka kerja bersepadu anotasi, pemasangan dan alat synteny. Ia dalam talian h