Proof Substitute for the Humdrum Toolkit

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

• 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 Бесплатный

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