М |
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 |
Евстигнеев В. А., Касьянов В. Н. |
|
- Котов В. Е.
|
ВЦ СО АН СССР |
|
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 |