Отправить программное обеспечение
  1. Дома
  2. Windows
  3. Других
  4. Proof Substitute for the Humdrum Toolkit

Proof Substitute for the Humdrum Toolkit

Лицензии: Бесплатный ‎Размер файла: N/A
‎Рейтинг пользователей: 5.0/5 - ‎1 ‎Голосов
Скачать

Повторное использование команды доказательства из инструментария Humdrum на Java

история версии

  • Версия files размещено на 2011-02-05
    Несколько исправлений и обновлений
  • Версия N/A размещено на 2011-02-05

Подробная информация о программе

Похожие программы

  • The Tab Completion Grade Book Бесплатный

    Программа Java для управления учебниками учителей. Поддерживает взвешенные оценки, произвольно вложенные задания, несколько курсов, несколько студентов, представление на одного студента, которое не показывает никакой конфиде

  • BioSap Бесплатный

    BioSap-Blast Интегрированный пакет ускорителя выбора олигонуклеотида. BioSap выбирает уникальные олиго для микроаррей, обнаруживая пользовательские параметры и запуская параллельные экземпляры Featurama и Blast на вычислитель

  • EnotifWiki Бесплатный

    EnotifWiki добавляет уведомление по электронной почте в движок Википедии MediaWiki: когда страницы изменены или созданы, электронное письмо (квота;энотиф)quot;) автоматически отправляется для просмотра пользователей. Быстрые

  • Gtk+/CLI IDP Interface Бесплатный

    Этот проект предоставляет программное обеспечение для использования со словарями ВПЛ вLinux и другие Unices. Этот проект не перераспределяет словари, ноони на 95% бесплатны, так что вы можете скачать их из http://www.june

  • MODELbuilder Бесплатный

    MODELbuilder это приложение, которое обеспечивает графический способ получения различных моделей из эмпирических и симуляционных данных.

  • SPAS Бесплатный

    SPAS (Программное обеспечение для анализа структурного имущества) — программное обеспечение для количественных отношений между структурой и недвижимостью.

  • CHALICE Бесплатный

    Соединение исторических властей со ссылками, контекстами и образованиями. CHALICE является историческим газетником с названием места для Великобритании, опубликованным как Связанные данные и связанным с другими широко использ

  • Finite Element LibrarY eXperiment Бесплатный

    FELYX - это объектно-ориентированный код FE/FEM, написанный на C. Он обеспечивает наиболее распространенные элементы для структурного анализа, снижение пропускной способности, быстрый решения горизонта, некоторые итеративные

  • Java Linear Algebra Library Бесплатный

    JLAL — это линейный пакет алгебры для Java, обеспечивающий простоту в использовании объектно-ориентированный API. Библиотека поддерживает арифметические операции, инверсию, различные матричные разложения, решение линейных ура

  • EZMWeb Бесплатный

    «ЭЗМВеб» — это система интеграции и поиска биоинформации с открытым исходным кодом. Пользователи могут искать интегрированную информацию о ферменте. Он реализует анализ корреляции между различными ферментами, дает свои визуа