Вы здесь

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

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
М Slicing: срезы программ и их использование 2002 Касьянов В. Н., Мирзуитова И. Л. ИСИ СО РАН 17.07.2002
СТ А. П. Ершов и графы в программировании 2006 Касьянов В. Н. Петрозаводский Государственный Университет SORUCOM.2006 - часть II 31.07.2006
СТ АС- система для проверки и испытания программ 1989 Касьянов В. Н. Планирование и автоматизация эксперимента в научных исследованиях: Труды IХ Всесоюз. конф. 16.04.1993
П Автоматизация построения трансляторов 1983 Поттосин И. В., Касьянов В. Н. ВЦ СО АН СССР 30.03.1993
М Автоматизация построения трансляторов: учебное пособие 1983 Касьянов В. Н., Поттосин И. В. НГУ 22.04.1997
СТ Автоматизированное построение программ путем их конкретизации 1983 Касьянов В. Н. Проблемы и информатики и ее применения в управлении, обучении и научных исследованиях 16.04.1993
СТ Алгоритмические вопросы применения теории графов в программировании 1989 Касьянов В. Н., Евстигнеев В. А. Методы и программы решения оптимизационных задач на графах и сетях: Труды IV Всесоюз. сове ания, Новосибирск 16.04.1993
М Алгоритмы на деревьях 1989 Касьянов В. Н., Евстигнеев В. А. 16.04.1993
М Алгоритмы обработки деревьев 1990 Евстигнеев В. А., Касьянов В. Н.
  1. Котов В. Е.
