Вы здесь

Главная

ВЦ СО АН СССР

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

Комплекс ФОРТРАН-программ АНИЗАР-1
Комплекс ФОРТРАН-программ АНИЗАР-2 (краткое описание)
Конструирование программных средств интеллектуализации
Концептуальный анализ программных систем
Копирование в коммутационно-операторных схемах (Copying in commutation-operator schemata)
Корректность параллельных вычислительных процессов
Корректность преобразований чистки циклов для программ на внутреннем языке системы БЕТА
К проблеме охраны окружающей среды
Критерии полноты систем операций в операторных алгоритмах с массивами и засылками констант
Лингвистические поцессоры и представление знаний
Лингвистические процессоры ЗАПСИБ. (Часть II - общая схема и основные модули)
Лингвистические процессоры ЗАПСИБ. (Часть I - задачи проекта)
Лингвистические процессоры и представление знаний. Сборник научных трудов
Макет системы МАРС с программно-аппаратными средствами интеллектуализации и соответствующим системным и прикладным программным обеспечением (оперативно-информационный материал)
Математическая теория и практика систем программного обеспечения: Труды советско-болгарского совещания
Математическая теория программирования. Обзор зарубежных работ
Математическая теория программирования. Советско-болгарский сборник научных трудов
Математические модели живучести сетей связи
Математическое и архитектурное обеспечение параллельных вычислений: Сборник научных трудов
Математическое обеспечение ЭВМ: Проект представления модуля прикладной программы
Материалы Всесоюзной конференции "Вычислительные системы, сети и центры коллективного пользования" (ВССиВЦКП - 78). Часть 1: Пленарные доклады
Материалы Всесоюзной конференции "Вычислительные системы, сети и центры коллективного пользования" (ВССиВЦКП - 78). Часть 2: Тезисы научных сообщений
Материалы Всесоюзной конференции "Вычислительные системы, сети и центры коллективного пользования" (ВССиВЦКП - 78). Часть 3: Тезисы научных сообщений
Машинная графика и её применение. Сборник научных трудов
Машинно-ориентируемый алгоритмический язык СИГМА для написания переносимых программ (Общее описание)
Метапроцессоры для универсального прграммирующего процессора
Метод доступа к сети ВЦКП для ОС РВ ЭВМ СМ-4
Метод дробных шагов. Решения многомерных задач математической физики
Методика разработки многоязыковых трансляторов на примере системы БЕТА
Метод описания алгоритмических языков, ориентированный на реализацию
Метод разметки для глобального анализа свойств
Методы вычислительной математики: курс лекций
Методы генерации в языковой системе программирования
Методы декомпозиции, синтеза и оптимизации в многоязыковой системе программирования
Методы измерения качества программного обеспечения
Методы и программы решения оптимизационных задач на графах и сетях. Тезисы докладов Всесоюзного совещания 3-5 сентября 1980 г.
Методы и программы решения оптимизационных задач на графах и сетях, Часть 1: Алгоритмы, программы, применения. Тезисы докладов II Всесоюзного совещания, 24-26 августа 1982 г. , Улан-Удэ
Методы и программы решения оптимизационных задач на графах и сетях, Часть "2: Теория, алгоритмы. Тезисы докладов II Всесоюзного совещания, 24-26 августа 1982 г. , Улан-Удэ
Методы математического моделирования в задачах охраны природной среды и экология: Тез. докл. Всесоюзн. конф.
Методы отладки в многоязыковых системах програмирования
Методы параллельного и теоретического программирования: Сборник научных трудов
Методы трансляции и конструирования программ. Сборник научных трудов
Методы трансляции и конструирования программ, Часть 1: Тезисы докладов Всесоюзной конференции, Новосибирск, 23-25 нояб. 1988 г.
Методы трансляции и конструирования программ, Часть 2: Тезисы докладов Всесоюзной конференции, Новосибирск, 23-25 нояб. 1988 г.
Многопроцессорные вычислительные системы и их математическое обеспечение: Сборник научных трудов
Многоязыковая транслирующая система
Моделирование систем информатики: Тез. докл. 2-й Всесоюзн. конф. 25-27 сентября 1990 г.
Модульная асинхронная развиваемая система. ч. 2: Основные принципы и особенности
Надежность и качество функционирования информационных сетей и их элементов: Тез.докл. IV Всесоюзн. научно-техн. конф. (16-18 сент. 1981 г.)
Надежность и качество функционирования информационных сетей и их элементов: Тез.докл. V Всесоюзн. научно-техн. конф. (2-4 июля 1985 г.)