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