Hantar Perisian
  1. Rumah
  2. Windows
  3. Lain
  4. Dolphin Project

Dolphin Project 0.1.1

Lesen: Percuma ‎Saiz fail: N/A
‎Penarafan Pengguna: 3.5/5 - ‎2 ‎Undi
Muat turun

Projek Dolphin bertujuan untuk menjadi projek penyelidikan agregating alat yang berkaitan dengan Alat dan alat Pemeligar Kebolehpuasan Sumber Terbuka dan alat yang berkaitan dengan mereka seperti Pemeriksa Model Terikat dan Verifiers Perisian.

sejarah versi

  • Versi Dolphin%20SAT%200.1.1 diposkan pada 2008-03-02
    Beberapa pembaikan dan pengemaskinian
  • Versi Dolphin SAT 0.1.1 diposkan pada 2008-03-02

Butiran Atur Cara

Atur Cara Berkaitan

  • Object Kernel and RunTime Library Percuma

    Ini adalah perpustakaan pendidikan kecil : kecil seperti objek, peruntukan memori cepat, marshall rangkaian / unmarshall, modul dinamik, nyahpepijat, hubungan dua hala cepat dan kotor antara objek kami dan mozilla javascript

  • College StatsPac Calculator Percuma

    Mengharapkan Lebih daripada Grafing! - Bayaran balik penuh, 24 jam jika tidak berpuas hati dengan App!^_^!-Statistik Komprehensif--dengan pakej Grafing Lengkap-StatsPac menawarkan:8 Fungsi Kebarangkalian Diskriminasi,

  • TOEIC () 600 Percuma

    Logitalk (Mendengar) - (TOEIC) 600.(Mendengar) . .' TOEIC () 600 ' 600 ..Skrip.Logitalk? , , .

  • UniquePrimer Percuma

    Skrip baris arahan python mudah untuk reka bentuk kelompok primer PCR yang unik. Primer direka menggunakan Primer3 dan diletupkan terhadap pangkalan data tersuai (contohnya genom). Hanya primer unik dengan satu perlawanan d

  • A Prosperous Way Down Percubaan Percuma

    A Prosperous Way Down, diterbitkan oleh University Press of ColoradoBeli ebook bebas DRM ini hari ini! Dikuasakan oleh Aldiko.Cara Down yang makmur menganggap cara-cara di mana masa depan dengan bahan api fosil yang ku

  • DICOM Confidential Percuma

    PROJEK Sulit DICOM membangunkan sumber terbuka DICOM (Pengimejan Digital dan Komunikasi dalam Perubatan) alat de-pengenalpastian yang memberikan fleksibiliti yang diperlukan untuk mengambil kira keperluan de-pengenalan yang b

  • MPVS Percuma

    Alat praktikal untuk membantu pelajar memahami metodologi pengaturcaraan klasik berdasarkan spesifikasi, invariant gelung, dan penguraian ke dalam subproblems.

  • DuMP3 - duplicate & similar file finder Percuma

    DuMP3 adalah peninju fail pendua dan serupa. Ia mendapati binari pendua yang tepat dengan hash, fail teks yang serupa dengan kandungan substring, imej (JPG, BMP, GIF, PNG, dll) oleh fail warna dan audio (MP3, WAV, OGG, dll) o

  • AU FLUKA Tools Percuma

    Menyediakan alat tambahan untuk kod pengangkutan zarah Monte Carlo FLUKA (www.fluka.org).

  • STAS Software Percuma

    STASS bermaksud Rawatan Bunyi, Analisis dan Perisian Sintesis. Ia akan menyediakan pemangku dan pencari alatan yang mudah digunakan serta alat persembahan untuk analisis bunyi (spectro, sona dan sebagainya), rawatan (penapis,