Вы здесь

Главная

Киев

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

Тождества в системах алгоритмических алгебр и их отношение к динамической логике
Тождественные преобразования в алгебрах недетерминированных алгоритмов
Топологические метрики сложности программ и их применения
Управляю ие пространства в параллельных вычислениях
Управляю ие сети и микропрограммное моделирование параллельных процессов
Управляющие пространства в параллельных вычислениях
Уравнения в алгебре событий
Формализация выбора структур цифровых автоматических устройств
Формализация семантики и верификация программ обработки данных
Формальные методы обоснования и реализации алгоритмов над структурированной памятью
ФОРТРАН (программированное учебное пособие)
Функциональная верификация дискретных устройств с использованием логического программирования
Хроматический класс мультиграфа
Численные методы решения некоторых задач теории расписаний
Численные методы синтеза линейных систем
Эквивалентные преобразования в алгебрах структур данных
Эквивалентные преобразования дефиниций языков программирования и их применение
Эквивалентные преобразования и оптимизация программ
Эксперименты с конечными автоматами Мура
Экстремальные задачи поведения автоматов в стационарных случайных средах
Элементарные программные алгебры
ЭПСИЛОН- система автоматизации программирования для задач символьной обработки
Язык и диалоговая система АКВА для автоматизации исследований циркуляции вод мирового океана численными методами
Языки программирования баз данных
Языки программирования с алгоритмически разрешимой проблемой распараллеливания
Языковые средства для программирования и спецификации программ обработки последовательных файлов