Вы здесь

Главная

Сабельфельд В. К.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
М Сборник упражнений по программированию на языке ПАСКАЛЬ 1985 Агафонов В. А., Поттосин И. В., Бежанова М. М., Сабельфельд В. К. Министерство высшего и среднего специального образования РСФСР, НГУ 15.05.2009
СТ Эквивалентные преобразования для рекурсивных схем с конечной разверткой 1997 Сабельфельд А. В., Сабельфельд В. К. Программирование 24.04.1997
СТ Эквивалентные преобразования для рекурсивных схем с конечной разверткой 1997 Сабельфельд А. В., Сабельфельд В. К. Программирование 23.04.1997
СТ СОКРАТ: окружение надежного и эффективного программирования 1996 Захаров Л. А., Касьянов В. Н., Кузьминов Т. В., Покровский С. Б., Поттосин И. В., Сабельфельд В. К., Степанов Г. Г., Шелехов В. И. Актуальные проблемы информатики, прикладной математики и механики. Часть III. Информатика. Сб. научных трудов 31.05.1996
М Теория программирования 1995 Сабельфельд В. К. НГУ Часть I 27.12.1995
СТ Рекурсивные схемы: преобразования и отношения эквивалентности 1995 Сабельфельд В. К. Системная информатика Методы теоретического и системного программирования 25.10.1995
П Анализ свойств рекурсивных схем и проблема древесной эквивалентности 1994 Сабельфельд В. К. Lecture Notes in Computer Science ИСИ СО РАН 29.06.1995
СТ Анализатор семантических свойств Модула-программ 1994 Емельянов П. Г., Сабельфельд В. К. Интеллектуализация и качество программного обеспечения: Сборник научных трудов 31.01.1995
СТ Проблема древесной эквивалентности для линейных рекурсивных схем 1994 Сабельфельд В. К. Программирование 24.01.1995
А Анализ свойств и эквивалентные преобразования на моделях программ 1994 Сабельфельд В. К. 13.12.1994
М Введение в компьютерные науки. Учебное пособие 1994 Бежанова М. М., Васючкова Т. С., Глинский Б. М., Касьянов В. В., Кропачев Ю. А., Пищик Б. Н., Поттосин И. В., Сабельфельд В. К. НГУ 01.11.1994
СТ Методы и средства семантического анализа Модула-программ 1993 Брюханова Ю. В., Емельянов П. Г., Касьянов В. Н., Сабельфельд В. К. Конструирование и оптимизация программ 23.03.1994
СТ Анализ некоторых семантических свойств программ аппликативного языка AL 1993 Сабельфельд В. К. Программирование 22.03.1994
СТ Очерк схемной теории рекурсивных программ 1980 Ершов А. П., Сабельфельд В. К. ВЦ СО АН СССР Трансляция и модели программ 25.01.1994
СТ Об одном алгоритме оптимизации рекурсивных программ 1981 Сабельфельд В. К. Методы трансляции 25.01.1994
СТ Анализ потока данных и эквивалентность программных машин 1982 Сабельфельд В. К., Буда А. О. ВЦ СО АН СССР Математическая теория и практика систем программного обеспечения 25.01.1994
СТ Семинар "Преспективы развития в системном и теоретическом программировании 1980 Сабельфельд В. К., Трахтенброт М. Б. Программирование 25.01.1994
СТ Эквивалентные преобразования рекурсивных схем программ 1983 Сабельфельд В. К. ВЦ СО АН СССР Оптимизация и преобразования программ 25.01.1994
СТ О древесной эквивалентности рекурсивных схем программ 1983 Сабельфельд В. К. ВЦ СО АН СССР Трансляция и оптимизация программ 25.01.1994
СТ Семинар "Оптимизация и преобразования программ" 1983 Поттосин И. В., Сабельфельд В. К. Программирование 25.01.1994
СТ Анализ схемных свойств рекурсивных программ 1983 Сабельфельд В. К. Программирование 83: Тез.докл.конф., Приморско, Болгария 25.01.1994
СТ О проблеме древесной пустоты для рекурсивных схем программ 1984 Сабельфельд В. К. НГУ Проблемы системного и теоретического программирования 25.01.1994
СТ Системы автоматического программирования 1984 Сабельфельд В. К., Мацкин А. М. Представление знаний в человеко-машинных и робототехнических системах 25.01.1994
СТ Методы спецификации проблем и синтеза объектных программ 1984 Сабельфельд В. К., Барздинь Я. М., Лавров С. С., Тыугу Э. Х. Представление знаний в человеко-машинных и робототехнических системах 25.01.1994
СТ Учет свойств операции при глобальном анализе свойств программ 1985 Сабельфельд В. К. ВЦ СО АН СССР Математическая теория программирования 25.01.1994
СТ Как учитывать совйства операций при глобальном анализе программ 1986 Сабельфельд В. К. ИМ СО АН СССР Вычислительные системы 25.01.1994
СТ Разработка программы применением преобразований: решение одной олимпиадной задачи 1986 Сабельфельд В. К. НГУ Новые методы конструирования программ 25.01.1994
СТ Об одном подходе к повышению точности статического контроля типов 1986 Сабельфельд В. К., Черноброд Л. В. ВЦ СО АН СССР Методы трансляции и конструирования программ 25.01.1994
СТ Об одном подходе к анализу свойств программ 1987 Сабельфельд В. К., Черноброд Л. В. Программирование 25.01.1994
СТ Разработка программ с помо ью преобразования 1987 Сабельфельд В. К. ВЦ СО АН СССР Информатика.Технологические аспекты 25.01.1994
СТ Функциональная эквивалентность сквозных схем 1988 Сабельфельд В. К. Тезисы докл.II Всесоюз.конф.по прикладной логике 25.01.1994
СТ Анализ алгоритмов 1988 Сабельфельд В. К. Математический энциклопедический словарь 25.01.1994
СТ Оптимизация программ 1988 Сабельфельд В. К. Математический энциклопедический словарь 25.01.1994
СТ Схема программы 1988 Сабельфельд В. К. Математический энциклопедический словарь 25.01.1994
П Метод разметки для глобального анализа свойств 1986 Сабельфельд В. К. ВЦ СО АН СССР 25.01.1994
СТ О сложности эквивалентности операторных схем 1971 Сабельфельд В. К. Тез.докл IX научн.конф./НГУ 24.01.1994
СТ Критерий локальности преобразований операторных схем 1971 Сабельфельд В. К. Кибернетика 24.01.1994
СТ Верхняя оценка сложности разпознавания эквивалентности операторных схем на RASP-машинах 1972 Сабельфельд В. К. Системное и теоретическое программирование/ВЦ СО АН СССР 24.01.1994
П Внутренний язык в многоязыковой системе программирования как средство формализации семантики входных языков 1974 Ершов А. П., Покровский С. Б., Сабельфельд В. К. ВЦ СО АН СССР 24.01.1994
СТ Реализация процедур в многоязыковом трансляторе 1975 Сабельфельд В. К. ВЦ СО АН СССР Методы реализации новых алгоритмических языков 24.01.1994
СТ О преобразованиях унарных линейных рекурсивных схем 1975 Сабельфельд В. К. Кибернетика 24.01.1994
СТ Внутренний язык в многоязыковой системе программирования как средство формализации семантики входных языков 1975 Ершов А. П., Покровский С. Б., Сабельфельд В. К. Elektronische Informationsverarbeitung und Kybernetik 24.01.1994
СТ Эквивиалентные преобразования стандартных схем 1976 Сабельфельд В. К. ВЦ СО АН СССР Проблемы программирования 24.01.1994
СТ Оптимизирую ие преобразования для процедур 1979 Сабельфельд В. К. ИК АН УССР Технология программирования: Труды/Всесоюз.конф.,секция К 24.01.1994
СТ Полиномиальная оценка сложности распознавания логико-терминальной эквивалентности 1979 Сабельфельд В. К. Доклады АН СССР 24.01.1994
СТ Перспективы развития в системном и теоретическом программировании 1979 Сабельфельд В. К., Трахтенброт М. Б. ВЦ СО АН СССР Перспективы развития в системном и теоретическом программировании 24.01.1994
СТ Некоторые оптимизирую ие преобразования для стандартных схем 1979 Сабельфельд В. К. ВЦ СО АН СССР Языки и системы программирования 24.01.1994
П Эквивалентные преобразования стандартных схем 1976 Сабельфельд В. К. ВЦ СО АН СССР 24.01.1994
СТ Трансформационный синтез корректных программ 1986 Непомнящий В. А., Сабельфельд В. К. Прикладная информатика 13.10.1993
СТ Трансформационный синтез корректных программ 1983 Непомнящий В. А., Сабельфельд В. К. ВЦ СО АН СССР Оптимизация и преобразования программ 12.10.1993