Prześlij oprogramowanie
  1. W: strona główna
  2. Windows
  3. Innych
  4. Dolphin Project
  5. Download

Dolphin Project 0.1.1

Licencji: Wolna ‎Rozmiar pliku: N/A
‎Ocena użytkowników: 3.5/5 - ‎2 ‎Głosów

O Dolphin Project

Projekt Dolphin ma być projektem badawczym agregującym narzędzia związane z narzędziami i narzędziami związanymi z rozwiązaniam Open Source, takimi jak bounded Model Checkers i Software Verifiers.

Programy pokrewne

  • Object Kernel and RunTime Library Wolna

    Jest to mała biblioteka edukacyjna: smalltalk jak obiekty, szybki przydział pamięci, marshall sieci / unmarshall, dynamiczny moduł, debugowanie, szybkie i brudne dwukierunkowe połączenie między naszymi obiektami i mozilla jav

  • College StatsPac Calculator Wolna

    Spodziewaj się więcej niż wykresów! - Pełny zwrot, 24 godziny, jeśli nie jest zadowolony z App!^_^!-Kompleksowe statystyki--z kompletnym pakietemgraficz-StatsPac oferuje:8 Dyskretne funkcje prawdopodobieństwa,7 Funk

  • TOEIC () 600 Wolna

    Logitalk (Słuchanie) - (TOEIC) 600.(Słuchanie) . .' TOEIC () 600 ' 600 ..Skrypt.Logitalk ? , , .

  • UniquePrimer Wolna

    Prosty skrypt wiersza polecenia python do projektowania wsadowego unikalnych podkładów PCR. Podkłady są zaprojektowane przy użyciu Primer3 i wydmuchiwały z niestandardowej bazy danych (np. genomu). Zwracane są tylko unikaln

  • A Prosperous Way Down Bezpłatna wersja próbna

    Prosperous Way Down, opublikowane przez University Press of ColoradoKup ten ebook bez DRM już dziś! Zasilany przez Aldiko.Prosperous Way Down rozważa sposoby, w których przyszłość z mniej paliw kopalnych może być pokoj

  • DICOM Confidential Wolna

    Dicom Confidential projekt rozwija open source DICOM (Digital Imaging and Communications in Medicine) de-identyfikacji zestaw narzędzi, które zapewnia niezbędną elastyczność, aby uwzględnić różne wymagania de-identyfikacji.

  • MPVS Wolna

    Praktyczne narzędzie, które pomaga uczniom dogłębnie zrozumieć klasyczną metodologię programowania opartą na specyfikacjach, invariants pętli i rozkładu w podproblemach.

  • DuMP3 - duplicate & similar file finder Wolna

    DuMP3 jest duplikatem i podobnym wyszukiwarką plików. Znajduje dokładne zduplikowane pliki binarne według skrótu, podobne pliki tekstowe według zawartości podciągów, obrazy (JPG, BMP, GIF, PNG itp.) według plików kolorowych i

  • AU FLUKA Tools Wolna

    Zawiera narzędzia pomocnicze do kodu transportu cząstek Monte Carlo FLUKA (www.fluka.org).

  • STAS Software Wolna

    STASS to skrót od Sound Treatment, Analysis and Synthesis Software . Zapewni ingeneers i poszukiwaczy łatwy w użyciu, jak również narzędzia do wykonywania analizy dźwięku (spektro, sona i tak dalej), leczenie (filtry, noise-g