Enviar software
  1. Casa
  2. Windows
  3. Otro
  4. Dolphin Project
  5. Download

Dolphin Project 0.1.1

Licencia: Gratis ‎Tamaño del archivo: N/A
‎Calificación de usuarios: 3.5/5 - ‎2 ‎Votos

acerca de Dolphin Project

El Proyecto Dolphin pretende ser un proyecto de investigación que agrega herramientas relacionadas con las herramientas y herramientas de Resolución de Satisfacción de Código Abierto relacionadas con ellas como Damas de Modelo Limitado y Verificadores de Software.

Programas relacionados

  • Object Kernel and RunTime Library Gratis

    Esta es una pequeña biblioteca educativa : smalltalk como objetos, asignador de memoria rápida, red marshall / unmarshall, módulo dinámico, depuración, enlace bidireccional rápido y sucio entre nuestros objetos y mozilla java

  • College StatsPac Calculator Gratis

    ¡Espere más que gráficos! - Reembolso completo, 24 horas si no satisfecho con App!^_^!-Estadísticas completas--con paquete completo de gráficos-StatsPac ofrece:8 Funciones de probabilidad discretas,7 Funciones de pr

  • TOEIC () 600 Gratis

    Logitalk (Escucha) - (TOEIC) 600.(Escuchar) . .' TOEIC () 600 ' 600 ..Guión.Logitalk ? , , .

  • UniquePrimer Gratis

    Un script de línea de comandos python simple para el diseño por lotes de imprimaciones PCR únicas. Los imprimadores están diseñados con Primer3 y se lanzan contra una base de datos personalizada (por ejemplo, un genoma). So

  • A Prosperous Way Down Prueba gratuita

    A Prosperous Way Down, publicado por University Press of Colorado¡Compra este ebook sin DRM hoy mismo! Desarrollado por Aldiko.Un Prosperous Way Down considera formas en que un futuro con menos combustible fósil podría

  • DICOM Confidential Gratis

    El proyecto DICOM Confidential desarrolla un kit de herramientas de desidentificación DICOM (Digital Imaging and Communications in Medicine) de código abierto que proporciona la flexibilidad necesaria para tener en cuenta los

  • MPVS Gratis

    Herramienta práctica para ayudar a los estudiantes a entender profundamente la metodología de programación clásica basada en especificaciones, invariantes de bucle y descomposición en subproblemas.

  • DuMP3 - duplicate & similar file finder Gratis

    DuMP3 es un buscador de archivos duplicado y similar. Encuentra binarios duplicados exactos por hash, archivos de texto similares por contenido de subcadena, imágenes (JPG, BMP, GIF, PNG, etc.) por archivos de color y audio (

  • AU FLUKA Tools Gratis

    Proporciona herramientas auxiliares para el código de transporte de partículas de Monte Carlo FLUKA (www.fluka.org).

  • STAS Software Gratis

    STASS significa Software de Tratamiento de Sonido, Análisis y Síntesis. Proporcionará ingeneers y buscadores fáciles de usar, así como herramientas de rendimiento para el análisis de sonido (espectro, sona y así sucesivamente