Gửi phần mềm
  1. Nhà
  2. Linux
  3. Khác
  4. BR-BMC

BR-BMC

Giấy phép: Miễn phí ‎Kích cỡ tệp: N/A
‎Xếp hạng người dùng: 4.5/5 - ‎2 ‎Phiếu
Tải về

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

lịch sử phiên bản

  • Phiên bản N/A đăng trên 2011-07-24
    Một số bản sửa lỗi và cập nhật
  • Phiên bản N/A đăng trên 2011-07-24

Chi tiết chương trình

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.