Proof Substitute for the Humdrum Toolkit
5 saniye içinde indirebilirsiniz.
İndirmeye başlamak için aşağıdaki Harici İndirme Linkine de tıklayabilirsiniz:
http://sourceforge.net/projects/kern-proof/files/census0.3.1.jar/download
Hakkı -nda Proof Substitute for the Humdrum Toolkit
Java'daki Humdrum araç setinden kanıt komutunun yeniden uygulanması
İlgili Programlar
-
The Tab Completion Grade Book Ücret -siz
Öğretmenlerin sınıf kitaplarını yönetmek için bir Java programı. Ağırlıklı notları, rasgele iç içe geçen ödevleri, birden çok dersi, birden çok öğrenciyi, diğer öğrenciler hakkında hassas bilgi olmayan öğrenci başına görünüm
-
BioSap Ücret -siz
BioSap-Blast Entegre Oligonükleotid Seçim Hızlandırıcı Paketi. BioSap, kullanıcı tanımlı parametreleri algılayarak ve bilgi işlem motorlarında Featurama ve Blast'ın paralel örneklerini çalıştırarak ve xml çıkış dosyaları üret
-
EnotifWiki Ücret -siz
EnotifWiki, Wikipedia'nın MediaWiki motoruna e-posta bildirimi ekler: sayfalar değiştirildiğinde veya oluşturulduğunda, bir e-posta ("enotif") otomatik olarak izleyen kullanıcılara gönderilir. Fark görünümlerine, en
-
Gtk+/CLI IDP Interface Ücret -siz
Bu proje, IDP sözlükleri ile kullanılacak yazılımlarLinux ve diğer Unices. Bu proje sözlükleri yeniden dağıtmaz, ancakonlar% 95 ücretsizdir, bu yüzden http://www.june29.com/IDP/ indirebilirsiniz
-
MODELbuilder Ücret -siz
MODELbuilder ampirik ve simülasyon verileri çeşitli modeller elde etmek için grafiksel bir yol sağlayan bir uygulamadır.
-
SPAS Ücret -siz
SPAS (Yapı Özellik Analizi Yazılımı) Nicel Yapı-Mülkiyet İlişkisi (QSPR) yazılımıdır.
-
CHALICE Ücret -siz
Geçmiş Otoriteleri Bağlantılarla, Bağlamlarla ve Varlıklarla Bağlamak. CHALICE, Birleşik Krallık için Bağlantılı Veri olarak yayınlanan ve anlamsal web'deki diğer yaygın olarak kullanılan yer adı referans bilgilerikaynakların
-
Finite Element LibrarY eXperiment Ücret -siz
FELYX C++'da yazılmış nesne yönelimli fe/FEM kodudur. Bu yapısal analiz, bant genişliği azaltma, hızlı bir ufuk çizgisi çözücü, bazı yinelemeli çözücüler ve ticari FEA paketi ANSYS bir arayüz için en yaygın unsurları sağlar.
-
Java Linear Algebra Library Ücret -siz
JLAL java için doğrusal bir cebir paketidir, nesne yönelimli API kullanımı kolay sağlar. Kitaplık aritmetik işlemleri, ters çevirmeyi, çeşitli matris ayrıştırmalarını, doğrusal denklemlerin çözümlerini ve daha fazlasını deste
-
EZMWeb Ücret -siz
EZMWeb açık kaynak kodlu web tabanlı biyobilgi entegrasyonu ve arama sistemidir. Kullanıcılar entegre enzim bilgilerini arayabilir. Farklı enzimler arasındaki korelasyon analizini uygular, java applet ile görselleştirilmiş s