Kirim Perangkat Lunak
  1. Rumah
  2. Linux
  3. Lain
  4. Interactive BDD Environment

Interactive BDD Environment 1.1

Lisensi: Gratis ‎Ukuran file: N/A
‎Peringkat Pengguna: 3.0/5 - ‎1 ‎Suara
Download

IBEN adalah lingkungan BDD interaktif. Ini memungkinkan Anda untuk mendeklarasikan, memanipulasi, dan memvisualisasikan pengurangan diagram keputusan biner yang dipesan (ROBDD). Ini dirancang sebagai alat pembelajaran, meskipun berguna setiap kali Anda perlu memanipulasi BDD secara interaktif dan

Riwayat versi

  • Versi 1.1 diposting di 2003-03-25
    Beberapa perbaikan dan pembaruan
  • Versi 1.1 diposting di 2003-03-25

Detil Program

Program Terkait

  • OnlineExam Gratis

    Sistem pemeriksaan online berbasis web. Siswa dapat masuk untuk mengikuti ujian dan administrator dapat masuk untuk mengatur ujian. Seluruh sistem dikembangkan di pulau Jawa dan memanfaatkan struts.

  • VKS Gratis

    VKS (Vikar Korps System) adalah aplikasi web fullblown yang teruji dengan baik untuk mengelola sementara, pelanggan, dan call-magement di agen sementara.

  • Disease Gene Profiler Gratis

    Disease Gene Profiler (DGP) terdiri dari seperangkat alat (bioinforatika) yang dapat digunakan untuk mengidentifikasi gen yang mendasari kerentanan terhadap penyakit multifaktorial umum (seperti diabetes, asma dan kanker) men

  • Address to Congress Feb 2009 Uji Coba Gratis

    Teks Pidato Presiden Obama kepada Kongres pada 24 Feb 2009. Sebuah waktu sejarah.Kami juga menerbitkan *Alamat Perdana Presiden Obama USA 2009* dan pidato tentang eksplorasi luar angkasa pada tahun 2010.Aplikasi ini di

  • Kid App: Learn 1,000 Words Gratis

    Pelajari 1.000 Kata Bahasa Inggris - Kid Apps: All in 1Aat Anda mencari aplikasi yang sempurna untuk mengajarkan diri Anda bahasa Inggris? Anda akan belajar membaca dan menulis dalam bahasa Inggris. Tidak perlu mencari lagi,

  • sMArTH Gratis

    sMArTH adalah editor persamaan yang didukung SVG dan ECMAScript untuk MathML dan LaTeX

  • MGTAXA Gratis

    Kode sumber dan pengembangan proyek ini dipindahkan ke GitHub di http://github.com/andreyto/mgtaxa

  • LexiTools Reminder Gratis

    Program untuk orang-orang berbahasa Polandia. Dukungan dalam mempelajari kata-kata bahasa Inggris. Bagian dari Proyek LexiTools. Program dla uytkownikw polsko-jzycznych. Wspomaga uczenie si sw jzyka angielskiego. Cz projektu

  • ChesROMS Gratis

    ChesROMS sedang mengembangkan model ROMS dari Chesapeake Bay untuk membantu dalam prediksi Harmful Algal Blooms. Kami berharap dapat mengkategrasikan metode baru pemodelan komunitas dengan keterlibatan di luar peneliti inti p

  • HuRef Genome Browser Gratis

    HuRef Genome Browser adalah sumber daya Web untuk navigasi genom manusia individu, yang disebut HuRef, yang diterbitkan dalam Biologi PLoS. Browser adalah kerangka kerja terpadu alat anotasi, perakitan, dan sindikasi. Ini onl