Вы здесь

Главная

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

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Методы анализа потока данных в программах 1984 Касьянов В. Н. Методы и алгоритмы решения оптимизационных задач на графах и сетях: Тез. докл./Всесоюз. сове ание, Новосибирск 16.04.1993
СТ Обоб енная задача анализа свойств программ 1984 Касьянов В. Н. Методы и алгоритмы решения оптимизационных задач на графах и сетях: Тез. докл./III Всесоюз. сове ание, Новосибирск 16.04.1993
М Методы оптимизации программ: учебное пособие 1984 Касьянов В. Н. НГУ 22.04.1997
М Введение в теорию оптимизации программ 1985 Касьянов В. Н. ВЦ СО АН СССР 06.04.1993
СТ Учет априорной информации при анализе свойств состояний программ 1985 Касьянов В. Н. Математическая теория программирования 16.04.1993
СТ Конференция по методам трансляции и конструирования программ 1985 Касьянов В. Н., Непомнящий В. А. Программирование 16.04.1993
СТ Вопросы подготовки специалистов по программированию 1985 Касьянов В. Н. Проблемы информатики и ее применения в управлении, обучении и научных исследованиях 16.04.1993
СТ Конструирование качественных программ посредством конкретизирую их преобразований 1985 Касьянов В. Н. Надежность и качество программного обеспечения: Тез. докл./Республ. конф., Киев, 1985 16.04.1993
СТ Методы факторизации алгоритмов анализа и преобразования программ 1985 Касьянов В. Н. Надежность и качество программного обеспечения: Тез. докл./Республ. конф., Киев, 1985 16.04.1993
СТ Об одном методе конструирования качественных версий программ 1985 Касьянов В. Н. Информатика-85 13.02.1991
М Сборник заданий по практикуму на ЭВМ 1986 Касьянов В. Н., Сабельфельд В. К. 06.04.1993
А Оптимизирующие преобразования программ и их обоснование методами теории крупноблочных схем 1986 Касьянов В. Н. 02.12.1986
М Методы построения трансляторов 1986 Поттосин И. В., Касьянов В. Н. 30.03.1993
СТ Вопросы редукции программ 1986 Касьянов В. Н. Методы трансляции и конструирования программ 16.04.1993
СТ Анализ управляю их и информационных свойств программ, ориентированный на статическую проверку их правильности 1986 Касьянов В. Н., Сабельфельд В. К. Проблемы совершенствования, синтеза, тестирования, верификации и отладки программ 16.04.1993
СТ Советско-французский семинар по информатике 1986 Касьянов В. Н. Программирование 16.04.1993
М Сборник заданий по программированию 1986 Касьянов В. Н., Сабельфельд В. К. 06.04.1993
СТ Теоретико-графовые задачи анализа транслируемых программ 1986 Касьянов В. Н. Исследования по прикладной теории графов 16.04.1993
СТ Конструирование качественных программ методом конкретизирую их преобразований 1986 Касьянов В. Н. Проблемы совершенствования, синтеза, тестирования, верификации и отладки программ 16.04.1993
П Инструментальные средства преобразования программ 1987 Касьянов В. Н., Сабельфельд В. К. ВЦ СО АН СССР 21.04.1993
М Основы программирования на языке Паскаль 1987 Касьянов В. Н. 06.04.1993
М Оптимизирующие преобразования программ 1988 Касьянов В. Н. Библиотечка программиста 20.06.1988
А Эквивалентные и оптимизирующие преобразования крупноблочных схем и программ. 1988 Касьянов В. Н. 27.09.1988
П Преобразования аннотированных программ 1988 Касьянов В. Н. ВЦ СО АН СССР 21.04.1993
П Проблемы преобразования программ 1988 Касьянов В. Н. ВЦ СО АН СССР 15.12.2008
СТ Семантические преобразования программ 1988 Касьянов В. Н. Методы трансляции и конструирования программ: Тез. докл. конф. 16.04.1993
СТ Организация курса по методам трансляции 1988 Касьянов В. Н. V семинар "Проблемы информатики и ее применения в управлении, обучении и научных исследованиях" 16.04.1993
М Оптимизирую ие преобразования программ 1988 Касьянов В. Н. 06.04.1993
СТ Инструменты преобразования программ 1988 Касьянов В. Н., Сабельфельд В. К. Автоматизированное рабочее место программиста 16.04.1993
М Алгоритмы на деревьях 1989 Касьянов В. Н., Евстигнеев В. А. 16.04.1993
СТ АС- система для проверки и испытания программ 1989 Касьянов В. Н. Планирование и автоматизация эксперимента в научных исследованиях: Труды IХ Всесоюз. конф. 16.04.1993
СТ Система для проверки и испытания Фортран-программ 1989 Касьянов В. Н. Автоматизированное проектирование программного обеспечения систем управления движением: Тез.докл. II Всесоюз. сове ания, Харьков 16.04.1993
СТ Алгоритмические вопросы применения теории графов в программировании 1989 Касьянов В. Н., Евстигнеев В. А. Методы и программы решения оптимизационных задач на графах и сетях: Труды IV Всесоюз. сове ания, Новосибирск 16.04.1993
СТ Аннотирование программ и их преобразование 1989 Касьянов В. Н. Программирование 16.04.1993
СТ Трансформационный подход к конкретизации программ 1989 Касьянов В. Н. Кибернетика 16.04.1993
М Алгоритмы обработки деревьев 1990 Евстигнеев В. А., Касьянов В. Н.
  1. Котов В. Е.
 ВЦ СО АН СССР 17.06.1992
