Proof Substitute for the Humdrum Toolkit
Anda dapat mengunduh dalam 5 detik.
Anda juga bisa mengklik Tautan Unduhan Eksternal berikut ini untuk mulai mengunduh:
http://sourceforge.net/projects/kern-proof/files/census0.3.1.jar/download
Tentang Proof Substitute for the Humdrum Toolkit
Penggantian perintah bukti dari toolkit Humdrum di Jawa
Program Terkait
-
The Tab Completion Grade Book Gratis
Program Java untuk mengelola buku kelas guru. Mendukung nilai tertimbang, tugas yang ditumpuk secara sewenang-wenang, beberapa kursus, beberapa siswa, tampilan per siswa yang mengungkapkan tidak ada informasi sensitif tentan
-
BioSap Gratis
Paket Akselerator Pilihan Oligonucleotide Terintegrasi Biosap-Blast. BioSap memilih oligo unik untuk microarray dengan mendeteksi parameter yang ditentukan pengguna dan menjalankan instance paralel Featurama dan Blast pada me
-
EnotifWiki Gratis
EnotifWiki menambahkan pemberitahuan email ke mesin MediaWiki Wikipedia: ketika halaman diubah atau dibuat, email ("enotif") secara otomatis dikirim ke pengguna yang menonton. Link cepat ke tampilan perbedaan, ke ve
-
Gtk+/CLI IDP Interface Gratis
Proyek ini menyediakan perangkat lunak untuk digunakan dengan kamus IDP di bawahLinux dan Unices lainnya. Proyek ini tidak mendistribusikan ulang kamus, tetapimereka 95% gratis, sehingga Anda dapat mengunduhnya dari http:
-
MODELbuilder Gratis
MODELbuilder adalah aplikasi yang menyediakan cara grafis untuk mendapatkan berbagai model dari data empiris dan simulasi.
-
SPAS Gratis
SPAS (Structure Property Analysis Software) adalah perangkat lunak Quantitative Structure-Property Relationship (QSPR).
-
CHALICE Gratis
Menghubungkan Otoritas Sejarah dengan Tautan, Konteks, dan Entitas. CHALICE adalah gazetteer nama tempat bersejarah untuk Inggris, diterbitkan sebagai Data Tertaut dan terkait dengan sumber informasi referensi nama tempat lai
-
Finite Element LibrarY eXperiment Gratis
FELYX adalah kode FE/FEM berorientasi objek yang ditulis dalam C++. Ini menyediakan elemen yang paling umum untuk analisis struktural, pengurangan bandwidth, pemecah cakrawala yang cepat, beberapa pemecah iteratif dan antarmu
-
Java Linear Algebra Library Gratis
JLAL adalah paket aljabar linear untuk java, menyediakan API berorientasi objek yang mudah digunakan. Perpustakaan mendukung operasi aritmatika, inversi, berbagai dekomposisi matriks, solusi persamaan linear, dan banyak lagi.
-
EZMWeb Gratis
EZMWeb adalah sistem integrasi dan pencarian bioinformasi berbasis web sumber terbuka. Pengguna dapat mencari informasi enzim terintegrasi. Ini mengimplementasikan analisis korelasi antara enzim yang berbeda, memberikan hasi