Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
Теоретические основы компиляции
Связанные издания:
Аксиоматизация тотальной корректности программ с операторами перехода
Архитектура пакета прикладных программ океанолога
Вопросы реализации реляционного языка программирования
Обзор языка представления знания МЕДИФОР-2
О минимизации размера логических схем
О семантике переменных в паскалеобразных языках
Проблемы реализации систем программирования в рамках системы построения языковых процессоров
Реализация расширений макрогенератора об его назначения
Свободные интерпретации крупноблочных схем программ
Символьная генерация математических моделей компонентов технических систем
Система обработки графической информации на базе УКВ М4030 и устройства "Графика-02Б"
Средства анализа действую его математического обеспечения
Структурированные сети Петри и их свойства
Факторизация однопеременных полиномов в системе аналитических преобразований
Факторизация однопеременных полиномов в системе аналитических преобразований
Эквивалентные преобразования для одного класса параллельных выражеиий