ВЦ СО АН СССР 17.06.1992
СТ Анализ структур программ 1980 Касьянов В. Н. Кибернетика 06.04.1993
СТ Анализ структур программ в глобальной оптимизации 1975 Касьянов В. Н., Трахтенброт М. Б. Труды Всесоюз. симп. по методам реализации новых алгоритмических языков. Ч.1 06.04.1993
СТ Анализ управляю их графов программ 1973 Касьянов В. Н. Системное программирование: Материалы Всесоюз. симп., март, 1973. Ч.II 06.04.1993
СТ Анализ управляю их и информационных свойств программ, ориентированный на статическую проверку их правильности 1986 Касьянов В. Н., Сабельфельд В. К. Проблемы совершенствования, синтеза, тестирования, верификации и отладки программ 16.04.1993
СТ Аннотирование программ и их преобразование 1989 Касьянов В. Н. Программирование 16.04.1993
П Архитектура систем конкретизации 1983 Касьянов В. Н., Поттосин И. В. ВЦ СО АН СССР 21.04.1993
СТ Архитектуры с мелко-зернистым параллелизмом и проблема построения прототипов компиляторов 1997 Булышева Л. А., Евстигнеев В. А., Касьянов В. Н. Труды Сибирской конференции по прикладной и индустриальной математике, посвя енной памяти Л.В.Канторовича 19.09.1997
СТ Базис для оптимизации программ 1983 Касьянов В. Н. Оптимизация и преобразования программ. Ч.1 16.04.1993
М Базисные алгоритмы обработки бесконтурных графов 1995 Евстигнеев В. А., Касьянов В. Н. ИСИ СО РАН 19.11.1996
СТ Быстрый алгоритм выделения максимальных линейных участков в программе 1982 Касьянов В. Н. Математическая теория и практика системс программного обеспечения: Труды советско-болгарского сове ания 16.04.1993
П Введение в дискретную математику. Части 1 и 2. Методические рекомендации 1994 Евстигнеев В. А., Касьянов В. Н. НГУ 16.12.1994
П Введение в дискретную математику. Часть 3. Методические рекомендации 1994 Евстигнеев В. А., Касьянов В. Н. НГУ 16.12.1994
М Введение в теорию оптимизации программ 1985 Касьянов В. Н. ВЦ СО АН СССР 06.04.1993
М Вводный курс программирования на Паскале в заданиях и упражнениях. Часть 1 1999 Касьянов В. Н. НГУ Учебное пособие 21.05.1999
М Вводный курс программирования на Паскале в заданиях и упражнениях. Часть 2 1999 Касьянов В. Н. НГУ Учебное пособие 21.05.1999
СТ Веб-системы поддержки теоретико-графовых методов в программировании 2019 Касьянов В. Н. Преподавание информационных технологий в РФ 21.05.2019
М Визуализация графов и графовых моделей 2010 Касьянов В. Н., Касьянова Е. В. СО РАН, ИСИ СО РАН 13.08.2010
СТ Виртуальный музей истории информатики в Сибири 2002 Касьянов В. Н., Несговорова Г. П., Волянская Т. А. Современные проблемы конструирования программ 17.12.2002
СТ Вопросы инструментальной поддержки визуальной обработки иерархических графовых моделей 1998 Касьянов В. Н., Лисицын И. А. ИНПРИМ-98 27.06.1998
СТ Вопросы информационной поддержки гуманитарных исследований в области культуры 1999 Касьянов В. Н., Несговорова Г. П. Проблемы систем информатики и программирования. Сборник статей ИСИ СО РАН 04.05.2000
СТ Вопросы информационной поддержки научных исследований и преподавания гуманитарных дисциплин 1998 Касьянов В. Н., Несговорова Г. П. Материалы Международной научно-методической конференции "Новые информационные технологии в университетском оразовании" 11.04.2003
СТ Вопросы конкретизации программ 1982 Касьянов В. Н. Проблемы системного и теоретического программирования 16.04.1993
СТ Вопросы моделирования программ при их оптимизации 1981 Касьянов В. Н. Тезисы докладов Всесоюз. конф. по методам трансляции, 3-5 февраля 1981 г., Новосибирск 16.04.1993
СТ Вопросы подготовки специалистов по программированию 1985 Касьянов В. Н. Проблемы информатики и ее применения в управлении, обучении и научных исследованиях 16.04.1993
СТ Вопросы преподавания информатики и программирования 1997 Касьянов В. Н. Оптимизирую ая трансляция и конструирование программ: сборник 09.01.1998
СТ Вопросы преподавания фундаментальных основ информатики и программирования 1996 Городняя Л. В., Евстигнеев В. А., Касьянов В. Н. Новые информационные технологии в университетском образовании 16.04.1996
СТ Вопросы редукции программ 1986 Касьянов В. Н. Методы трансляции и конструирования программ 16.04.1993
СТ Вопросы эффективного использования параллельных ЭВМ 1996 Городняя Л. В., Евстигнеев В. А., Касьянов В. Н. Математические модели и численные методы механики сплошных сред: труды Международной конф. 07.06.1996
СТ Всемирные компьютерные конгрессы ИФИП 2009 Касьянов В. Н. PSI 09, семинар "История информатики в Сибири" 20.07.2009
СТ Выделение гамаков в ориентированном графе 1975 Касьянов В. Н. Доклады Академии наук СССР 06.04.1993
М Графы в программировании: обработка, визуализация и применение 2003 Касьянов В. Н., Евстигнеев В. А. 21.09.2003
М Деревья: основные понятия, свойства и алгоритмы 1992 Евстигнеев В. А., Касьянов В. Н. учеб. пособие 13.03.1993
СТ Дистанционное обученое: методы и средства адаптивной гипермедиа 2004 Касьянов В. Н., Касьянова Е. В. СО РАН, ИСИ СО РАН Программные средства и математические основы информатики 24.08.2004
СТ Иерархические графы и графовые модели: вопросы визуальной обработки 1999 Касьянов В. Н. Проблемы систем информатики и программирования. Сборник статей ИСИ СО РАН 04.05.2000
М Индивидуальные задания по практике на ЭВМ (Методическая разработка) 1979 Касьянов В. Н., Поттосин И. В., Сабельфельд В. К., Трахтенброт М. Б. НГУ 09.04.1980
СТ Инструментальная система для изучения преобразования программ 1994 Евстигнеев В. А., Касьянов В. Н. Интеллектуализация и качество программного обеспечения: Сборник научных трудов 31.01.1995
П Инструментальные средства преобразования программ 1987 Касьянов В. Н., Сабельфельд В. К. ВЦ СО АН СССР 21.04.1993
СТ Инструменты преобразования программ 1988 Касьянов В. Н., Сабельфельд В. К. Автоматизированное рабочее место программиста 16.04.1993
СТ Интегрированная визуальная среда поддержки конструирования параллельных программ 2008 Касьянов В. Н. Проблемы информатики 15.05.2009
СТ Информационные связи и преобразование схем программ 1974 Касьянов В. Н. Системное и теоретическое программирование: Тез. докл./III Всесоюз. симп., Кишинев. Т.2 06.04.1993
СТ К вопросу о реализации схем над распределенной памятью 1977 Касьянов В. Н. Кибернетика 06.04.1993

Редактор:

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