Вы здесь

Главная

теория

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

What we Learn from Formal Checking. Part II. Using Type Theory: An Introduction
Zero-One Laws
Абстрактные структуры для и от данных
Аксиоматика распределения памяти
Аксиоматическая теория именных множеств и моделирование структур экспликативного программирования
Алгебраическая теория возму ений для атома водорода в слабых электрических полях
Алгебра структур протоколов на основе теории сетей Петри
Алгоритмические вопросы теории рекурсивных преобразований
Алгоритмы обработки деревьев
Аналитическая терия алгоритмов
Введение в теорию анализа и распараллеливания программ ЭВМ в процессе трансляции
Введение в теорию модулярных форм
Введение в теорию оптимизации программ
Введение в теорию схем программ
Восстановление ограничений целостности за счет наименьших достаточных изменений
Вычислительные аспекты СБИС
Генератор компиляторов
Граф-модели систем - предмет исследования прикладной теории графов
Графы в химической кинетике
Деревья: основные понятия, свойства и алгоритмы
Диаграммная техника в теории гипергеометрических рядов от многих переменных
Жемчужины теории формальных язвков
Задача разложимости элементарных теорий и проблематика минимализации их аксиом
Задачи и упражнения по теории графов и комбинаторике
Знания - Онтологии - Теории: Материалы Всесоюзной конференции с международным участием ЗОНТ-07, 14-16 сентября 2077 г., Новосибирск
Индуктивные методы обнаружения закономерностей, основанные на теории редукции
Информатика-85
Информационные алгебры
Исследование и проектирование сложных систем
Исследование класса сетей Петри, порождаю иих ограниченные языки
Исследование требований к теории эмпирических предсказаний
Исследования по теории алгорифмов и математической логике. Том 2. Сборник работ
Исследования по теории порождающих грамматик
Комбинаторная теория надежности обучения по прецедентам
Конечно аксиоматизированные теории
Конструкция Париса-Кирби и проблемы сложности алгоритмов
К основаниям теории реляционных моделей баз данных
Критерий функциональной полноты в алгебре Дейкстры
К теории слаборазделённых грамматик
Лекции по программированию
Логика фундированных действий
Логические модели второго порядка для предметных областей
Математическая теория программирования. Обзор зарубежных работ
Методы теоретического и системного программирования
Методы теоретического и системного программирования. Сборник научных трудов
Методы теории графов в химической кинетике
Многоуровневое структурное проектирование программ
Множества, логика, аксиоматические теории
Муравьиные алгоритмы: теория и применение
Недоопределенные модели: формализация подхода и перспективы развития