Proof Substitute for the Humdrum Toolkit
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/kern-proof/files/census0.3.1.jar/download
Tentang Proof Substitute for the Humdrum Toolkit
Perkadaran semula arahan bukti dari toolkit Humdrum di Jawa
Atur Cara Berkaitan
-
The Tab Completion Grade Book Percuma
Program Java untuk menguruskan buku gred guru. Menyokong gred wajaran, tugasan sewenang-wenangnya bersarap, pelbagai kursus, berbilang pelajar, pandangan setiap pelajar yang tidak mendedahkan maklumat sensitif tentang pelaja
-
BioSap Percuma
Pakej Pemecut Pemilihan Oligonucleotide Bersepadu BioSap-Letupan. BioSap memilih oligo unik untuk mikroarrays dengan mengesan parameter yang ditakrifkan pengguna dan menjalankan contoh selari Featurama dan Letupan pada enjin
-
EnotifWiki Percuma
EnotifWiki menambah pemberitahuan e-mel kepada enjin MediaWiki Wikipedia: apabila halaman ditukar atau dicipta, e-mel (&sebut harga;enotif&) dihantar secara automatik kepada pengguna menonton. Pautan pantas untuk perb
-
Gtk+/CLI IDP Interface Percuma
Projek ini menyediakan perisian untuk digunakan dengan kamus IDP di bawahLinux dan Unices lain. Projek ini tidak mengagihkan semula kamus, tetapimereka adalah 95% percuma, jadi anda boleh memuat turunnya dari http://www.j
-
MODELbuilder Percuma
MODELbuilder adalah aplikasi yang menyediakan cara grafik untuk mendapatkan pelbagai model dari data empirikal dan simulasi.
-
SPAS Percuma
SPAS (Struktur Perisian Analisis Harta) adalah perisian Perhubungan Struktur-Harta Tanah Kuantitatif (QSPR).
-
CHALICE Percuma
Menghubungkan Pihak Berkuasa Sejarah dengan Pautan, Konteks dan Entiti. CHALICE adalah pewarta nama letak bersejarah untuk UK, yang diterbitkan sebagai Data Berkaitan dan dikaitkan dengan sumber lain yang digunakan secara mel
-
Finite Element LibrarY eXperiment Percuma
FELYX adalah kod FE/FEM berorientasikan objek yang ditulis dalam C++. Ia menyediakan unsur-unsur yang paling biasa untuk analisis struktur, pengurangan jalur lebar, penyelesai latar langit yang cepat, beberapa penyelesai iter
-
Java Linear Algebra Library Percuma
JLAL adalah pakej algebra linear untuk jawa, menyediakan API yang mudah digunakan berorientasikan objek. Perpustakaan menyokong operasi aritmetik, penyongsangan, pelbagai penguraian matrix, penyelesaian persamaan linear dan b
-
EZMWeb Percuma
EZMWeb adalah integrasi bioinformasi berasaskan web sumber terbuka dan sistem carian. Pengguna boleh mencari maklumat enzim bersepadu. Ia melaksanakan analisis korelasi antara enzim yang berbeza, memberikan hasil yang diliha