Вы здесь

Главная

Ленинград

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

Автоматизация программирования информационных диалоговых систем
Автоматизация фотонабора табличных изданий с информацией, вычисляемой на ЭВМ
Автоматизированное информационно-библиотечное обслуживание в академическом НИИ
Автоматический синтез программ из модулей, представленных в виде ассоциативных сетей
Автоматическое порождение программ просмотров для транслятора на основе описания атрибутов
Автоматическое символьное решение уравнений
Алгоритмический метаязык АЛМЕТ
Алгоритмы анализа языков по сетевым грамматикам
Алгоритмы полиномиальной сложности для распознавания изоморфизма в некоторых классах графов
Анализ и разработка автоматизации проектирования программ для мини-ЭВМ
Анализ и синтез параллельных информационных процессов на основе свойства когерентности
Анализ сложности алгоритмов грамматического разбора
Быстрый макрогенератор и его применение в языке высокого уровня
Вопросы технологии программирования: Сборник научных трудов
Густота синтаксических деревьев и деревьев вывода в грамматиках
ДИАЛОГ-84-МИКРО. Индивидуальные диалоговые системы на базе микро-ЭВМ (персональные компьютеры): Тезисы докдадов Всесоюзной конференции (Ленинград, 19-22 ноября 1984)
Диалоговая система коллективного пользования
Диалоговая система разработки имитационных моделей на расширенной версии языка GPSS V
Диалоговая система символьных вычислений в группах
Диалоговая система с разделением времени со входным языком типа АЛГОЛ-60 на базе ЭВМ М-222
Динамическая верификация программ на языке Паскаль с исполняемыми аннотациями
Динамическое управление памятью в трансляторе с языка АЛГОЛ 68
Дискретные минимаксные задачи распределения
Индуктивная реконструкция грамматики текста
Инструментальная диалоговая система программирования
Инструментальная система разработки языковых средств микропроцессорной техники
Инструментальные средства построения распределенных систем тестирования микропроцессорных устройств ввода-вывода ЕС ЭВМ
Интерпретатор автокода МВК "ЭЛЬБРУС" для ЕС ЭВМ
Использование последовательных графов для организации хранения и поиска данных в памяти прямого доступа
Исследование принципов построения, разработка математического и программного обеспечения автоматизированной системы исследования структуры атомов
Исследования по бесконечным разрешимым и финитно-аппроксимируемым группам
Лингвистические процессоры ЗАПСИБ: модульность и адаптивность
Лингвистический процессор для индексирования текстов на малых ЭВМ
Локальные методы поиска вывода в автоматическом решении задач
Максимальные пути и циклы в графах
Математическое обепсечение системы автоматического распознавания образов событий на фотоплёнке с гамма-телескопа
Математическое обеспечение диалоговой издательской системы
Метасистема семантически-ориентированного перевода
Методика и адаптивные кросс-средства автоматизации разработки программного обеспечения управляю их микропроцессорных устройств с разделением функций
Методы и инструментальные средства массовой загрузки сетевых баз данных
Методы и средства автоматизации разработки программного обеспечения управляющих комплексов реального времени
Методы обработки структурированных объектов и операций над ними на МВК "ЭЛЬБРУС"
Методы реализации языка АДА
Модели информационных систем
Модель времени для вопросно-ответной системы
Модель распознавания с использованием предынформации о классе объектов
Монитор обработки в диалоговом режиме и архитектура реляционной системы управления базами данных
Монитор обработки в пакетном режиме и подъязык данных реляционной системы управления базами данных
Некоторые вопросы диспетчеризации многопроцессорных систем
Некоторые вопросы оптимизации вычислительного процесса на ЭВМ