Вы здесь

Главная

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

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ К обоснованию алгоритмов преобразования крупноблочных программ 1981 Касьянов В. Н. Программирование 16.04.1993
СТ К оценке частоты выполнения операторов и переходов в программе 1975 Касьянов В. Н. Программирование 06.04.1993
СТ К перестраиваемости коммутационных схем 1975 Касьянов В. Н. Вычислительные методы и программирование 06.04.1993
А Комбинаторные задачи анализа программ и оптимизирующей трансляции 1975 Касьянов В. Н. 16.04.1993
СТ Конструирование качественных программ методом конкретизирую их преобразований 1986 Касьянов В. Н. Проблемы совершенствования, синтеза, тестирования, верификации и отладки программ 16.04.1993
СТ Конструирование качественных программ посредством конкретизирую их преобразований 1985 Касьянов В. Н. Надежность и качество программного обеспечения: Тез. докл./Республ. конф., Киев, 1985 16.04.1993
СТ Контекстно-свободные преобразования аннотированных программ 1983 Касьянов В. Н. Автоматизация производства пакетов прикладных программ и трансляторов 16.04.1993
СТ Конференция молодых ученых по системному программированию 1978 Касьянов В. Н. Программирование 06.04.1993
СТ Конференция по методам трансляции и конструирования программ 1985 Касьянов В. Н., Непомнящий В. А. Программирование 16.04.1993
СТ Крупноблочная сегментация и распараллеливание схем программ 1976 Касьянов В. Н., Вальковский В. А. Программирование 06.04.1993
СТ Курс по теории вычислений 2019 Касьянов В. Н., Касьянова Е. В. Преподавание информационных технологий в РФ 21.05.2019
СТ Курс программирования на Паскале в заданиях и упражнениях 2002 Касьянов В. Н. Сб. материалов международной телеконференции "Информационные технологии в об еобразовательной школе" 10.12.2002
М Лекции по теории формальных языков, автоматов и сложности вычислений 1995 Касьянов В. Н. НГУ 27.12.1995
СТ Методика разработки многоязыковых трансляторов на примере системы БЕТА 1982 Поттосин И. В., Ершов А. П., Касьянов В. Н., Покровский С. Б. ВЦ СО АН СССР Математическая теория и практика системного программного обеспечения 30.03.1993
СТ Методические и программные средства поддержки обучения теоретико-графовым методам и алгоритмам 2009 Касьянов В. Н. PSI 09, секция "Информатика и образование" 20.07.2009
СТ Методы анализа потока данных в программах 1984 Касьянов В. Н. Методы и алгоритмы решения оптимизационных задач на графах и сетях: Тез. докл./Всесоюз. сове ание, Новосибирск 16.04.1993
М Методы анализа программ: учебное пособие 1982 Касьянов В. Н. НГУ 22.04.1997
СТ Методы и средства визуальной обработки иерархических графовых моделей 1998 Касьянов В. Н., Лисицын И. А. НГУ Материалы Международной научно-методической конференции "Новые информационные технологии в университетском образовании" 06.04.1998
СТ Методы и средства семантического анализа Модула-программ 1993 Брюханова Ю. В., Емельянов П. Г., Касьянов В. Н., Сабельфельд В. К. Конструирование и оптимизация программ 23.03.1994
М Методы оптимизации программ: учебное пособие 1984 Касьянов В. Н. НГУ 22.04.1997
М Методы построения трансляторов 1986 Поттосин И. В., Касьянов В. Н. 30.03.1993
М Методы трансляции 1978 Поттосин И. В., Касьянов В. Н. 30.03.1993
СТ Методы факторизации алгоритмов анализа и преобразования программ 1985 Касьянов В. Н. Надежность и качество программного обеспечения: Тез. докл./Республ. конф., Киев, 1985 16.04.1993
СТ Музеи и Интернет 2006 Касьянов В. Н. Проблемы интеллектуализации и качества систем информатики 09.02.2007
СТ О нахождении аргументов и результатов в схемах с косвенной адресацией 1976 Касьянов В. Н. Программирование 06.04.1993
СТ О практикуме по программированию в ВУЗе 2014 Касьянов В. Н., Касьянова Е. В. 9-я Ершовская конференция по информатике: Секция "Информатика образования" 05.08.2014
СТ О работах лаборатории конструирования и оптимизации программ в области систем учебной информатики 1995 Городняя Л. В., Касьянов В. Н. Программные системы 22.08.1996
СТ О работе 16-го Всемирного компьютерного Конгресса ИФИП 2001 Касьянов В. Н. Поддержка супервычислений и Интернет-ориентированные технологии 21.02.2002
СТ О свойстве полноты механизма аннотаций директив 1994 Касьянов В. Н. Интеллектуализация и качество программного обеспечения: Сборник научных трудов 30.01.1995
СТ Об автоматическом конструировании качественных программ, основанном на преобразовании 1981 Поттосин И. В., Дзелинский А. М., Касьянов В. Н. Всесоюз.конф. "Программное обеспечение вычислительных сетей и систем реального времени": Тез.докл. 30.03.1993
СТ Об одном алгоритме выделения бикомпонент в ориентированном графе 1974 Касьянов В. Н. Системное и теоретическое программирование 06.04.1993
СТ Об одном методе конструирования качественных версий программ 1985 Касьянов В. Н. Информатика-85 13.02.1991
СТ Обоб енная задача анализа свойств программ 1984 Касьянов В. Н. Методы и алгоритмы решения оптимизационных задач на графах и сетях: Тез. докл./III Всесоюз. сове ание, Новосибирск 16.04.1993
СТ Оптимизация крупноблочных программ 1980 Касьянов В. Н. Методы математической логики в проблемах искусственного интеллекта и систематическое программирование: Тез. докл./Всесоюз. конф., Вильнюс, 1980. Ч.1 16.04.1993
П Оптимизация программ: обзор подходов 1982 Касьянов В. Н. ВЦ СО АН СССР 21.04.1993
СТ Оптимизирую ие преобразования в распараллеливаю их компиляторах 1996 Евстигнеев В. А., Касьянов В. Н. Программирование 14.01.1997
М Оптимизирую ие преобразования программ 1988 Касьянов В. Н. 06.04.1993
М Оптимизирующие преобразования программ 1988 Касьянов В. Н. Библиотечка программиста 20.06.1988
А Оптимизирующие преобразования программ и их обоснование методами теории крупноблочных схем 1986 Касьянов В. Н. 02.12.1986
СТ Организация курса по методам трансляции 1988 Касьянов В. Н. V семинар "Проблемы информатики и ее применения в управлении, обучении и научных исследованиях" 16.04.1993
М Основы программирования на языке Паскаль 1987 Касьянов В. Н. 06.04.1993
СТ Параллельная обработка: вопросы обучения 1997 Касьянов В. Н., Городняя Л. В., Евстигнеев В. А., Бирюкова Ю. В., Малинина Ю. В., Цикоза С. Г., Климова Т. А., Харитонов Э. В. Новые информационные технологии в университетском образовании. Сборник трудов 07.04.1997
СТ Перераспределение памяти в крупноблочных программах 1980 Касьянов В. Н. Трансляция и модели программ 16.04.1993
СТ Поддержка супервычислений и Интернет-ориентированные технологии 1998 Касьянов В. Н., Евстигнеев В. А., Малинина Ю. В., Бирюкова Ю. В., Маркин В. А., Харитонов Э. В., Цикоза С. Г. Материалы Международной научно-методической конференции "Новые информационные технологии в университетском оразовании" 11.04.2003
П Подход к специализации по информатике и программированию в рамках системы непрерывного образования 1995 Городняя Л. В., Касьянов В. Н. ИСИ СО РАН 01.06.1995
СТ Полнота класса крупноблочных схем 1982 Касьянов В. Н. Программные системы и вопросы эффективности использования ЭВМ 16.04.1993
М Практикум по программированию 2001 Касьянов В. Н. Новосибирский государственный университет 07.03.2001
П Практический подход к оптимизации программ 1978 Касьянов В. Н. ВЦ СО АН СССР 16.04.1993
СТ Представление графов и графовых моделей: базовые средства языка GraphML 2018 Касьянов В. Н., Касьянова Е. В. Проблемы информатики 21.04.2018
П Преобразования аннотированных программ 1988 Касьянов В. Н. ВЦ СО АН СССР 21.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