СТ Система для анализа, преобразования и инструментовки Фортран-программ 1990 Касьянов В. Н. Программно-инструментальные средства задач информатики 05.03.1992
СТ Трансформационный подход к конструированию и оптимизации программ 1991 Касьянов В. Н. Смешанные вычисления и преобразование программ 18.06.1992
СТ Трансформационный подход к конструированию и оптимизации программ 1991 Касьянов В. Н. Смешанные вычисления и преобразование программ 19.06.1992
М Деревья: основные понятия, свойства и алгоритмы 1992 Евстигнеев В. А., Касьянов В. Н. учеб. пособие 13.03.1993
СТ Системы учебной информатики 1993 Городняя Л. В., Касьянов В. Н. Конструирование и оптимизация программ 22.03.1994
СТ Трансформационные методы и средства конструирования эффективных и надежных программ 1993 Касьянов В. Н. Кибернетика и системный анализ 19.08.1993
СТ Творческое наследие В.Э.Иткина 1993 Бульонков М. А., Городняя Л. В., Касьянов В. Н., Котляров В. П., Непомнящий В. А., Цейтлин Г. Е., Шилов Н. В. Кибернетика и системный анализ 19.08.1993
СТ Методы и средства семантического анализа Модула-программ 1993 Брюханова Ю. В., Емельянов П. Г., Касьянов В. Н., Сабельфельд В. К. Конструирование и оптимизация программ 23.03.1994
СТ Трансформационные методы и средства конструирования эффективных и надежных программ 1993 Касьянов В. Н. Кибернетика и системный анализ 20.08.1993
М Теория графов: алгоритмы обработки деревьев 1994 Евстигнеев В. А., Касьянов В. Н. 17.06.1994
СТ О свойстве полноты механизма аннотаций директив 1994 Касьянов В. Н. Интеллектуализация и качество программного обеспечения: Сборник научных трудов 30.01.1995
СТ Трансформационный подход к конструированию эффективных и надежных программ: модели, методы и алгоритмы 1994 Касьянов В. Н. Интеллектуализация и качество программного обеспечения: Сборник научных трудов 30.01.1995
СТ Инструментальная система для изучения преобразования программ 1994 Евстигнеев В. А., Касьянов В. Н. Интеллектуализация и качество программного обеспечения: Сборник научных трудов 31.01.1995
СТ Трансформационный подход к конструированию эффективных и надежных программ: модели, методы и алгоритмы 1994 Касьянов В. Н. Интеллектуализация и качество программного обеспечения: Сборник научных трудов 31.01.1995

Редактор:

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