Вы здесь

Непомнящий В. А.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ О схемном методе разрешения пропозициональных динамических логик 1988 Непомнящий В. А., Шилов Н. В. Тез.докл. II Всесоюз. конф. по прикладной логике 13.10.1993
СТ Тождества в системах алгоритмических алгебр и их отношение к динамической логике 1988 Непомнящий В. А., Шилов Н. В. Тез.докл. VIII Всесоюз. сем. "Параллельное программирование и высокопроизводительные структуры" 13.10.1993
СТ Схемы недетерминированных программ и их отношение к динамической логике 1988 Непомнящий В. А., Шилов Н. В. Кибернетика 13.10.1993
СТ Динамическая логика 1988 Непомнящий В. А. Математический энциклопедический словарь 13.10.1993
СТ Программ верификация 1988 Непомнящий В. А. Математический энциклопедический словарь 13.10.1993
СТ Проблемно-ориентированный подход к верификации программ обработки файлов 1989 Непомнящий В. А. Программирование 13.10.1993
СТ Язык спецификации взаимодействую их процессов реального времени и их свойств 1989 Непомнящий В. А., Шилов Н. В. Архитектура, матобеспечение и средства интеллектуализации вычислительных систем 13.10.1993
СТ Верификация блока генерации кодов транслятора с языка БЭЙСИК 1981 Непомнящий В. А., Сулимов А. А. ВЦ СО АН СССР Языки и системы программирования 12.10.1993
СТ Верификация программ линейной алгебры 1981 Непомнящий В. А. Синтез, тестирование, верификация и отладка программ: Тез.докл./Всесоюз.конф., Рига 12.10.1993
СТ Верификация транслятора с языка БЭЙСИК 1981 Непомнящий В. А., Сулимов А. А. Синтез, тестирование, верификация и отладка программ: Тез.докл./Всесоюз.конф., Рига 12.10.1993
СТ О сильной полноте систем операций 1982 Непомнящий В. А. Математическая теория и практика систем программного обеспечения: Труды советско-болг.симп. 12.10.1993
СТ Доказательство правильности программ линейной алгебры 1982 Непомнящий В. А. Программирование 12.10.1993
СТ Об одном подходе к спецификации и верификации транслятора 1983 Непомнящий В. А. Программирование 12.10.1993
СТ Об одном преобразовании рекурсивных схем и его применении для синтеза корректных программ 1983 Непомнящий В. А., Чурина Т. Г. ВЦ СО АН СССР Оптимизация и преобразования программ 12.10.1993
СТ Трансформационный синтез корректных программ 1983 Непомнящий В. А., Сабельфельд В. К. ВЦ СО АН СССР Оптимизация и преобразования программ 12.10.1993
СТ Недетерминированные схемы программ и динамические логики 1984 Непомнящий В. А., Шилов Н. В. ВЦ СО АН СССР Трансляция и преобразование программ 12.10.1993
СТ Проблемно-ориентированная верификация программ ня языке ПАСКАЛЬ 1983 Непомнящий В. А. Системное и теоретическое программирование: Тез.докл./Всесоюз.симп., Кишинев 12.10.1993
СТ Схемы недетерминированных программ и их применение к динамической логике 1983 Непомнящий В. А., Шилов Н. В. Применение методов математической логики: Тез.докл./III конф., Таллин 12.10.1993
СТ Проблемно-ориентированная верификация программ 1983 Непомнящий В. А. ВИНИТИ Семиотические аспекты формализации интеллектуальной деятельности: Тез. докл./Всесоюз.школа-семинар, Телави 12.10.1993
СТ О проблеме тотальности для схем программ 1983 Непомнящий В. А. Кибернетика 12.10.1993
СТ Практические методы верификации программ 1984 Непомнящий В. А. Кибернетика 12.10.1993
СТ Программирование теоретическое 1984 Ершов А. П., Непомнящий В. А. Математическая энциклопедия 12.10.1993
СТ О преобразованиях, упро аю их верификацию программ 1985 Непомнящий В. А. ВИНИТИ Семиотические аспекты формализации интеллектуальной деятельности: Тез. докл./Всесоюз.школа-семинар, Кутаиси 12.10.1993
СТ Элиминация инвариантов циклов при верификации программ 1985 Непомнящий В. А. Программирование 12.10.1993
СТ О проблемно-ориентированной верификации программ 1986 Непомнящий В. А. Программирование 12.10.1993
СТ Элиминация инвариантов циклов при верификации программ 1985 Непомнящий В. А. ИМ СО АН СССР Тез.докл. Всесоюз.конф. по прикладной логике 12.10.1993
СТ Характеризация предикатов, вычислимых операторными алгоритмами с тестом равенства нулю 1985 Непомнящий В. А. ВЦ СО АН СССР Математическая теория программирования: советско-болг.сборник науч.трудов 12.10.1993
СТ Техника доказательства условий правильности в проблемно-ориентированной верификации программ 1986 Непомнящий В. А. Применение методов математической логики: Тез.докл. IV всесоюз. конф., Таллин 12.10.1993
П Математическая теория программирования. Обзор зарубежных работ 1982 Непомнящий В. А., Дехтярь М. И. ВЦ СО АН СССР 12.10.1993
СТ Об одном базисе для рекурсивно-перечислимых множеств 1966 Непомнящий В. А. Доклады АН СССР 11.10.1993
СТ О некоторых автоматах, способных вычислять базис для рекурсивно-перечислимых множеств 1966 Непомнящий В. А. ИМ СО АН СССР Алгебра и логика: сб. науч. тр. 11.10.1993
СТ Вычисления на машинах Тьюринга с метками 1968 Непомнящий В. А. Резюме научных ссоб ений А IX Всесоюз. алг. кол., Гомель 11.10.1993
А Исследование базисов и достаточных классов рекурсивных функций 1967 Непомнящий В. А. 11.10.1993
СТ Оценка сложности распознавания равносильности операторных схем Янова на машинах Тьюринга 1968 Непомнящий В. А. Труды первой Всесоюзной конф. по программированию 11.10.1993
СТ К теории рудиментарных предикатов Шмульяна 1969 Непомнящий В. А. Тез. докл.Всесоюзного симпозиума по математической логике 11.10.1993
СТ Об одном методе распознавания эквивалентности схем программ и дискретных преобразователей 1970 Непомнящий В. А. Труды 2-ой Всесоюзной конф. по программированию 11.10.1993
СТ О рудиментарных предикатах Шмульяна 1970 Непомнящий В. А. Тез. докл. по алгебре, математической логике, и вычислительной математике конференции педвузов центральной зоны РСФСР 11.10.1993
СТ Рудиментарная интерпретация двуленточных тьюринговых вычислений 1970 Непомнящий В. А. Кибернетика 11.10.1993
СТ Рудиментарные предикаты и тьюринговые вычисления 1970 Непомнящий В. А. Доклады АН СССР 11.10.1993
СТ О полноте операций в операторных алгоритмах 1971 Непомнящий В. А. Доклады АН СССР 11.10.1993
СТ Об алгоритмической полноте систем операций 1971 Непомнящий В. А. Тез. докл. 2-й Всесоюз. конференции по проблемам теоретической кибернетики 11.10.1993
СТ Критериии алгоритмической полноты систем операций 1972 Непомнящий В. А. Теория программирования: Труды симп. 11.10.1993
СТ Международный симпозиум по теории программирования 1973 Ершов А. П., Непомнящий В. А. Вестник АН СССР 11.10.1993
СТ Рудиментарное моделирование недетерминированных тьюринговых вычислений 1973 Непомнящий В. А. Кибернетика 11.10.1993
СТ Критерии полноты систем операций в операторных алгоритмах с массивами и засылками констант 1973 Непомнящий В. А. ВЦ СО АН СССР Системное и теоретическое программирование 11.10.1993
СТ Вычисления на автоматах в реальное время 1974 Непомнящий В. А., Валиев М. К. Энциклопедия "Кибернетика" 11.10.1993
СТ О емкостной сложности распознавания рудиментарных предикатов и формальных языков 1974 Непомнящий В. А. Тезисы докл. 3-й Всесоюз. конф. по математической логике 11.10.1993
СТ О квазиполноте систем операций в операторных алгоритмах с массивами и засылками констант 1974 Непомнящий В. А. Тезисы докл.III Всесоюз. симп. "Системное и теоретическое программирование" 11.10.1993
СТ О емкостной сложности распознавания контекстно-свободных языков 1975 Непомнящий В. А. Кибернетика 11.10.1993
СТ О проблеме пустоты для схем программ 1 1976 Непомнящий В. А. Программирование 11.10.1993

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Семинар "Семантика, спецификация и верификация программ: теория и приложения"/5-й международный симпозиум по компьютерным наукам в России, Казань, 14-15 июня 2010 2010
  1. Непомнящий В. А.
  2. Соколов В. А.
