Вы здесь

Главная

Касьянов В. Н.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Советско-французский семинар по информатике 1986 Касьянов В. Н. Программирование 16.04.1993
СТ Организация курса по методам трансляции 1988 Касьянов В. Н. V семинар "Проблемы информатики и ее применения в управлении, обучении и научных исследованиях" 16.04.1993
СТ Вопросы редукции программ 1986 Касьянов В. Н. Методы трансляции и конструирования программ 16.04.1993
СТ Анализ управляю их и информационных свойств программ, ориентированный на статическую проверку их правильности 1986 Касьянов В. Н., Сабельфельд В. К. Проблемы совершенствования, синтеза, тестирования, верификации и отладки программ 16.04.1993
СТ Теоретико-графовые задачи анализа транслируемых программ 1986 Касьянов В. Н. Исследования по прикладной теории графов 16.04.1993
СТ Конструирование качественных программ методом конкретизирую их преобразований 1986 Касьянов В. Н. Проблемы совершенствования, синтеза, тестирования, верификации и отладки программ 16.04.1993
СТ Инструменты преобразования программ 1988 Касьянов В. Н., Сабельфельд В. К. Автоматизированное рабочее место программиста 16.04.1993
СТ Семантические преобразования программ 1988 Касьянов В. Н. Методы трансляции и конструирования программ: Тез. докл. конф. 16.04.1993
СТ Система для проверки и испытания Фортран-программ 1989 Касьянов В. Н. Автоматизированное проектирование программного обеспечения систем управления движением: Тез.докл. II Всесоюз. сове ания, Харьков 16.04.1993
П Практический подход к оптимизации программ 1978 Касьянов В. Н. ВЦ СО АН СССР 16.04.1993
СТ АС- система для проверки и испытания программ 1989 Касьянов В. Н. Планирование и автоматизация эксперимента в научных исследованиях: Труды IХ Всесоюз. конф. 16.04.1993
СТ Алгоритмические вопросы применения теории графов в программировании 1989 Касьянов В. Н., Евстигнеев В. А. Методы и программы решения оптимизационных задач на графах и сетях: Труды IV Всесоюз. сове ания, Новосибирск 16.04.1993
СТ Эквивалентные преобразования кратных схем 1982 Касьянов В. Н. Программирование 16.04.1993
СТ Трансформационный подход к конкретизации программ 1989 Касьянов В. Н. Кибернетика 16.04.1993
СТ Конференция по методам трансляции и конструирования программ 1985 Касьянов В. Н., Непомнящий В. А. Программирование 16.04.1993
СТ Аннотирование программ и их преобразование 1989 Касьянов В. Н. Программирование 16.04.1993
СТ Базис для оптимизации программ 1983 Касьянов В. Н. Оптимизация и преобразования программ. Ч.1 16.04.1993
СТ Чистка циклов 1983 Касьянов В. Н. Системное и теоретическое программирование: Тез. докл./Всесоюз. симп., Кишинев, 1983 16.04.1993
СТ Контекстно-свободные преобразования аннотированных программ 1983 Касьянов В. Н. Автоматизация производства пакетов прикладных программ и трансляторов 16.04.1993
СТ Автоматизированное построение программ путем их конкретизации 1983 Касьянов В. Н. Проблемы и информатики и ее применения в управлении, обучении и научных исследованиях 16.04.1993
СТ Учет априорной информации при анализе свойств состояний программ 1985 Касьянов В. Н. Математическая теория программирования 16.04.1993
СТ Полнота класса крупноблочных схем 1982 Касьянов В. Н. Программные системы и вопросы эффективности использования ЭВМ 16.04.1993
СТ Спецификация контекста для редукции программ 1984 Касьянов В. Н. Проблемы системного и теоретического программирования 16.04.1993
СТ Редуцирую ие преобразования программ 1983 Касьянов В. Н. Трансляция и оптимизация программ 16.04.1993
СТ Методы факторизации алгоритмов анализа и преобразования программ 1985 Касьянов В. Н. Надежность и качество программного обеспечения: Тез. докл./Республ. конф., Киев, 1985 16.04.1993
СТ Вопросы подготовки специалистов по программированию 1985 Касьянов В. Н. Проблемы информатики и ее применения в управлении, обучении и научных исследованиях 16.04.1993
СТ Обоб енная задача анализа свойств программ 1984 Касьянов В. Н. Методы и алгоритмы решения оптимизационных задач на графах и сетях: Тез. докл./III Всесоюз. сове ание, Новосибирск 16.04.1993
СТ Конструирование качественных программ посредством конкретизирую их преобразований 1985 Касьянов В. Н. Надежность и качество программного обеспечения: Тез. докл./Республ. конф., Киев, 1985 16.04.1993
СТ Эквивалентные преобразования линейных участков программ 1984 Касьянов В. Н. Трансляция и преобразования программ 16.04.1993
СТ Методы анализа потока данных в программах 1984 Касьянов В. Н. Методы и алгоритмы решения оптимизационных задач на графах и сетях: Тез. докл./Всесоюз. сове ание, Новосибирск 16.04.1993
П Архитектура систем конкретизации 1983 Касьянов В. Н., Поттосин И. В. ВЦ СО АН СССР 21.04.1993
П Системы конкретизации: подход и основные понятия 1982 Касьянов В. Н., Поттосин И. В. ВЦ СО АН СССР 21.04.1993
П Преобразования аннотированных программ 1988 Касьянов В. Н. ВЦ СО АН СССР 21.04.1993
П Инструментальные средства преобразования программ 1987 Касьянов В. Н., Сабельфельд В. К. ВЦ СО АН СССР 21.04.1993
П Разгрузка участков повторяемости 1979 Касьянов В. Н. ВЦ СО АН СССР 21.04.1993
П Оптимизация программ: обзор подходов 1982 Касьянов В. Н. ВЦ СО АН СССР 21.04.1993
СТ Творческое наследие В.Э.Иткина 1993 Бульонков М. А., Городняя Л. В., Касьянов В. Н., Котляров В. П., Непомнящий В. А., Цейтлин Г. Е., Шилов Н. В. Кибернетика и системный анализ 19.08.1993
СТ Трансформационные методы и средства конструирования эффективных и надежных программ 1993 Касьянов В. Н. Кибернетика и системный анализ 19.08.1993
СТ Трансформационные методы и средства конструирования эффективных и надежных программ 1993 Касьянов В. Н. Кибернетика и системный анализ 20.08.1993
СТ Системы учебной информатики 1993 Городняя Л. В., Касьянов В. Н. Конструирование и оптимизация программ 22.03.1994
СТ Методы и средства семантического анализа Модула-программ 1993 Брюханова Ю. В., Емельянов П. Г., Касьянов В. Н., Сабельфельд В. К. Конструирование и оптимизация программ 23.03.1994
М Теория графов: алгоритмы обработки деревьев 1994 Евстигнеев В. А., Касьянов В. Н. 17.06.1994
П Введение в дискретную математику. Часть 3. Методические рекомендации 1994 Евстигнеев В. А., Касьянов В. Н. НГУ 16.12.1994
П Введение в дискретную математику. Части 1 и 2. Методические рекомендации 1994 Евстигнеев В. А., Касьянов В. Н. НГУ 16.12.1994
СТ Трансформационный подход к конструированию эффективных и надежных программ: модели, методы и алгоритмы 1994 Касьянов В. Н. Интеллектуализация и качество программного обеспечения: Сборник научных трудов 30.01.1995
СТ О свойстве полноты механизма аннотаций директив 1994 Касьянов В. Н. Интеллектуализация и качество программного обеспечения: Сборник научных трудов 30.01.1995
СТ Инструментальная система для изучения преобразования программ 1994 Евстигнеев В. А., Касьянов В. Н. Интеллектуализация и качество программного обеспечения: Сборник научных трудов 31.01.1995
СТ Трансформационный подход к конструированию эффективных и надежных программ: модели, методы и алгоритмы 1994 Касьянов В. Н. Интеллектуализация и качество программного обеспечения: Сборник научных трудов 31.01.1995
П Подход к специализации по информатике и программированию в рамках системы непрерывного образования 1995 Городняя Л. В., Касьянов В. Н. ИСИ СО РАН 01.06.1995
М Толковый словарь по теории графов. Часть 1 1995 Евстигнеев В. А., Касьянов В. Н. НГУ 24.06.1995

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Конструирование и оптимизация программ 1993
  1. Касьянов В. Н.
 ИСИ СО РАН 22.03.1994
