Вы здесь

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

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Эквивалентные преобразования кратных схем 1982 Касьянов В. Н. Программирование 16.04.1993
СТ Полнота класса крупноблочных схем 1982 Касьянов В. Н. Программные системы и вопросы эффективности использования ЭВМ 16.04.1993
СТ Автоматизированное построение программ путем их конкретизации 1983 Касьянов В. Н. Проблемы и информатики и ее применения в управлении, обучении и научных исследованиях 16.04.1993
СТ Контекстно-свободные преобразования аннотированных программ 1983 Касьянов В. Н. Автоматизация производства пакетов прикладных программ и трансляторов 16.04.1993
СТ Базис для оптимизации программ 1983 Касьянов В. Н. Оптимизация и преобразования программ. Ч.1 16.04.1993
СТ Чистка циклов 1983 Касьянов В. Н. Системное и теоретическое программирование: Тез. докл./Всесоюз. симп., Кишинев, 1983 16.04.1993
СТ Редуцирую ие преобразования программ 1983 Касьянов В. Н. Трансляция и оптимизация программ 16.04.1993
СТ Спецификация контекста для редукции программ 1984 Касьянов В. Н. Проблемы системного и теоретического программирования 16.04.1993
СТ Эквивалентные преобразования линейных участков программ 1984 Касьянов В. Н. Трансляция и преобразования программ 16.04.1993
СТ Методы анализа потока данных в программах 1984 Касьянов В. Н. Методы и алгоритмы решения оптимизационных задач на графах и сетях: Тез. докл./Всесоюз. сове ание, Новосибирск 16.04.1993
СТ Обоб енная задача анализа свойств программ 1984 Касьянов В. Н. Методы и алгоритмы решения оптимизационных задач на графах и сетях: Тез. докл./III Всесоюз. сове ание, Новосибирск 16.04.1993
СТ Конструирование качественных программ посредством конкретизирую их преобразований 1985 Касьянов В. Н. Надежность и качество программного обеспечения: Тез. докл./Республ. конф., Киев, 1985 16.04.1993
СТ Методы факторизации алгоритмов анализа и преобразования программ 1985 Касьянов В. Н. Надежность и качество программного обеспечения: Тез. докл./Республ. конф., Киев, 1985 16.04.1993
СТ Вопросы подготовки специалистов по программированию 1985 Касьянов В. Н. Проблемы информатики и ее применения в управлении, обучении и научных исследованиях 16.04.1993
СТ Учет априорной информации при анализе свойств состояний программ 1985 Касьянов В. Н. Математическая теория программирования 16.04.1993
СТ Конференция по методам трансляции и конструирования программ 1985 Касьянов В. Н., Непомнящий В. А. Программирование 16.04.1993
СТ Теоретико-графовые задачи анализа транслируемых программ 1986 Касьянов В. Н. Исследования по прикладной теории графов 16.04.1993
СТ Конструирование качественных программ методом конкретизирую их преобразований 1986 Касьянов В. Н. Проблемы совершенствования, синтеза, тестирования, верификации и отладки программ 16.04.1993
СТ Анализ управляю их и информационных свойств программ, ориентированный на статическую проверку их правильности 1986 Касьянов В. Н., Сабельфельд В. К. Проблемы совершенствования, синтеза, тестирования, верификации и отладки программ 16.04.1993
СТ Вопросы редукции программ 1986 Касьянов В. Н. Методы трансляции и конструирования программ 16.04.1993
СТ Советско-французский семинар по информатике 1986 Касьянов В. Н. Программирование 16.04.1993
СТ Организация курса по методам трансляции 1988 Касьянов В. Н. V семинар "Проблемы информатики и ее применения в управлении, обучении и научных исследованиях" 16.04.1993
СТ Инструменты преобразования программ 1988 Касьянов В. Н., Сабельфельд В. К. Автоматизированное рабочее место программиста 16.04.1993
СТ Семантические преобразования программ 1988 Касьянов В. Н. Методы трансляции и конструирования программ: Тез. докл. конф. 16.04.1993
СТ Аннотирование программ и их преобразование 1989 Касьянов В. Н. Программирование 16.04.1993
СТ Трансформационный подход к конкретизации программ 1989 Касьянов В. Н. Кибернетика 16.04.1993
СТ Алгоритмические вопросы применения теории графов в программировании 1989 Касьянов В. Н., Евстигнеев В. А. Методы и программы решения оптимизационных задач на графах и сетях: Труды IV Всесоюз. сове ания, Новосибирск 16.04.1993
СТ АС- система для проверки и испытания программ 1989 Касьянов В. Н. Планирование и автоматизация эксперимента в научных исследованиях: Труды IХ Всесоюз. конф. 16.04.1993
СТ Система для проверки и испытания Фортран-программ 1989 Касьянов В. Н. Автоматизированное проектирование программного обеспечения систем управления движением: Тез.докл. II Всесоюз. сове ания, Харьков 16.04.1993
П Практический подход к оптимизации программ 1978 Касьянов В. Н. ВЦ СО АН СССР 16.04.1993
М Алгоритмы на деревьях 1989 Касьянов В. Н., Евстигнеев В. А. 16.04.1993
А Комбинаторные задачи анализа программ и оптимизирующей трансляции 1975 Касьянов В. Н. 16.04.1993
М Сборник индивидуальных заданий по практике на ЭВМ 1981 Касьянов В. Н., Сабельфельд В. К., Трахтенброт М. Б. 06.04.1993
М Сборник заданий по программированию 1986 Касьянов В. Н., Сабельфельд В. К. 06.04.1993
М Основы программирования на языке Паскаль 1987 Касьянов В. Н. 06.04.1993
М Оптимизирую ие преобразования программ 1988 Касьянов В. Н. 06.04.1993
СТ Анализ управляю их графов программ 1973 Касьянов В. Н. Системное программирование: Материалы Всесоюз. симп., март, 1973. Ч.II 06.04.1993
СТ Экономное преобразование несводимых графов 1973 Касьянов В. Н. Системное и теоретическое программирование 06.04.1993
СТ Информационные связи и преобразование схем программ 1974 Касьянов В. Н. Системное и теоретическое программирование: Тез. докл./III Всесоюз. симп., Кишинев. Т.2 06.04.1993
СТ Об одном алгоритме выделения бикомпонент в ориентированном графе 1974 Касьянов В. Н. Системное и теоретическое программирование 06.04.1993
СТ Выделение гамаков в ориентированном графе 1975 Касьянов В. Н. Доклады Академии наук СССР 06.04.1993
СТ К перестраиваемости коммутационных схем 1975 Касьянов В. Н. Вычислительные методы и программирование 06.04.1993
СТ Анализ структур программ в глобальной оптимизации 1975 Касьянов В. Н., Трахтенброт М. Б. Труды Всесоюз. симп. по методам реализации новых алгоритмических языков. Ч.1 06.04.1993
СТ К оценке частоты выполнения операторов и переходов в программе 1975 Касьянов В. Н. Программирование 06.04.1993
СТ Крупноблочная сегментация и распараллеливание схем программ 1976 Касьянов В. Н., Вальковский В. А. Программирование 06.04.1993
СТ О нахождении аргументов и результатов в схемах с косвенной адресацией 1976 Касьянов В. Н. Программирование 06.04.1993
СТ К вопросу о реализации схем над распределенной памятью 1977 Касьянов В. Н. Кибернетика 06.04.1993
СТ Конференция молодых ученых по системному программированию 1978 Касьянов В. Н. Программирование 06.04.1993
СТ Смешанные вычисления и оптимизация программ 1979 Касьянов В. Н. Технология программирования: Тез. докл./I Всесоюз. конф., ИК АН УССР, Киев, 1979. Секция К 06.04.1993
СТ Анализ структур программ 1980 Касьянов В. Н. Кибернетика 06.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