Interactive BDD Environment 1.1
Anda boleh memuat turun dalam masa 5 saat.
Anda juga boleh klik pada Pautan Muat Turun Luaran berikut untuk memulakan muat turun:
http://sourceforge.net/projects/iben/files/iben/1.1/iben-1.1.tar.gz/download
Tentang Interactive BDD Environment
IBEN adalah persekitaran BDD interaktif. Ia membolehkan anda mengisytiharkan, memanipulasi dan memanipulasi gambar rajah keputusan binari yang dikurangkan (ROBDD). Ia direka sebagai alat pembelajaran, walaupun ia berguna apabila anda perlu memanipulasi BDD secara interaktif dan
Atur Cara Berkaitan
-
OnlineExam Percuma
Sistem peperiksaan dalam talian berasaskan Web. Pelajar boleh log masuk untuk mengambil peperiksaan dan pentadbir boleh log masuk untuk menetapkan peperiksaan. Keseluruhan sistem dibangunkan dalam jawa dan menggunakan struts.
-
VKS Percuma
VKS (Vikar Korps System) adalah aplikasi web yang lengkap dan diuji dengan baik untuk mentadbir sementara, pelanggan dan panggilan-magement di agensi temp.
-
Disease Gene Profiler Percuma
Profiler Gen Penyakit (DGP) terdiri daripada satu set alat (bioinformatik) yang boleh digunakan untuk mengenal pasti gen yang mendasari kerangka kepada penyakit multifactorial biasa (seperti kencing manis, asma dan kanser) me
-
Address to Congress Feb 2009 Percubaan Percuma
Teks Alamat Presiden Obama kepada Kongres pada 24 Feb, 2009. Masa sejarah.Kami juga menerbitkan *Alamat Sulung Presiden Obama USA 2009* dan ucapan mengenai penerokaan angkasa pada tahun 2010.Aplikasi ini direka untuk m
-
Kid App: Learn 1,000 Words Percuma
Belajar 1,000 Perkataan Bahasa Inggeris - Aplikasi Kanak-kanak: Semua dalam 1Are anda mencari permohonan yang sempurna untuk mengajar diri anda Bahasa Inggeris? Anda akan belajar membaca dan menulis dalam Bahasa Inggeris. Tid
-
sMArTH Percuma
sMArTH adalah penyunting persamaan berkuasa SVG dan ECMAScript untuk MathML dan LaTeX
-
MGTAXA Percuma
Kod sumber dan pembangunan projek ini telah dipindahkan ke GitHub di http://github.com/andreyto/mgtaxa
-
LexiTools Reminder Percuma
Program untuk orang yang berbahasa Poland. Sokongan dalam pembelajaran perkataan Bahasa Inggeris. Sebahagian daripada Projek LexiTools. Program dla uytkownikw polsko-jzycznych. Wspomaga uczenie si sw jzyka angielskiego. Cz pr
-
ChesROMS Percuma
ChesROMS sedang membangunkan model ROMS Teluk Chesapeake untuk membantu dalam ramalan Algal Blooms berbahaya. Kami berharap untuk memangkin kaedah baru pemodelan komuniti dengan penglibatan di luar penyelidik teras projek Che
-
HuRef Genome Browser Percuma
HuRef Genome Browser adalah sumber Web untuk navigasi genom manusia individu, bertempoh HuRef, yang diterbitkan dalam Biologi PLoS. Pelayar adalah rangka kerja bersepadu anotasi, pemasangan dan alat synteny. Ia dalam talian h