Вы здесь

Главная

Киев

Связанные издания:

Разработка и исследование оценочных базисов прикладного сложностного анализа вычислений над деревьями
Разработка и исследование принципов структурной организации систем формирования решений в сложных средах
Разработка и исследование систем пакетной телеобработки как составной части технологии обработки данных на ВЦКП
Разработка и исследование средств проектирования одного класса диалоговых систем
Разработка и реализация многоцелевых языков программирования для систем реального времени
Разработка математического обеспечения для планирования и упправления вычислительным процессом в АСУ
Разработка метода и системы комплексной отладки программного обеспечения АСУТП одного класса
Разработка метода и средств обеспечения межмодульного интерфейса в классе языков программирования высокого уровня
Разработка методов доказательства правильности программ для одного класса алгоритмов
Разработка методов и средств автоматизации построения кросс-систем математического обеспечения для СЦВМ
Разработка пакета прикладных программ автоматизированной системы управления экономикой и организацией технической подготовки производства в машиностроении
Разработка протокола управления терминалами для сети ЭВМ и его реализация
Разработка систем управления индустриальной информационной технологией
Разработка средств и методов анализа реляционных моделей баз данных
Разработка средств машинно-независимого описания трансляторов с языков для автоматической обработки данных
Разработка технологии построения одного класса кросс-систем программирования и отладки
Реализация алгоритмов для выполнения аналитических преобразований в системах разговорного программирования
Реализация многоцелевых динамических языков программирования
Регулярные и квазирегулярные множества в группах
Регулярные параметрические грамматики и проблема параметризации
Рекурсивный метод вычисления регулярных периодически-определённых функций и его реализация
Реляционные модели баз данных. Введение и модель. Зависимости. Нормальные формы
Республиканская конференция "Надежность и каечство программного обеспечения": Тез. докл. (г.Львов6 29-31 января 1985 г.)
Решение задач минимизации непроизводительных затрат при реализации процессов с общими ресурсами
Решение задач обработки данных с помощью ЭВМ в трёх частях (Инструкция для пользователей системы ЯОД 75)
Решение задач оперативного управления дискретным производством на сетевых моделях Петри
Р-технология программирования и средства её инструментальной поддержки. Применение Р-технологии программирования для решения прикладных задач. (Техническое описание)
Р-технология программирования и средства её инструментальной поддержки. Реализованные программные проекты. (Техническое описание)
Р-технология программирования: Тезисы докладов I Всесоюзной конференции. Часть III: Технология программирования микропроцессорной техники
Р-технология программирования: Тезисы докладов I Всесоюзной конференции. Часть II: Опыт применения
Р-технология программирования: Тезисы докладов I Всесоюзной конференции. Часть I: Средства автоматизации
СверхБИС универсальных однокристалльных микро-ЭВМ
Секреты UNIX
Семантика и логическая теория статически распределённых программ
Семантико-синтаксические структуры программ
Семантическая отладка программ методом поиска конкретных ошибок
Семантическое конструирование программ
Сети Петри, параллельные алгоритмы и модели мультипроцессорных систем
Синтаксические аспекты языков программирования в семантико-синтаксических системах
Синтез методов обработки информации и принятия решений для систем обнаружения движущихся объектов
Синтез параллельных алгоритмов с асинхронно-модульной структурой
Синтез теорем с векторными функциями Ляпунова в математической теории систем
Система DATAEASE. Версия 2.5. Редакция 3 R
Система алгоритмических алгебр и некоторые вопросы автоматизации программирования
Система имитационного моделирования дискретных процессов (ДИСМ)
Система управления базами данных для реализации пакетов прикладных программ
Системная реализация адаптивного генератора программ
Системы оптимизации программ
Системы Чёрча-Россера и их применение
Сложность параллельных алгоритмов распознавания свойств графов