Interactive BDD Environment 1.1
您將能夠在 5 秒內下載。
您也可以點擊以下外部下載連結開始下載:
http://sourceforge.net/projects/iben/files/iben/1.1/iben-1.1.tar.gz/download
關於 Interactive BDD Environment
IBEN 是互動式 BDD 環境。它允許您聲明、操作和可視化縮減的有序二進位決策圖 (ROBD)。它被設計為一個學習工具,雖然它是有用的,每當你需要操作BDD互動和
相關軟體
-
OnlineExam 免費
基於 Web 的線上考試系統。學生可以登錄參加考試,管理員可以登錄以設置考試。整個系統是在java中開發的,並利用支柱。
-
VKS 免費
VKS(Vikar Korps 系統)是一個經過全面、經過良好測試的 Web 應用程式,用於管理臨時代理機構的臨時工、客戶和呼叫管理。
-
Disease Gene Profiler 免費
疾病基因分析器 (DGP) 包括一套 (生物資訊學) 工具,可用於使用免費數據源識別常見多因素疾病(如糖尿病、哮喘和癌症)易感性的基因。
-
Address to Congress Feb 2009 免費試用
奧巴馬總統2009年2月24日在國會的講話文本。一個歷史時代。我們還發表了歐巴馬總統的《2009年美國就職演說》和2010年關於太空探索的演講。這個程式是專為閱讀,而下線,沒有互聯網連接。
-
Kid App: Learn 1,000 Words 免費
學習1000個英語單詞 - 兒童應用程式:所有在1你正在尋找完美的應用程式,教自己英語?你將學會用英語讀寫。不要再看, 因為孩子應用程式: 所有在 1 帶來教室到你的手頭。我們為父母和孩子設計了完美的應用程式。兒童應用程式:所有在1包含18個不同的應用程式,從超過英語1000快閃記憶體卡,互動跟蹤演習,數學遊戲和更多!你会发现以下功能齐全的孩子应用程序里面:1) 儿童天才: 英语 ABC, 计数和单词 3) 闪光数学 3) 视觉单词 4) 数学
-
sMArTH 免費
smaarth 是 Mathml 和 Latex 的 Svg 和 Ecmascript 供電方程編輯器
-
MGTAXA 免費
此專案的原始程式碼和開發在10月10日HTTP://github.com/andreyto/mgtaxa
-
LexiTools Reminder 免費
為講波蘭語的人提供課程。支援學習英語單詞。LexiTools 專案的一部分。程式 dla uytkownikw polsko - jzycznych.斯普波加 · 烏克澤尼 · 西 · 西 · 吉卡 · 安吉爾斯基戈Cz projektu LexiTools.
-
ChesROMS 免費
ChesROMS 正在開發切薩皮克灣的 ROMS 模型,以幫助預測有害的藻類盛開。我們希望在 ChesROMS 專案的核心研究人員之外,促進社區建模的新方法。
-
HuRef Genome Browser 免費
HuRef基因組瀏覽器是用於導航單個人類基因組的Web資源,它被發表在PLoS生物學雜誌上。瀏覽器是註釋、組裝和合成工具的統一框架。它在HTTP://huref.jcvi.org。