Soumettre un logiciel
  1. Accueil
  2. Windows
  3. Autres
  4. Proof Substitute for the Humdrum Toolkit

Proof Substitute for the Humdrum Toolkit

Licence: Gratuit ‎Taille du fichier: N/A
‎Note des utilisateurs: 5.0/5 - ‎1 ‎Votes
Télécharger

Réimplémentation de la commande de preuve de la boîte à outils Humdrum en Java

historique de la version

  • Version files posté sur 2011-02-05
    Plusieurs correctifs et mises à jour
  • Version N/A posté sur 2011-02-05

Détails du programme

Programmes connexes

  • The Tab Completion Grade Book Gratuit

    Un programme Java pour la gestion des livres de notes des enseignants. Prend en charge les notes pondérées, les affectations arbitrairement imbriquées, les cours multiples, les étudiants multiples, une vue par élève qui ne r

  • BioSap Gratuit

    Ensemble intégré d’accélérateurs de sélection oligonucléotide BioSap-Blast. BioSap sélectionne des oligos uniques pour les microarrays en détectant les paramètres définis par l’utilisateur et en exécutant des instances parall

  • EnotifWiki Gratuit

    EnotifWiki ajoute une notification par e-mail au moteur MediaWiki de Wikipedia : lorsque les pages sont modifiées ou créées, un e-mail ("enotif") est automatiquement envoyé aux utilisateurs qui regardent. Liens rapi

  • Gtk+/CLI IDP Interface Gratuit

    Ce projet fournit des logiciels à utiliser avec des dictionnaires iDP sousLinux et d’autres Unices. Ce projet ne redistribue pas les dictionnaires, maisils sont 95% gratuit, de sorte que vous pouvez les télécharger à part

  • MODELbuilder Gratuit

    MODELbuilder est une application qui fournit un moyen graphique de dériver différents modèles à partir de données empiriques et de simulation.

  • SPAS Gratuit

    SPAS (Structure Property Analysis Software) est un logiciel de relation structure-propriété quantitative (QSPR).

  • CHALICE Gratuit

    Relier les autorités historiques aux liens, contextes et entités. CHALICE est un gazetteer historique pour le Royaume-Uni, publié sous le nom de Linked Data et lié à d’autres sources largement utilisées d’informations de réfé

  • Finite Element LibrarY eXperiment Gratuit

    FELYX est un code FE/FEM orienté objet écrit en C++. Il fournit les éléments les plus communs pour l’analyse structurale, la réduction de bande passante, un solveur rapide d’horizon, quelques solveurs itératifs et une interfa

  • Java Linear Algebra Library Gratuit

    JLAL est un paquet d’algèbre linéaire pour java, fournissant une API facile à utiliser orientée objet. La bibliothèque prend en charge les opérations arithmétiques, l’inversion, diverses décompositions matricielles, la soluti

  • EZMWeb Gratuit

    EZMWeb est un système d’intégration et de recherche de bioinformation open source basé sur le Web. Les utilisateurs peuvent rechercher l’information intégrée sur les enzymes. Il met en œuvre l’analyse de la corrélation entre