Вы здесь

Главная

Ленинград

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

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