Gửi phần mềm
  1. Nhà
  2. Windows
  3. Khác
  4. Dolphin Project
  5. Download

Dolphin Project 0.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.5/5 - ‎2 ‎Phiếu

Về Dolphin Project

Dự án Dolphin được dự định là một dự án nghiên cứu tập hợp các công cụ liên quan đến các công cụ và công cụ giải quyết thỏa đáng mã nguồn mở và các công cụ liên quan đến chúng như Bounded Model Checkers và Software Verifiers.

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

  • Object Kernel and RunTime Library Miễn phí

    Đây là một thư viện giáo dục nhỏ: smalltalk như các đối tượng, cấp phát bộ nhớ nhanh chóng, marshall mạng / unmarshall, mô-đun năng động, gỡ lỗi, nhanh chóng và bẩn hai chiều liên kết giữa các đối tượng của chúng tôi và mozil

  • College StatsPac Calculator Miễn phí

    Mong đợi nhiều hơn đồ thị! - Hoàn tiền đầy đủ, 24 giờ nếu không hài lòng với App!^_^!-Thống kê toàn diện--với gói vẽ đồ thị hoàn chỉnh-StatsPac cung cấp:8 Hàm Xác suất Rời rạc,7 Hàm Xác suất Liên tục,Khoảng tin cậ

  • TOEIC () 600 Miễn phí

    Logitalk (Nghe) - (TOEIC) 600.(Nghe này) . .' TOEIC () 600 ' 600 ..Kịch bản.Logitalk ? , , .

  • UniquePrimer Miễn phí

    Một kịch bản dòng lệnh python đơn giản cho thiết kế hàng loạt các mồi PCR độc đáo. Mồi được thiết kế bằng cách sử dụng Primer3 và nổ tung chống lại một cơ sở dữ liệu tùy chỉnh (ví dụ như một bộ gen). Chỉ có mồi duy nhất với

  • A Prosperous Way Down Dùng thử miễn phí

    A Prosperous Way Down, xuất bản bởi University Press of ColoradoMua ebook drm miễn phí này ngay hôm nay! Được cung cấp bởi Aldiko.A Prosperous Way Down xem xét cách thức mà trong đó một tương lai với nhiên liệu hóa thạ

  • DICOM Confidential Miễn phí

    Dự án DICOM Confidential phát triển một bộ công cụ hủy nhận dạng DICOM (Digital Imaging and Communications in Medicine) mã nguồn mở cung cấp sự linh hoạt cần thiết để tính đến các yêu cầu hủy nhận dạng khác nhau.

  • MPVS Miễn phí

    Công cụ thực hành để giúp sinh viên hiểu sâu sắc phương pháp lập trình cổ điển dựa trên thông số kỹ thuật, bất biến vòng lặp và phân hủy thành các vấn đề phụ.

  • DuMP3 - duplicate & similar file finder Miễn phí

    DuMP3 là một công cụ tìm tệp trùng lặp và tương tự. Nó tìm thấy những chương trình trùng lặp chính xác bằng băm, các tệp văn bản tương tự theo nội dung chuỗi con, hình ảnh (JPG, BMP, GIF, PNG, v.v.) theo tệp màu và âm thanh (

  • AU FLUKA Tools Miễn phí

    Cung cấp các công cụ phụ trợ cho mã vận chuyển hạt Monte Carlo FLUKA (www.fluka.org).

  • STAS Software Miễn phí

    STASS là viết tắt của Phần mềm xử lý, phân tích và tổng hợp âm thanh. Nó sẽ cung cấp ingeneers và người tìm kiếm dễ sử dụng cũng như các công cụ performant để phân tích âm thanh (quang phổ, sona và như vậy), điều trị (bộ lọc,