![](/statics/img/blank.png)
JavaBDD 0.6
您將能夠在 5 秒內下載。
您也可以點擊以下外部下載連結開始下載:
http://sourceforge.net/projects/javabdd/files/javabdd-win32/0.6%20Win32%20binary/javabdd_0.6.zip/download
關於 JavaBDD
用於操作 BDD 的 JAVA 庫(二進位決策圖)。二進位決策圖廣泛應用於模型檢查、正式驗證、優化電路圖等。
相關軟體
-
Jonathan 免費
喬納森 - 上帝賜予.喬納森很像目前可用的聖經閱讀程式, 有一個區別。有了喬納森,你可以閱讀聖經之外的其他靈性文本。喬納森希望説明一些人達到精神啟蒙
-
Lg nyelv 免費
最小徽標實現。主要為8-14歲以下的兒童。易於使用。第一個版本僅使用匈牙利文。
-
WxMAP2 免費
一種基於巨蛇的系統,用於診斷和製作來自美國電網的網格分析和顯示系統 (GrADS) 的數值天氣預報模型的天氣opengrads.org
-
Two Line Calculator 免費
這是一個 gtk 計算機, 有兩行和一個部分做筆記。目標是創建一個計算機,這將是執行算術時您唯一需要的程式。該產品當前處於 Alpha 階段。
-
Squeebles Multiplication 1 免費試用
請注意:截至2013年7月,這個程式已被Squeebles時代表2取代 - 現在可用於Android。它包括更多的時程表遊戲模式,一個全新的獎勵系統,以及更多的報告和統計數據為家長和教師。訪問 http://bit.ly/1aBq4bt 或搜索 Squeebles 時代表 2.您仍然可以購買此版本,但我們建議使用 Squeebles Times 表 2 代替 - 它包含許多功能建議由孩子和家長使用此版本,並將成為許多未來發展的重點。謝謝!----
-
AIEEE Papers 免費試用
在網路上在線購買 AIEEE 解決論文、類比試卷、模型論文、指南www.dishapublication.com/books/upcoming-exam.html。我們為工程和其他競爭性考試提供最優質的書籍。我們的目標書籍將指導您,説明您以最高分破解 AIEEE 考試。Disha 書籍提供了最新的有用問題和經過身份驗證的解決方案集,是您成功的主要要素。類比試卷中充滿了精心挑選的問題,這會讓您即時體驗考試。我們的 AIEEE 預備書籍對 JEE 主
-
Speak Spanish in 12 days Free 免費試用
只需12天就講西班牙文。這個程式將允許您學習西班牙文非常快。* 課程是英文的 *在您的行動裝置上學習本課程將為您提供隨時隨地學習的可能性。你只是在等待公共交通到達目的地嗎?你為什麼不用那段時間呢?內容========僅僅12天就講西班牙文介紹第 1 天以西班牙語開始問候語和基本表達第2天識別西班牙文字母表中的字母和聲音第3天形成西班牙語名義單詞和短語第4天熟悉西班牙文名詞第5天
-
Tamil Recipe Lite 免費試用
印度南部同樣以椰子、各種各樣的魚類和根塊莖的供應而著名。印度南部的食物主要是大米,南印度人喜歡用桑巴或咖喱的組合。這些是我們幾代人在家裡製作的傳統美食,反映了泰米爾納德邦的烹飪傳統。購買完整版並獲取更多食譜我們認為,印度烹飪的基礎是使用新鮮成分在口味,質地和顏色的平衡合成反映其起源的熱帶和亞熱帶環境。印度食物基本上是辛辣的,混合了口味,顏色,調味品,營養平衡,香味,味道和視覺吸引力。用泰米爾語試試我們美味的南印度食譜。
-
CanTherm 免費
該軟體可用於計算熱化學和動力學量,如,enthalpy,熵,熱容量和過渡狀態理論速率常數從光譜/量子數據。
-
HWave 免費
本程式的目的是繪製氫波函數的波形。程式有4個選項。首先,繪製徑向函數,其次,繪製徑向概率,第三,二維波函數,最後,3D波函數。