Вы здесь

Главная

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

Автор:

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

Редактор:

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