Yazılım Gönder
  1. Ev
  2. Linux
  3. Diğer
  4. Interactive BDD Environment

Interactive BDD Environment 1.1

Lisans: Ücret -siz ‎Dosya boyutu: N/A
‎Kullanıcı Derecelendirmesi: 3.0/5 - ‎1 ‎Oy
Indir

IBEN interaktif BDD ortamıdır. İndirimli ikili karar diyagramlarını (ROBDD'ler) beyan etmenizi, işlemenizi ve görselleştirmenizi sağlar. Bir öğrenme aracı olarak tasarlanmıştır, ancak BDD'yi etkileşimli olarak manipüle etmek için her zaman yararlıdır ve

sürüm geçmişi

  • Sürüm 1.1 tarihinde gönderildi 2003-03-25
    Çeşitli düzeltmeler ve güncelleştirmeler
  • Sürüm 1.1 tarihinde gönderildi 2003-03-25

Program Detayları

İlgili Programlar

  • OnlineExam Ücret -siz

    Web tabanlı çevrimiçi sınav sistemi. Öğrenciler sınavlara girmek için giriş yapabilir, yöneticiler de sınavları ayarlamak için giriş yapabilir. Tüm sistem java'da geliştirilmiştir ve payandalardan yararlanılır.

  • VKS Ücret -siz

    VKS (Vikar Korps Sistemi) geçici bir ajansta geçici, müşteri ve çağrı-magement yönetmek için tam gelişmiş, iyi test edilmiş bir web uygulamasıdır.

  • Disease Gene Profiler Ücret -siz

    Hastalık Gen Profilleyicisi (DGP), serbestçe kullanılabilen veri kaynaklarını kullanarak yaygın çok faktörlü hastalıklara (diyabet, astım ve kanser gibi) yatkınlığın altında yatan genleri tanımlamak için kullanılabilecek bir

  • Address to Congress Feb 2009 Ücretsiz Deneme

    24 Şubat 2009 tarihinde Kongre'ye Başkan Obama'nın Konuşma metni. Tarihi bir zaman.Ayrıca Başkan Obama'nın *Açılış Konuşması ABD 2009* ve 2010 yılında uzay araştırmaları üzerine bir konuşma yayınladık.Bu uygulama, Inte

  • Kid App: Learn 1,000 Words Ücret -siz

    1.000 İngilizce Kelime Öğrenin - Çocuk Uygulamaları: Hepsi 1'de kendinize İngilizce öğretmek için mükemmel bir uygulama mı arıyorsunuz? İngilizce okuma yazma öğreneceksiniz. Daha fazla bakama, çünkü Kid Apps: Hepsi 1'de sınıf

  • sMArTH Ücret -siz

    sMArTH MathML ve LaTeX için bir SVG ve ECMAScript destekli denklem editörüdür

  • MGTAXA Ücret -siz

    Bu projenin kaynak kodu ve geliştirilmesi http://github.com/andreyto/mgtaxa github taşındı

  • LexiTools Reminder Ücret -siz

    Lehçe konuşan insanlar için program. İngilizce kelimeleri öğrenmede destek. LexiTools Projesi'nin bir parçası. Program dla uytkownikw polsko-jzycznych. Wspomaga uczenie si sw jzyka angielskiego. Cz projektu LexiTools.

  • ChesROMS Ücret -siz

    ChesROMS Zararlı Algal Blooms tahmininde yardımcı olmak için Chesapeake Bay bir ROMS modeli geliştiriyor. ChesROMS projesinin temel araştırmacılarının ötesinde bir katılımla yeni bir topluluk modelleme yöntemini katalize etme

  • HuRef Genome Browser Ücret -siz

    HuRef Genom Tarayıcısı, PLoS Biology dergisinde yayınlanan HuRef olarak adlandırılan tek bir insan genomunun navigasyonu için bir Web kaynağıdır. Tarayıcı açıklama, derleme ve synteny araçlarıbirleşik bir çerçevedir. http://h