Вы здесь

Главная

ВЦ СО АН СССР

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

Methods of Theoretical and Experimental Computer Science
Абстрактные машины программ
Аванпроект АИСТ-1. Оборудование.
Аванпроект информационно-поисковой системы ИПС-0
Автоматизация подготовки печатного материала на ЭВМ BURROUGHS-6700, Процессоры для подготовки текстов, формул и распечаток
Автоматизация построения трансляторов
Автоматизация разработки пакетов прикладных программ
Автоматизация управления городским районом
Автоматизированная обработка видеоданных : Сборник научных трудов
Автоматизированное рабочее место программиста: Сборник научных трудов
Автоматизированные рабочие места интеллектуальной деятельности (Сборник научных трудов)
Автоматическое построение параллельных программ, распараллеливание операторных схем
Академическая региональная сеть Сибири (Проект АРСС)
Активные типы данных
Актуальные проблемы развития архитектуры и программного обеспечения ЭВМ и вычислительных систем: Труды Всесоюзной конференции
Алгебра параллельных недетерминированных процессов: денотационная и операционная семантики
Алгебра регулярных сетей Петри
Алгол-68 для IBM PC
Алгоритмический язык Модула 2 (оперативно-информационный материал)
Алгоритм распознавания достаточной полноты алгебраической спецификации абстрактного типа данных
Алгоритмы в современной математике и её приложениях. Часть 1. Материалы международного симпозиума, Ургенч, УзССР, 16-22 сентября 1979 г.
Алгоритмы в современной математике и её приложениях. Часть 2. Материалы международного симпозиума, Ургенч, УзССР, 16-22 сентября 1979 г.
Алгоритмы обработки деревьев
Алгоритмы построения плотных расписаний для конвейерных ЭВМ
Анализ замкнутых показательных сетей обслуживания
Анализ и синтез распределенных функциональных структур
Анализ потока данных и эквивалентность программных машин
АНАЛИТИК - системная программа аналитических преобразований АИСТ-0
Архитектура и программное обеспечение высокопроизводительных систем. Сборник научных трудов
Архитектура и программное обеспечение многомашинных вычислительных комплексов: Сборник научных трудов
Архитектура,матобеспечение и средства интеллектуализации вычислительных систем
Архитектура, матобеспечение и средства интеллектуализации вычислительных систем: Сборник научных трудов
Архитектура систем конкретизации
Базисные средства спецификации и верификации трансляторов
Введение в теорию оптимизации программ
Верификация блока генерации кодов транслятора с языка БЭЙСИК
Верификация и тестирование интерпретатора языка БЭЙСИК
Верификация программ сортировки массивов
Взаимодействие с ЭВМ на естественном языке. Сборник научных трудов
Виды, константы и переменные во внутреннем языке системы БЕТА
ВКП-2 Труды 2-й всесоюзной конференции по программированию. Доклады иностранных участников. Международная дискуссия "Программирование в 70-х годах"
ВКП-2 Труды 2-й всесоюзной конференции по программированию. Заседание "Б"
ВКП-2 Труды 2-й всесоюзной конференции по программированию. Заседание "В"
ВКП-2 Труды 2-й всесоюзной конференции по программированию. Заседание "Г"
ВКП-2 Труды 2-й всесоюзной конференции по программированию. Заседание "Ж"
ВКП-2 Труды 2-й всесоюзной конференции по программированию. Заседание "З"
ВКП-2 Труды 2-й всесоюзной конференции по программированию. Заседание "К"
ВКП-2 Труды 2-й всесоюзной конференции по программированию. Заседание "М"
ВКП-2 Труды 2-й всесоюзной конференции по программированию. Заседание "Н"
ВКП-2 Труды 2-й всесоюзной конференции по программированию. Приглашённые доклады (1-й выпуск)