BR-BMC
Bạn sẽ có thể tải xuống trong 5 giây.
Bạn cũng có thể nhấp vào Liên kết tải xuống bên ngoài sau để bắt đầu tải xuống:
http://br-bmc.svn.sourceforge.net/
Về BR-BMC
Thực hiện thuật toán Sửa đổi Niềm tin bằng cách sử dụng kiểm tra mô hình giới hạn cho ACTL
Các chương trình liên quan
-
The Image Collector Miễn phí
Bộ thu hình ảnh (được gọi là TIC) là một ứng dụng được thiết kế để cho phép xem nhanh, phân loại và tải xuống hình ảnh từ một loạt các dịch vụ web.TIC cho phép bạn chọn dịch vụ web mà bạn muốn tải xuống, tìm nạp các hình ả
-
Contents Spider Jeanie 2009 Multi Dùng thử miễn phí
Tạo thư mục và công cụ tìm kiếm của riêng bạn, quản lý và chạy công cụ tìm kiếm công suất cao của riêng bạn. Mẫu: images.askpeter.info - jobs.askpeter.info - www.askpeter.info
-
OpenACAP Miễn phí
Các mục tiêu dự án OpenACAP bao gồm một máy chủ tuân thủ đầy đủ RFC 2244 (Giao thức truy cập cấu hình ứng dụng), thư viện khách hàng, bộ dữ liệu, tài liệu và dịch vụ lưu trữ trực tiếp.
-
solexaqa Miễn phí
SolexaQA là một gói phần mềm để tính toán số liệu thống kê chất lượng và đại diện trực quan về chất lượng dữ liệu từ các tệp dữ liệu FASTQ được tạo ra bởi công nghệ trình tự thế hệ thứ hai Illumina (&Solexa").
-
Trout's Internet Clock Dùng thử miễn phí
TIC là một đồng hồ máy tính để bàn, lập lịch trình và Đồng bộ hóa thời gian tất cả-trong-một.Cá nhân hóa và làm sống động màn hình nền của bạn, quản lýthời gian của bạn và đồng bộ hóa đồng hồ hệ thống của bạn.Thiết kế
-
Direct Democracy Miễn phí
Dân chủ trực tiếp là một nỗ lực để phát triển một cơ sở hạ tầng dựa trên web để cung cấp sự đóng góp dân chủ trực tiếp của các thành viên đa dạng và bị ngắt kết nối.
-
scalix-configurator Miễn phí
Kịch bản để cấu hình phiên bản cộng đồng scalix-11.4.6. Hiện tại SLES10 được hỗ trợ. Nó cài đặt các phụ thuộc nền tảng, thực hiện cài đặt scalix, clamav, spamassassin, SSL, Pops, smtps và imaps và bản dịch tiếng Tây Ban Nha c
-
AllInOnePortlet Miễn phí
Tất cả người dùng có thể mất sự giúp đỡ từ portlet này cho bất kỳ chức năng cơ bản cần thiết cho portlet phát triển. Đối với những điều cơ bản làm thế nào để sử dụng các hình thức, hành động, thư viện javascript vv Chủ yếu là
-
Dofus Calculator 5 Miễn phí
Dofus 2.0 Calculator for Spells and Weapons damages, now with Critical Hit Calculator Drop Rate and Character Stats Calculator
-
Y - simple, fast, free - What else? Miễn phí
Y là một hệ điều hành dựa trên C, C ++ và Assembler.It trong tương lai một giao diện, một hệ thống tập tin và nhiều hơn nữa.