Yazılım Gönder
  1. Ev
  2. Linux
  3. Diğer
  4. JavaBDD
  5. Download

JavaBDD 0.6

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

Hakkı -nda JavaBDD

BDD'leri (İkili Karar Diyagramları) işlemek için Java kitaplığı. İkili karar diyagramları model kontrolünde, resmi doğrulamada, devre diyagramlarında optimize etmede vb. yaygın olarak kullanılır.

İlgili Programlar

  • Jonathan Ücret -siz

    Jonathan - Tanrı Verilen. Jonathan çok şu anda mevcut İncil okuma programları gibi, bir fark ile. Jonathan ile, İncil dışında diğer Manevi Metinler okuyabilirsiniz. Jonathan bazı Manevi Aydınlanma ulaşmak için yardım umuyor

  • Lg nyelv Ücret -siz

    En az Logo uygulaması. Özellikle 8-14 yaş arası çocuklar için.Kullanımı kolay. İlk sürümler sadece Macarca çalışır.

  • WxMAP2 Ücret -siz

    opengrads.org'dan Gelen Izgara Analizi ve Görüntü Sistemi (GrADS) kullanılarak sayısal hava tahmin modellerinin hava haritalarının (wxmap) teşhisi ve yapımı için piton tabanlı bir sistem

  • Two Line Calculator Ücret -siz

    Bu iki satır ve not almak için bir bölüm ile bir gtk hesap makinesi. Amaç aritmetik yaparken ihtiyacınız olacak tek program olacak bir hesap makinesi oluşturmaktır. Ürün şu anda alfa aşamasındadır.

  • Squeebles Multiplication 1 Ücretsiz Deneme

    LÜTFEN DİkKAT: Temmuz 2013 itibariyle, bu uygulama Squeebles Times Tables 2 tarafından yerini almıştır - şimdi Android için kullanılabilir. Daha fazla kez tablolar oyun modları, yepyeni bir ödül sistemi ve veliler ve öğretmen

  • AIEEE Papers Ücretsiz Deneme

    Satın AIEEE kağıtları, sahte test kağıtları, model kağıtları, kılavuzları ve hazırlık materyalleri online www.dishapublication.com/books/upcoming-exam.html. Biz mühendislik ve diğer rekabetçi sınavlar için en kaliteli kitapla

  • Speak Spanish in 12 days Free Ücretsiz Deneme

    Sadece 12 gün içinde İspanyolca konuşun. Bu uygulama çok hızlı İspanyolca öğrenmek için izin verecektir. * * DERSLER İNGILIZCEDIR * * *Bu kursun mobil cihazınızda olması size her yerde, her zaman öğrenme imkanı sunacak

  • Tamil Recipe Lite Ücretsiz Deneme

    Güney Hindistan eşit hindistan cevizi, balıklar ve kök yumrular geniş bir yelpazede durumu için ünlüdür. Güney Hint gıda çoğunlukla pirinç, güney Hint halkının Sambhar veya köri bir arada sahip seviyorum.Bunlar birkaç nes

  • CanTherm Ücret -siz

    Bu yazılım termokimyasal ve kinetik miktarları hesaplamak için kullanılabilir, entalpi, entropi, ısı kapasitesi ve geçiş durumu teorisi oranı sabitleri spektroskopik / kuantum veri.

  • HWave Ücret -siz

    Bu programın amacı hidrojen dalga fonksiyonunun dalga formlarını çizmektir. Programın 4 seçeneği vardır. Birincisi, radyal fonksiyonu niçin çizen, ikinci, radyal olasılığı, üçüncü, 2d dalga fonksiyonu,son, 3d dalga fonksiyonu