Вы здесь

Главная

ВИНИТИ

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

Исследования по неклассическим логикам и теории множеств
Исследования по теории множеств и неклассическим логикам
Исследования по формализованным языкам и неклассическим логикам
Итоги науки и техники. Том 15: Теория вероятностей. Математическая статистика. Теоретическая кибернетика
Итоги науки и техники. Том 23: Теория вероятностей, математическая статистика, теоретическая кибернетика
Итоги науки и техники. Том 9: Информатика
Некоторые вопросы анализа математических алгоритмов решения задач и архитектуры ЭВМ
Некоторые машинные аспекты распараллеливания вычислений
О преобразованиях, упро аю их верификацию программ
Практические методы проверки правильности программ
Проблемно-ориентированная верификация программ
Проблемно-ориентированный подход к верификации программ. Применение к программам обработки файлов
Распараллеливание программ и алгоритмов и архитектура высокопроизводительных ЭВМ
Труды III всесоюз. конф. по информационно-поисковым системам и автомат. обработке научно-техн. информации в 4-х томах