Вы здесь

Главная

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

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
М Теория графов: алгоритмы обработки бесконтурных графов 1998 Евстигнеев В. А., Касьянов В. Н.
  1. Поттосин И. В.
 03.04.1999
СТ Вопросы инструментальной поддержки визуальной обработки иерархических графовых моделей 1998 Касьянов В. Н., Лисицын И. А. ИНПРИМ-98 27.06.1998
СТ Средства поддержки супервычислений 1998 Касьянов В. Н., Евстигнеев В. А., Малинина Ю. В., Бирюкова Ю. В., Маркин В. А., Харитонов Э. В., Цикоза С. Г. ИНПРИМ-98 26.06.1998
СТ Методы и средства визуальной обработки иерархических графовых моделей 1998 Касьянов В. Н., Лисицын И. А. НГУ Материалы Международной научно-методической конференции "Новые информационные технологии в университетском образовании" 06.04.1998
СТ Вопросы преподавания информатики и программирования 1997 Касьянов В. Н. Оптимизирую ая трансляция и конструирование программ: сборник 09.01.1998
П СИМИКС - информационная система для поддержки гуманитарных исследований в области культуры 1997 Касьянов В. Н., Несговорова Г. П. ИСИ СО РАН 11.12.1997
СТ Архитектуры с мелко-зернистым параллелизмом и проблема построения прототипов компиляторов 1997 Булышева Л. А., Евстигнеев В. А., Касьянов В. Н. Труды Сибирской конференции по прикладной и индустриальной математике, посвя енной памяти Л.В.Канторовича 19.09.1997
М Автоматизация построения трансляторов: учебное пособие 1983 Касьянов В. Н., Поттосин И. В. НГУ 22.04.1997
М Методы оптимизации программ: учебное пособие 1984 Касьянов В. Н. НГУ 22.04.1997
М Методы анализа программ: учебное пособие 1982 Касьянов В. Н. НГУ 22.04.1997
СТ Система для редактирования иерархических графов 1997 Касьянов В. Н., Лисицын И. А. Новые информационные технологии в университетском образовании. Сборник трудов 07.04.1997
СТ Параллельная обработка: вопросы обучения 1997 Касьянов В. Н., Городняя Л. В., Евстигнеев В. А., Бирюкова Ю. В., Малинина Ю. В., Цикоза С. Г., Климова Т. А., Харитонов Э. В. Новые информационные технологии в университетском образовании. Сборник трудов 07.04.1997
СТ Оптимизирую ие преобразования в распараллеливаю их компиляторах 1996 Евстигнеев В. А., Касьянов В. Н. Программирование 14.01.1997
М Базисные алгоритмы обработки бесконтурных графов 1995 Евстигнеев В. А., Касьянов В. Н. ИСИ СО РАН 19.11.1996
М Толковый словарь по теории графов. Часть 3 1996 Евстигнеев В. А., Касьянов В. Н. НГУ 31.10.1996
СТ О работах лаборатории конструирования и оптимизации программ в области систем учебной информатики 1995 Городняя Л. В., Касьянов В. Н. Программные системы 22.08.1996
СТ Вопросы эффективного использования параллельных ЭВМ 1996 Городняя Л. В., Евстигнеев В. А., Касьянов В. Н. Математические модели и численные методы механики сплошных сред: труды Международной конф. 07.06.1996
СТ СОКРАТ: окружение надежного и эффективного программирования 1996 Захаров Л. А., Касьянов В. Н., Кузьминов Т. В., Покровский С. Б., Поттосин И. В., Сабельфельд В. К., Степанов Г. Г., Шелехов В. И. Актуальные проблемы информатики, прикладной математики и механики. Часть III. Информатика. Сб. научных трудов 31.05.1996
М Толковый словарь по теории графов. Часть 2 1996 Евстигнеев В. А., Касьянов В. Н.
  1. Мельников Л. С.
 НГУ 25.04.1996
