Вы здесь

Главная

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

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Элиминация инвариантов циклов при верификации программ 1985 Непомнящий В. А. Информатика-85 13.02.1991
СТ Элиминация инвариантов циклов при верификации программ 1985 Непомнящий В. А. Информатика-85 14.02.1991
СТ Проблемно-ориентированный подход к верификации программ 1988 Непомнящий В. А. Методы трансляции и конструирования программ. (Тез. докл. Всесоюз. конф. 23-25 ноября 1988 г.) 28.03.1991
СТ Проблемно-ориентированный подход к верификации программ линейной алгебры 1991 Непомнящий В. А., Сулимов А. А. Смешанные вычисления и преобразование программ 22.06.1992
СТ Язык спецификаций систем и свойств взаимодействую их процессов реального времени 1991 Непомнящий В. А., Шилов Н. В. Методы теоретического и системного программирования 27.10.1992
СТ Язык спецификаций систем и свойств взаимодействую их процессов реального времени 1991 Непомнящий В. А., Шилов Н. В. Методы теоретического и системного программирования 28.10.1992
СТ Доказательство условий корректности в проблемно-ориентированной системе верификации программ 1986 Непомнящий В. А., Воробьев С. Г. Материалы VIII школы-семинара "Персональные компьютеры и локальные сети" 11.12.1992
СТ Верификация программ линейной алгебры в системе СПЕКТР 1992 Непомнящий В. А., Сулимов А. А. Кибернетика и системный анализ 06.01.1993
СТ Конференция по методам трансляции и конструирования программ 1985 Касьянов В. Н., Непомнящий В. А. Программирование 16.04.1993
СТ Творческое наследие В.Э.Иткина 1993 Бульонков М. А., Городняя Л. В., Касьянов В. Н., Котляров В. П., Непомнящий В. А., Цейтлин Г. Е., Шилов Н. В. Кибернетика и системный анализ 19.08.1993
СТ Творческое наследие В.Э.Иткина 1993 Бульонков М. А., Городняя Л. В., Касьянов В. Н., Котляров В. П., Непомнящий В. А., Цейтлин Г. Е., Шилов Н. В. Кибернетика и системный анализ 20.08.1993
СТ Вычислительная машина абстрактная 1977 Непомнящий В. А. Математическая энциклопедия 11.10.1993
СТ О проблеме пустоты для схем программ II 1977 Непомнящий В. А. Программирование 11.10.1993
СТ О разрешимости проблемы пустоты для некоторых классов схем программ 1977 Непомнящий В. А. ВЦ СО АН СССР Теория программирования и методы трансляции: Тр. советско-французского симп. 11.10.1993
СТ Примеры предикатов, невыразимых s-рудиментарными формулами 1978 Непомнящий В. А. Кибернетика 11.10.1993
СТ О предикатах, вычислимых операторными алгоритмами с тестом равенства нулю 1976 Непомнящий В. А. Тез. докл. IV Всесоюз. конф. по математической логике 11.10.1993
СТ О емкостной сложности распознавания контекстно-свободных языков 1975 Непомнящий В. А. Кибернетика 11.10.1993
СТ О проблеме пустоты для схем программ 1 1976 Непомнящий В. А. Программирование 11.10.1993
СТ О проверке правильности программ с помо ью ЭВМ 1976 Непомнящий В. А., Черноброд Л. В. ВЦ СО АН СССР Проблемы программирования 11.10.1993
СТ Верификация и тестирование интерпретатора языка БЭЙСИК 1980 Непомнящий В. А., Сулимов А. А. ВЦ СО АН СССР Трансляция и модели программ 11.10.1993
СТ Проблема тотальности для стандартных программ 1980 Непомнящий В. А. ИМ СО АН СССР Тез. докл. V Всесоюз. конференции по проблемам теоретической кибернетики 11.10.1993
СТ Верификация интерпретатора для языка БЭЙСИК 1980 Непомнящий В. А., Сулимов А. А. Тез. докл. Всесоюз. конф. "Методы математической логики в проблемах искусственного интеллекта и систематическое программирование" 11.10.1993
СТ Верификация программ обработки файлов на языке Паскаль 1981 Непомнящий В. А. Программирование 11.10.1993
СТ О квазиполноте систем операций в операторных алгоритмах с массивами и засылками констант 1974 Непомнящий В. А. Тезисы докл.III Всесоюз. симп. "Системное и теоретическое программирование" 11.10.1993
СТ Верификация программ сортировки массивов 1979 Непомнящий В. А., Чурина Т. Г. ВЦ СО АН СССР Языки и системы программирования 11.10.1993
СТ Проверка правильности программ с массивами и файлами 1978 Непомнящий В. А. ВЦ СО АН СССР Перспективы развития в системном и теоретическом программировании: Труды Всесоз. симп. 11.10.1993
СТ Элиминация пересылок в стандартных схемах программ 1979 Непомнящий В. А., Сабельфельд В. К. Программирование 11.10.1993
СТ Практические методы проверки правильности программ 1979 Непомнящий В. А. ВИНИТИ Семиотика и информатика 11.10.1993
СТ Проверка правильности программ с массивами 1978 Непомнящий В. А. Тез.докл. Всесоюз. симп. "Искусственный интеллект и автоматизация исследования в математике" 11.10.1993
СТ Международный симпозиум по теории программирования 1973 Ершов А. П., Непомнящий В. А. Вестник АН СССР 11.10.1993
СТ Оценка сложности распознавания равносильности операторных схем Янова на машинах Тьюринга 1968 Непомнящий В. А. Труды первой Всесоюзной конф. по программированию 11.10.1993
СТ К теории рудиментарных предикатов Шмульяна 1969 Непомнящий В. А. Тез. докл.Всесоюзного симпозиума по математической логике 11.10.1993
СТ Об одном методе распознавания эквивалентности схем программ и дискретных преобразователей 1970 Непомнящий В. А. Труды 2-ой Всесоюзной конф. по программированию 11.10.1993
А Исследование базисов и достаточных классов рекурсивных функций 1967 Непомнящий В. А. 11.10.1993
СТ Вычисления на машинах Тьюринга с метками 1968 Непомнящий В. А. Резюме научных ссоб ений А IX Всесоюз. алг. кол., Гомель 11.10.1993
СТ Об одном базисе для рекурсивно-перечислимых множеств 1966 Непомнящий В. А. Доклады АН СССР 11.10.1993
СТ О некоторых автоматах, способных вычислять базис для рекурсивно-перечислимых множеств 1966 Непомнящий В. А. ИМ СО АН СССР Алгебра и логика: сб. науч. тр. 11.10.1993
СТ О емкостной сложности распознавания рудиментарных предикатов и формальных языков 1974 Непомнящий В. А. Тезисы докл. 3-й Всесоюз. конф. по математической логике 11.10.1993
СТ О рудиментарных предикатах Шмульяна 1970 Непомнящий В. А. Тез. докл. по алгебре, математической логике, и вычислительной математике конференции педвузов центральной зоны РСФСР 11.10.1993
СТ Рудиментарная интерпретация двуленточных тьюринговых вычислений 1970 Непомнящий В. А. Кибернетика 11.10.1993
СТ Критерии полноты систем операций в операторных алгоритмах с массивами и засылками констант 1973 Непомнящий В. А. ВЦ СО АН СССР Системное и теоретическое программирование 11.10.1993
СТ Вычисления на автоматах в реальное время 1974 Непомнящий В. А., Валиев М. К. Энциклопедия "Кибернетика" 11.10.1993
СТ Критериии алгоритмической полноты систем операций 1972 Непомнящий В. А. Теория программирования: Труды симп. 11.10.1993
СТ Рудиментарное моделирование недетерминированных тьюринговых вычислений 1973 Непомнящий В. А. Кибернетика 11.10.1993
СТ Об алгоритмической полноте систем операций 1971 Непомнящий В. А. Тез. докл. 2-й Всесоюз. конференции по проблемам теоретической кибернетики 11.10.1993
СТ Рудиментарные предикаты и тьюринговые вычисления 1970 Непомнящий В. А. Доклады АН СССР 11.10.1993
СТ О полноте операций в операторных алгоритмах 1971 Непомнящий В. А. Доклады АН СССР 11.10.1993
П Математическая теория программирования. Обзор зарубежных работ 1982 Непомнящий В. А., Дехтярь М. И. ВЦ СО АН СССР 12.10.1993
СТ Верификация программ линейной алгебры 1981 Непомнящий В. А. Синтез, тестирование, верификация и отладка программ: Тез.докл./Всесоюз.конф., Рига 12.10.1993
СТ Верификация блока генерации кодов транслятора с языка БЭЙСИК 1981 Непомнящий В. А., Сулимов А. А. ВЦ СО АН СССР Языки и системы программирования 12.10.1993

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Теория программирования, часть II: Труды симпозиума, Новосибирск, 7-11 августа 1972 г. 1972
  1. Непомнящий В. А.
 ВЦ СО АН СССР 13.04.1972
СБ Теория программирования, часть I: Труды симпозиума, Новосибирск, 7-11 августа 1972 г. 1972
  1. Непомнящий В. А.
 ВЦ СО АН СССР 13.08.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