СБ Интеллектуализация и качество программного обеспечения: Сборник научных трудов 1994
  1. Касьянов В. Н.
 ИСИ СО РАН 30.01.1995
СБ Оптимизирующая трансляция и конструирование программ 1997
  1. Касьянов В. Н.
 ИСИ СО РАН 08.01.1998
СБ Проблемы систем информатики и программирования 1999
  1. Касьянов В. Н.
 ИСИ СО РАН 04.05.2000
М Сводимые графы и граф-модели в программировании 1999 Евстигнеев В. А., Касьянов В. Н.
  1. Касьянов В. Н.
 27.11.2000
СБ Поддержка супервычислений и Интернет-ориентированные технологии 2001
  1. Касьянов В. Н.
 ИСИ СО РАН 31.03.2001
СБ Новые информационные технологии в науке и образовании 2003
  1. Касьянов В. Н.
 ИСИ СО РАН 26.12.2003
СБ Программные средства и математические основы информатики 2004
  1. Касьянов В. Н.
 СО РАН, ИСИ СО РАН 25.08.2004
СБ Методы и инструменты конструирования и оптимизации программ 2005 Конструирование и оптимизация программ
  1. Касьянов В. Н.
 ИСИ СО РАН 24.08.2005
СБ Проблемы интеллектуализации и качества систем информатики 2006 Конструирование и оптимизация программ
  1. Касьянов В. Н.
 ИСИ СО РАН 10.02.2007