СТ Вопросы преподавания фундаментальных основ информатики и программирования 1996 Городняя Л. В., Евстигнеев В. А., Касьянов В. Н. Новые информационные технологии в университетском образовании 16.04.1996
М Лекции по теории формальных языков, автоматов и сложности вычислений 1995 Касьянов В. Н. НГУ 27.12.1995
М Толковый словарь по теории графов. Часть 1 1995 Евстигнеев В. А., Касьянов В. Н. НГУ 24.06.1995
П Подход к специализации по информатике и программированию в рамках системы непрерывного образования 1995 Городняя Л. В., Касьянов В. Н. ИСИ СО РАН 01.06.1995
СТ Трансформационный подход к конструированию эффективных и надежных программ: модели, методы и алгоритмы 1994 Касьянов В. Н. Интеллектуализация и качество программного обеспечения: Сборник научных трудов 31.01.1995
СТ Инструментальная система для изучения преобразования программ 1994 Евстигнеев В. А., Касьянов В. Н. Интеллектуализация и качество программного обеспечения: Сборник научных трудов 31.01.1995
СТ Трансформационный подход к конструированию эффективных и надежных программ: модели, методы и алгоритмы 1994 Касьянов В. Н. Интеллектуализация и качество программного обеспечения: Сборник научных трудов 30.01.1995
СТ О свойстве полноты механизма аннотаций директив 1994 Касьянов В. Н. Интеллектуализация и качество программного обеспечения: Сборник научных трудов 30.01.1995
П Введение в дискретную математику. Части 1 и 2. Методические рекомендации 1994 Евстигнеев В. А., Касьянов В. Н. НГУ 16.12.1994
П Введение в дискретную математику. Часть 3. Методические рекомендации 1994 Евстигнеев В. А., Касьянов В. Н. НГУ 16.12.1994
М Теория графов: алгоритмы обработки деревьев 1994 Евстигнеев В. А., Касьянов В. Н. 17.06.1994
СТ Методы и средства семантического анализа Модула-программ 1993 Брюханова Ю. В., Емельянов П. Г., Касьянов В. Н., Сабельфельд В. К. Конструирование и оптимизация программ 23.03.1994
СТ Системы учебной информатики 1993 Городняя Л. В., Касьянов В. Н. Конструирование и оптимизация программ 22.03.1994
СТ Трансформационные методы и средства конструирования эффективных и надежных программ 1993 Касьянов В. Н. Кибернетика и системный анализ 20.08.1993
СТ Трансформационные методы и средства конструирования эффективных и надежных программ 1993 Касьянов В. Н. Кибернетика и системный анализ 19.08.1993
СТ Творческое наследие В.Э.Иткина 1993 Бульонков М. А., Городняя Л. В., Касьянов В. Н., Котляров В. П., Непомнящий В. А., Цейтлин Г. Е., Шилов Н. В. Кибернетика и системный анализ 19.08.1993
П Разгрузка участков повторяемости 1979 Касьянов В. Н. ВЦ СО АН СССР 21.04.1993
П Оптимизация программ: обзор подходов 1982 Касьянов В. Н. ВЦ СО АН СССР 21.04.1993
П Инструментальные средства преобразования программ 1987 Касьянов В. Н., Сабельфельд В. К. ВЦ СО АН СССР 21.04.1993
П Преобразования аннотированных программ 1988 Касьянов В. Н. ВЦ СО АН СССР 21.04.1993
П Системы конкретизации: подход и основные понятия 1982 Касьянов В. Н., Поттосин И. В. ВЦ СО АН СССР 21.04.1993
П Архитектура систем конкретизации 1983 Касьянов В. Н., Поттосин И. В. ВЦ СО АН СССР 21.04.1993
СТ Оптимизация крупноблочных программ 1980 Касьянов В. Н. Методы математической логики в проблемах искусственного интеллекта и систематическое программирование: Тез. докл./Всесоюз. конф., Вильнюс, 1980. Ч.1 16.04.1993
СТ Перераспределение памяти в крупноблочных программах 1980 Касьянов В. Н. Трансляция и модели программ 16.04.1993
СТ Вопросы моделирования программ при их оптимизации 1981 Касьянов В. Н. Тезисы докладов Всесоюз. конф. по методам трансляции, 3-5 февраля 1981 г., Новосибирск 16.04.1993
СТ К обоснованию алгоритмов преобразования крупноблочных программ 1981 Касьянов В. Н. Программирование 16.04.1993
СТ Быстрый алгоритм выделения максимальных линейных участков в программе 1982 Касьянов В. Н. Математическая теория и практика системс программного обеспечения: Труды советско-болгарского сове ания 16.04.1993
СТ Теоретико-графовые задачи в трансляции 1982 Касьянов В. Н. Методы и программы решения оптимальных задач на графах и сетях. Ч.1 16.04.1993
СТ Язык для представления алгоритмов анализа программ 1982 Касьянов В. Н. Методы и программы решения оптимальных задач на графах и сетях. Ч.1 16.04.1993
СТ Вопросы конкретизации программ 1982 Касьянов В. Н. Проблемы системного и теоретического программирования 16.04.1993
СТ Программы оптимизирую ие преобразования 1982 Касьянов В. Н. Мат. энциклопедия 16.04.1993

Редактор:

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