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) 数学 Whi
-
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。