Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
Таллин
Связанные издания:
A Computer Architecture for Ada
A Memory Manadement for Prolog
A Method for Consructing Quality Program Versions
Des Outils Theoriques pour l analyse Semantique d Ada
Detection d erreurs en Programmation Logique: Une Adaptation de la Methode de E.V.Shapiro
Elimination of Loop Invariants in Program Verification
ELMA- an Instrumental Tool to build Programming Systems
Error Diagnosis in Logic Programming. An Adaptation of a E.V.Shapiro s Method
Evaluation Recursive Grammaires Attribuees deux Impalantations
Machine de Gestion de Memoire pour Prolog
Mixed Strategy Implementation of Attribute Grammars
NUT - an object oriented language
Programmation logique et Grammaires d attributs
Program Synthesis in the SPORA system
Recursive Evaluation of Attrubute Grammars: Two Implementations
Relating Logic Programs and Attribute Grammars
Semantics of a Specification Language
Theoretical Tools for Ada Semantics Analysis
TIME-1: Semantic System for Dynamic Object Domain
Абстрактные атрибутивные грамматики и их использование в системах построения трансляторов
Автоматизация производства пакетов прикладных программ (Автоматизация производства трансляторов)
Автоматизация производства пакетов прикладных программ и трансляторов: Тезисы докладов II Всесоюзной конференции, 12-14 апреля 1983 г.
Автоматизация производства систем программирования: Тезисы докладов III Всесоюзной конференции
Автоматическая реализация семантики проблемно-ориентированных языков
Автоматический синтез программ
Алгоритмический язык манипулирования данными DAMAL
Альфа и Омега. Краткий справочник
Архитектура и программное обеспечение макета системы МАРС
АСОЭД - Анкетная система обработки экономических данных. Приложения к справочному руководству
АСОЭД - Анкетная система обработки экономических данных. Справочное руководство.
Введение элементов искусственного интеллекта в инструментальные системы программирования
Виртуальная машина как основа технологии производства программ
Вопросы проблемно-ориентированного математического обеспечения в машинном проектировании технологии
Вопросы проблемно-ориентированного математического обеспечения в машинном проектировании технологии
ВРЕМЯ-1: Семантический процессор для динамических предметных областей
Высокопроизводительная параллельная вычислительная система МАРС-М
Высокопроизводительные вычислительные системы. III Всесоюз. сове ание, Таллин, апрель 1988: Тез.докл.
Дискретные процессы: спецификация и имитационное моделирование
Инструментальная система ELMA для создания программных систем
Инструментальные средства производства проблемно-ориентированного программного продукта
Инструментальный транслятор с АЛГОЛа-60
Информатика-85
Исследование алгоритмов объектно-ориентированной памяти
Исследование и разработка инструментальных средств автоматизации производства программ проблемной ориентации
Исследование и разработка методов программной реализации комплексных интерактивных человеко-машинных систем
Исследование и разработка пакетов программ для расчёта и моделирования гидромеханических систем
Исследование и разработка проблемно-ориентированных систем обработки данных, основанных на системах управления базами данных сетевого типа
Исследование и разработка средств организации структур данных в системах программирования с проблемной ориентацией
Исследование и разработка структур данных для информационных систем административного типа
Исследование и разработка эффективных методов реализации языков программирования
1
2
3
следующая ›
последняя »