22.06.2010
М Верификация Estelle-спецификаций распределенных систем посредством раскрашенных сетей Петри 1998 Непомнящий В. А., Алексеев Г. И., Быстров А. В., Куртов С. А., Мыльников С. П., Окунишникова Е. В., Чубарев П. А., Чурина Т. Г.
  1. Непомнящий В. А.
  2. Шилов Н. В.
ИСИ СО РАН 04.11.1998
СБ Проблемы спецификации и верификации параллельных систем. Сборник научных трудов 1995
  1. Непомнящий В. А.
ИСИ СО РАН 15.12.1996
СБ Проблемы теоретического и экспериментального программирования: Сборник научных трудов 1993
  1. Непомнящий В. А.
ИСИ СО РАН 10.05.1995
СБ Языки и системы программирования. (Сборник научных трудов) 1979
  1. Поттосин И. В.
  2. Непомнящий В. А.
ВЦ СО АН СССР 15.12.1979
СБ Проблемы программирования. Сборник трудов 1976
  1. Котов В. Е.
  2. Непомнящий В. А.
ВЦ СО АН СССР 16.12.1976
СБ Теория программирования, часть I: Труды симпозиума, Новосибирск, 7-11 августа 1972 г. 1972
  1. Непомнящий В. А.
ВЦ СО АН СССР 13.08.1972
СБ Теория программирования, часть 1: Труды симпозиума, Новосибирск, 7-11 августа 1972 г. 1972
  1. Непомнящий В. А.
ВЦ СО АН СССР 13.08.1972
СБ Теория программирования, часть II: Труды симпозиума, Новосибирск, 7-11 августа 1972 г. 1972
  1. Непомнящий В. А.
ВЦ СО АН СССР 13.04.1972