М Адаптивные методы и средства поддержки дистанционного обучения программированию 2007 Касьянова Е. В. Проблемы конструирования и оптимизации программ
  1. Касьянов В. Н.
 ИСИ СО РАН 25.09.2007
М Эквивалентности для поведенческого анализа параллельных и распределенных вычислительных систем 2007 Тарасюк И. В.
  1. Касьянов В. Н.
 ИСИ СО РАН 26.02.2008
М Эквивалентности для поведенческого анализа параллельных и распределенных вычислительных систем 2007 Тарасюк И. В.
  1. Касьянов В. Н.
 ИСИ СО РАН 27.02.2008
СБ Методы и инструменты конструирования программ 2007
  1. Касьянов В. Н.
 ИСИ СО РАН 06.06.2008
СБ Седьмая международная конференция памяти академика А.П.Ершова ПЕРСПЕКТИВЫ СМСТЕМ ИНФОРМАТИКИ. Семинар "История информатики в Сибири"/Информационный бюллетень. 15июня 2009 года, Новосибирск, Академгородок, Россия 2009
  1. Касьянов В. Н.
 21.07.2009
СБ Конструирование и оптимизация параллельных программ 2008
  1. Касьянов В. Н.
 ИСИ СО РАН, СО РАН 11.11.2009
СБ Проблемы системной информатики 2010 Конструирование и оптимизация программ
  1. Касьянов В. Н.
 ИСИ СО РАН, СО РАН 25.01.2011
СБ Информатика в науке и образовании 2012 Конструирование и оптимизация программ
  1. Касьянов В. Н.
 ИСИ СО РАН 06.05.2013
СБ Семинар "Исторя информатики в Сибири": Труды 7-й международной конференции памяти академика А.П.Ершова "Перспективы систем информатики, PSI 09. Новосибирск, Россия, июнь 2009 2009
  1. Касьянов В. Н.
 26.08.2013
М Система облачного параллельного программирования CPPS: Визуализация и верификация Cloud Sisal программ 2020 Касьянов В. Н., Гордеев Д. С., Золотухин Т. А., Касьянова Е. В., Кондратьев Д. А. Конструирование и оптимизация программ
  1. Касьянов В. Н.
 ИСИ СО РАН 12.03.2021