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)을 사용하여 수치 기상 예측 모델의 기상 지도(wxmap)를 진단하고 만드는 opengrads.org
-
Two Line Calculator 무료
이 두 줄과 메모를 할 수있는 섹션과 gtk 계산기. 목표는 산술을 할 때 필요한 유일한 프로그램이 될 계산기를 만드는 것입니다. 이 제품은 현재 알파 단계에 있습니다.
-
Squeebles Multiplication 1 무료 평가판
참고 : 7 월 2013로,이 응용 프로그램은 스퀴블레스 타임즈 테이블 2에 의해 대체되었습니다 - 지금 안드로이드에 사용할 수 있습니다. 그것은 더 많은 시간 테이블 게임 모드, 새로운 보상 시스템 및 부모와 교사를위한 더 많은 보고및 통계를 포함한다. http://bit.ly/1aBq4bt 방문하거나 Squeebles 타임즈 테이블 2.You여전히이 버전을 구입할 수 있지만 대신 Squeebles
-
AIEEE Papers 무료 평가판
aIEEE 해결 서류, 모의 시험 논문, 모델 논문, 가이드 및 준비 자료를 온라인으로 www.dishapublication.com/books/upcoming-exam.html 구입하십시오. 우리는 엔지니어링 및 기타 경쟁 시험을위한 최고의 품질의 책을 제공합니다. 우리의 대상 책은 가이드와 당신이 가장 높은 점수와 AIEEE 시험을 균열 도움이 될 것입니다. 유용한 문제와 인증 된 솔루션의 최신 컬
-
Speak Spanish in 12 days Free 무료 평가판
단 12일 만에 스페인어를 구사해보세요. 이 응용 프로그램은 매우 빨리 스페인어를 배울 수 있습니다. * * * 레슨은 영어로 *모바일 장치에서이 과정을 갖는 것은 당신에게 언제 어디서나 배울 수있는 가능성을 제공 할 것입니다. 대중교통이 목적지에 도착하기를 기다리고 있습니까? 왜 그 시간을 사용하지 않습니까?내용을========단 12일 만에 스페인어를 구사 소개1일
-
Tamil Recipe Lite 무료 평가판
인도 남부는 코코넛, 다양한 물고기와 루트 덩굴의 가용성으로 도저히 유명합니다. 인도 남부 음식은 주로 쌀이며, 인도 남부 사람들은 삼바하르 나 카레의 조합으로 가지고 싶어하는 쌀입니다.이들은 우리가 여러 세대에 걸쳐 집에서 만든 전통 식사와 타밀 나두의 요리 전통을 반영합니다.정식 버전을 구입하고 더 많은 조리법을 얻을우리는 인도 요리의 기초는 그 기원의 열대 와 아열대 환경을 반
-
CanTherm 무료
이 소프트웨어는 분광/양자 데이터에서 열화학 및 운동 수량, 엔탈피, 엔트로피, 열 용량 및 전이 상태 이론 속도 상수를 계산하는 데 사용할 수 있습니다.
-
HWave 무료
이 프로그램의 목적은 수소 파형의 파형을 플롯하는 것입니다. 이 프로그램에는 4가지 옵션이 있습니다. 먼저, 방사형 기능을 플로팅, 둘째, 방사형 확률, 세 번째, 2d 웨이브 기능, 마지막, 3d 웨이브 기능을 플로팅.