Вы здесь

Главная

ВЦ СО АН СССР

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

Недетерминированные схемы программ и динамические логики
Недоопределенные множества - новый тип данных для представления знаний
Недоопределенные модели и операции с недоопределенными значениями
Некоторые замечания к проекту АИСТ
Некоторые оптимизирую ие преобразования для стандартных схем
Некоторые сведения о пульсовой диагностике (фрагменты из трактатов тибетской медицины)
Некоторые технологические аспекты производства программной продукции
Новости в разделении времени НРВ-1
Новости в разделении времени НРВ-11
Новости в разделении времени НРВ-12
Новости в разделении времени НРВ-15
Новости в разделении времени НРВ-18
Новости в разделении времени НРВ-4
Новости в разделении времени НРВ-5
Новости в разделении времени НРВ-6
Новые задачи информатики, Сборник научных трудов
Новые синхронизирующие примитивы для параллельного программирования
Об алгоритме доказательства свойств абстрактных типов данных
Об алгоритме оптимизации линейных участков
Об апостериорных аналитических оценках сезонной заболеваемости работающих
Обеспечение вычислительных центров коллективного пользования (ВЦКП). Сборник научных трудов
Об одном подходе к повышению точности статического контроля типов
Об одном подходе к решению проблемы взаимодействия объектов пользовательского интерфейса
Об одном преобразовании рекурсивных схем и его применении для синтеза корректных программ
Об оптимизации логических выражений с соотношениями
Об организации информационной связи в сетях ЭВМ. Протоколы 2 СО 1.0, 4 СО 2.0
Об унификации типов данных
Ограниченные контекстно-свободные языки и сети Петри
О доказательном стиле разработки систем программирования
О древесной эквивалентности рекурсивных схем программ
Окружающая среда и некоторые проблемы оптимизации
О линеаризации программы и частичном ее упорядочивании
О параллельных языках
Операторы внутреннего языка системы БЕТА
Операции над типами
Операционная система ОНИКС
Операционные системы коллективного пользования
Описание языка ПОЛЯР
Описание языка сверхвысокого уровня PARIS (версия 1)
Описание языка ЯРМО: Макросредства
О получении объектного кода из одноциклового интерпретатора
О проверке правильности программ с помо ью ЭВМ
О программе работ по созданию вычислительного комплекса (центра) коллективного пользования в Новосибирском научном центре (проект ВЦКП)
О программе работ по созданию сети информационно-вычислительных систем (центров) в сибирском отделении АН СССР
О проекте создания территориального ВЦКП в Новосибирском Академгородке (Концепция)
Оптимальные процедуры моделирования некоторых случайных величин
Оптимизация и преобразования программ, Часть 1. (Материалы Всесоюзного семинара)
Оптимизация и преобразования программ, Часть 2. (Материалы Всесоюзного семинара)
Оптимизация программ: обзор подходов
Оптимизирую ие преобразования и их последовательность