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 환경입니다. 그것은 선언, 조작 및 감소 된 바이너리 결정 다이어그램 (ROBDDs)를 시각화 할 수 있습니다. BDD를 대화형으로 조작해야 할 때마다 유용하지만 학습 도구로 설계되었습니다.
관련 프로그램
-
OnlineExam 무료
웹 기반 온라인 검사 시스템. 학생은 시험에 응시하기 위해 로그인할 수 있으며 관리자는 시험에 로그인할 수 있습니다. 전체 시스템은 자바에서 개발되어 스트럿을 사용합니다.
-
VKS 무료
VKS (Vikar Korps 시스템)는 임시 기관에서 임시, 고객 및 통화 마지먼트를 관리하기위한 완전하고 잘 테스트 된 웹 응용 프로그램입니다.
-
Disease Gene Profiler 무료
질병 유전자 프로파일러(DGP)는 자유롭게 이용 가능한 데이터 소스를 사용하여 일반적인 다자간 질환(당뇨병, 천식 및 암과 같은)에 대한 감수성의 근본적인 유전자를 식별하는 데 사용할 수 있는 일련의 (생물정보학) 도구로 구성된다.
-
Address to Congress Feb 2009 무료 평가판
2009년 2월 24일 오바마 대통령의 의회 연설 텍스트. 역사적인 시간.또한 오바마 대통령의 *취임사 USA 2009*와 2010년 우주 탐사 연설도 게시합니다.이 응용 프로그램은 인터넷 연결없이 오프라인 상태에서 읽기 위해 설계되었습니다.
-
Kid App: Learn 1,000 Words 무료
1,000 단어 알아보기 - 어린이 앱 : 모든 1 당신은 자신에게 영어를 가르 칠 수있는 완벽한 응용 프로그램을 찾고 있습니까? 당신은 읽고 영어로 작성하는 법을 배우게됩니다. 키드 앱: 모두 1에서 교실을 손바닥으로 가져 오므로 더 이상 봐보십시오. 우리는 부모와 아이들 모두를위한 완벽한 응용 프로그램을 설계했다. 아이 애플 리 케이 션: 모두 포함 18 영어 에 이르기까지 다른 응용 프로그램 1
-
sMArTH 무료
sMArTH는 MathML 및 LaTeX용 SVG 및 ECMAScript 기반 방정식 편집기입니다.
-
MGTAXA 무료
이 프로젝트의 소스 코드 및 개발은 http://github.com/andreyto/mgtaxa GitHub로 이동되었습니다.
-
LexiTools Reminder 무료
폴란드어를 구사하는 사람들을위한 프로그램. 영어 단어를 배우는 것을 지원합니다. LexiTools 프로젝트의 일부입니다. 프로그램 dla uytkownikw polsko-jzycznych. Wspomaga uczenie si sw jzyka angielskiego. Cz projektu 렉시도구.
-
ChesROMS 무료
ChesROMS는 유해한 조류 꽃의 예측에 도움이 체사피크 베이의 ROMS 모델을 개발하고있다. 우리는 ChesROMS 프로젝트의 핵심 연구자 너머에 참여와 지역 사회 모델링의 새로운 방법을 촉매 할 수 있도록 노력하겠습니다.
-
HuRef Genome Browser 무료
HuRef 게놈 브라우저는 PLoS 생물학에 간행된 개별인간 게놈의 탐색을 위한 웹 자원입니다, HuRef에게 불린. 브라우저는 어노피, 어셈블리 및 신디사이저 도구의 통합 프레임 워크입니다. 그것은 http://huref.jcvi.org 온라인입니다.