Translations by IvaSerge

IvaSerge has submitted the following strings to this translation. Contributions are visually coded: currently used translations, unreviewed suggestions, rejected suggestions.

112 of 12 results
228.
This file contains certification records for the various precompiled libraries supplied in the ACL2-books package. ACL2 essentially requires that all included books be certified before use.
2010-02-25
Файл содержит записи сертификатов для различных скомпилированных библиотек входящих в состав пакета ACL2-books. Перед использованием в ACL2 все вложенные книги должны быть сертифицированы.
296.
HTML generator for Ada 95 library unit specifications
2010-02-25
HTML генератор для комплекта библиотек Ada 95
297.
AdaBrowse is a javadoc-like HTML generator for Ada 95 library unit specifications. It can also generate XML output; a DTD is included in the distribution.
2010-02-25
AdaBrowse это похожий на javadoc HTML генератор для комплекта библиотек Ada 95. Также возможна генериация в XML; DTD включён в состав дистрибутива.
389.
Synthesised pipe organ emulator
2010-02-25
Эмулятор синтезатора-органа
390.
Aeolus is a synthesised (i.e. not sampled) pipe organ emulator that should be good enough to make an organist enjoy playing it. It is a software synthesiser optimised for this job, with possibly hundreds of controls for each stop, that enable the user to "voice" his instrument.
2010-02-25
Aeolus - это эмулятор органа который синтезирует звук (не использует семплы). Звук вполне хорош, чтоб понравится музыканту. Синтезатор прекрасно справляется со своими функциями. В нём существуют сотни настроек для каждого клапана, позволяющие "вызвучить" инструмент.
391.
Main features of the default instrument: three manuals and one pedal, five different temperaments, variable tuning, MIDI control of course, stereo, surround or Ambisonics output, flexible audio controls including a large church reverb.
2010-02-25
Основные особенности инструмента оп умолчанию: три клавиатуры и одна педаль, пять темпераций, изменяемый музыкальный строй, MIDI управление, конечно, стерео и гибкое управление звуком, включая реверберацию в большой церкви.
405.
medical image viewer and DICOM network client
2010-02-25
Программа просмотра медицинских изображений и сетевой клиент DICOM
406.
Aeskulap is able to load a series of special images stored in the DICOM format for review. Additionally it is able to query and fetch DICOM images from archive nodes (also called PACS) over the network. Aeskulap tries to achieve a full open source replacement for commercially available DICOM viewers.
2010-02-25
Aeskulap может загружать для просмотра изображения, хранящихся в DICOM формате. Она также может обращаться и извлекать DICOM изображения из сетевых архивов, называемых PACS. Aeskulap стремиться стать полноценным бесплатным аналогом коммерческих программ просмотра DICOM.
419.
ASCII-art Editor Without A Name
2010-02-25
Безимянный ASCII художественный редактор
420.
aewan is an ASCII art editor with support for multiple layers that can be edited individually, colors, rectangular copy and paste, and intelligent horizontal and vertical flipping (converts '\' to '/', etc). It produces both stand-alone art files and an easy-to-parse format for integration into your terminal applications.
2010-02-25
aewan - это редактор ASCII текстовых изображений с поддержкой нескольких независимо редактируемых слоёв, с поддержкой цветов, прямоугольного копирования и вставки и умного горизонтального и вертикального отзеркаливания (заменяет '\' на '/', и т.п.). Программа поддерживает как и собственный формат файлов так и форматы для работы с внешними приложениями.
453.
audio AC3 encoder
2010-02-25
Аудио AC3 кодировщик
462.
This package provides a command-line program for type-checking and compiling Agda programs. The program can also generate hyperlinked, highlighted HTML files from Agda sources.
2010-02-25
В этот пакет включены консольные программы для проверки и компиляции Agda программ. Программа также может генерировать гиперссылки и HTML файлы из исходных кодов Agda.