Gửi phần mềm
  1. Nhà
  2. Linux
  3. Khác
  4. Interactive BDD Environment

Interactive BDD Environment 1.1

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

IBEN là môi trường BDD tương tác. Nó cho phép bạn khai báo, thao tác và hình dung giảm sơ đồ quyết định nhị phân theo thứ tự (ROBDDs). Nó được thiết kế như một công cụ học tập, mặc dù nó rất hữu ích bất cứ khi nào bạn cần phải thao tác BDD tương tác và

lịch sử phiên bản

  • Phiên bản 1.1 đăng trên 2003-03-25
    Một số bản sửa lỗi và cập nhật
  • Phiên bản 1.1 đăng trên 2003-03-25

Chi tiết chương trình

Các chương trình liên quan

  • OnlineExam Miễn phí

    Một hệ thống kiểm tra trực tuyến dựa trên Web. Học sinh có thể đăng nhập để làm bài kiểm tra và quản trị viên có thể đăng nhập để thiết lập kỳ thi. Toàn bộ hệ thống được phát triển trong java và làm cho việc sử dụng các thanh

  • VKS Miễn phí

    VKS (Vikar Korps System) là một fullblown, cũng thử nghiệm web-ứng dụng để quản lý temporaries, khách hàng và gọi-magement tại một cơ quan tạm thời.

  • Disease Gene Profiler Miễn phí

    Disease Gene Profiler (DGP) bao gồm một tập hợp các công cụ (tin sinh học) có thể được sử dụng để xác định các gen tiềm ẩn tính nhạy cảm với các bệnh đa yếu tố phổ biến (như tiểu đường, hen suyễn và ung thư) bằng cách sử dụng

  • Address to Congress Feb 2009 Dùng thử miễn phí

    Các văn bản của Tổng thống Obama's Address to Congress ngày 24 tháng 2 năm 2009. Một thời gian lịch sử.Chúng tôi cũng xuất bản của Tổng thống Obama * Khánh thành Địa chỉ Hoa Kỳ 2009 * và một bài phát biểu về thăm dò không

  • Kid App: Learn 1,000 Words Miễn phí

    Học 1.000 từ tiếng Anh - Kid Apps: Tất cả trong 1Được bạn đang tìm kiếm các ứng dụng hoàn hảo để dạy cho mình tiếng Anh? Bạn sẽ học đọc và viết bằng tiếng Anh. Không nhìn xa hơn, bởi vì Kid Apps: Tất cả trong 1 mang lại cho c

  • sMArTH Miễn phí

    sMArTH là trình soạn thảo phương trình hỗ trợ SVG và ECMAScript cho MathML và LaTeX

  • MGTAXA Miễn phí

    Mã nguồn và sự phát triển của dự án này đã được chuyển đến GitHub vào http://github.com/andreyto/mgtaxa

  • LexiTools Reminder Miễn phí

    Chương trình dành cho người nói tiếng Ba Lan. Hỗ trợ trong việc học từ tiếng Anh. Một phần của Dự án LexiTools. Chương trình dla uytkownikw polsko-jzycznych. Wspomaga uczenie si sw jzyka angielskiego. Cz projektu LexiTools.

  • ChesROMS Miễn phí

    ChesROMS đang phát triển một mô hình ROMS của Vịnh Chesapeake để giúp đỡ trong việc dự đoán có hại Tảo Blooms. Chúng tôi hy vọng sẽ xúc tác một phương pháp mô hình cộng đồng mới với sự tham gia vượt ra ngoài các nhà nghiên cứ

  • HuRef Genome Browser Miễn phí

    Trình duyệt bộ gen HuRef là một tài nguyên Web để điều hướng bộ gen cá nhân của con người, được gọi là HuRef, được xuất bản trong PLoS Biology. Trình duyệt là một khuôn khổ thống nhất của chú thích, lắp ráp và các công cụ syn