Вы здесь

Главная

Поттосин И. В.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
М Сборник упражнений по программированию на языке ПАСКАЛЬ 1985 Агафонов В. А., Поттосин И. В., Бежанова М. М., Сабельфельд В. К. Министерство высшего и среднего специального образования РСФСР, НГУ 15.05.2009
М Практическое программирование: структуры данных и алгоритмы 2001 Бежанова М. М., Москвина Л. А., Поттосин И. В. Практическое программирование 21.03.2005
СТ Изложение истории информатики участниками и очевидцами 2004 Поттосин И. В., Городняя Л. В., Калинина Н. А. ИСИ СО РАН Новосибирская школа программирования: перекличка времен 25.02.2005
СТ Исследование социальной истории отечественной информатики: сибирская школа программирования 2004 Калинина Н. А., Поттосин И. В. ИСИ СО РАН Новосибирская школа программирования: перекличка времен 25.02.2005
М Математическое обеспечение ЭВМ: окружения и интерфейсы (Учебное пособие) 1994 Поттосин И. В., Бежанова М. М. НГУ 12.04.2003
М Математическое обеспечение ЭВМ: инструментарий и обучающие средства (Учебное пособие) 1996 Бежанова М. М., Поттосин И. В. НГУ 12.04.2003
СТ Об одном подходе к оценке качества программ 2000 Запреев И. С., Поттосин И. В., Ржанников М. В., Уваров Д. Л.
  1. Ершов А. П.
 Проблемы алгоритмического программирования. Сборник тезисов докладов 11.04.2003
СТ Среда создания алгоритмических спецификаций параллельных программ 2000 Катков С. И., Могилев А. В., Поттосин И. В., Рубан Е. Ю. Проблемы алгоритмического программирования. Сборник тезисов докладов 11.04.2003
М Современные понятия и методы программирования 2000 Бежанова М. М., Поттосин И. В. 23.12.2001
СТ Средства поддержки разработки параллельных вычислительных алгоритмов 2001 Катков С. И., Поттосин И. В. Программирование 19.06.2001
СТ Об окружении разработки параллельных алгоритмов 2000 Катков С. И., Поттосин И. В., Рубан Е. Ю. Тезисы докладов Четвертого сибирского конгресса по прикладной и индустриальной математике (ИНПРИМ-2000). Часть II 22.07.2000
СТ Олимпиады по программированию 2000 Городняя Л. В., Поттосин И. В., Чурина Т. Г. Тезисы докладов Четвертого сибирского конгресса по прикладной и индустриальной математике (ИНПРИМ-2000). Часть IV 21.07.2000
П Текущее состояние российских исследований и разработок в области трансляции 1995 Поттосин И. В. ИСИ СО РАН 03.06.2000
СТ О критериях добротности программ 1998 Поттосин И. В. Системная информатика. Вып.6 28.12.1998
СТ От программирую их программ к системам программирования (Российский опыт) 1998 Любимский Э. З., Поттосин И. В., Шура-Бура М. Р. Труды Международного симпозиума по истории создания первых ЭВМ и вкладе европейцев в развитие компьютерных технологий "Компьютеры в Европе. Прошлое, настоя ее и буду ее" 13.11.1998
СТ А.П.Ершов и становление новосибирской школы программирования 1998 Поттосин И. В. Труды Международного симпозиума по истории создания первых ЭВМ и вкладе европейцев в развитие компьютерных технологий "Компьютеры в Европе. Прошлое, настоя ее и буду ее" 12.11.1998
СТ Об организованности потока данных в программах 1998 Поттосин И. В. ИНПРИМ-98 26.06.1998
СТ Система параллельного программирования, основанная на языке СуперПаскаль 1998 Катков С. И., Поттосин И. В. Труды Шестого Международного семинара "Распределенная обработка информации" 26.06.1998
СТ "Хорошая программа": попытка точного определения понятия 1997 Поттосин И. В. Программирование 01.05.1998
СТ Программистская инженерия: содержание, мнения и тенденции (по итогам 18-ой Конференции по Software Engineering) 1997 Поттосин И. В. Программирование 03.10.1997
СТ "Хорошая программа": попытка точного определения понятия 1997 Поттосин И. В. Программирование 24.04.1997
СТ "Хорошая программа": попытка точного определения понятия 1997 Поттосин И. В. Программирование 23.04.1997
М Автоматизация построения трансляторов: учебное пособие 1983 Касьянов В. Н., Поттосин И. В. НГУ 22.04.1997
М АЛЬФА - система автоматизации программирования 1967 Бабецкий Г. И., Бежанова М. М., Волошин Ю. М., Ершов А. П., Загацкий Б. А., Змиевская Л. Л., Кожухин Г. И., Кожухина С. К., Михалевич Ю. И., Мишкович Р. Д., Поттосин И. В., Трохан Л. К. 19.04.1997
П О критериях добротности программ 1996 Поттосин И. В. ИСИ СО РАН 23.10.1996
СТ О возможности точного определения что такое "хорошая программа" 1996 Поттосин И. В. Математические модели и численные методы механики сплошных сред: труды Международной конф. 06.06.1996
СТ СОКРАТ: окружение надежного и эффективного программирования 1996 Захаров Л. А., Касьянов В. Н., Кузьминов Т. В., Покровский С. Б., Поттосин И. В., Сабельфельд В. К., Степанов Г. Г., Шелехов В. И. Актуальные проблемы информатики, прикладной математики и механики. Часть III. Информатика. Сб. научных трудов 31.05.1996
СТ Структурное конструирование как дисциплина построения надежных программ и инструменты его поддержки 1995 Анисков М. И., Болтаев Т. Б., Кочетов Д. В., Кузьминов Т. В., Поттосин И. В. Средства и инструменты окружений программирования 20.12.1995
М Введение в компьютерные науки. Учебное пособие 1994 Бежанова М. М., Васючкова Т. С., Глинский Б. М., Касьянов В. В., Кропачев Ю. А., Пищик Б. Н., Поттосин И. В., Сабельфельд В. К. НГУ 01.11.1994
СТ Предисловие 1994 Поттосин И. В. Избранные труды/А.П.Ершов 25.06.1994
СТ Андрей Петрович Ершов: жизнь и творчество 1994 Поттосин И. В. Избранные труды/А.П.Ершов 24.06.1994
СТ Конференция "Формальные методы в программировании и их применения" 1993 Непомнящий В. А., Поттосин И. В. Программирование 22.03.1994
СТ Семинар "Оптимизация и преобразования программ" 1983 Поттосин И. В., Сабельфельд В. К. Программирование 25.01.1994
СТ О структурном конструировании и инструментах его поддержки 1992 Болтаев Т. Б., Кузьминов Т. В., Поттосин И. В. Среда программирования: методы и инструменты 24.09.1993
СТ Этические проблемы программирования. Предисловие 1993 Иванников В. П., Поттосин И. В. Программирование 02.09.1993
М Математическое обеспечение ЭВМ: средства и инструменты (Учебное пособие) 1993 Поттосин И. В., Бежанова М. М. НГУ 01.07.1993
П Система СОКРАТ: окружение программирования для встроенных систем 1992 Поттосин И. В. ИСИ СО АН СССР 27.05.1993
П Системы конкретизации: подход и основные понятия 1982 Касьянов В. Н., Поттосин И. В. ВЦ СО АН СССР 21.04.1993
П Архитектура систем конкретизации 1983 Касьянов В. Н., Поттосин И. В. ВЦ СО АН СССР 21.04.1993
СТ Глобальная оптимизация: практический подход 1975 Поттосин И. В. Труды Всесоюз. симп. по методам реализации новых языков 30.03.1993
СТ Теоретическое программирование в СССР 1972 Поттосин И. В. Системное и теоретическое программирование 30.03.1993
СТ Исследования в области теоретического и системного программирования и их применение в автоматизации программирования и разработке математического обеспечения 1977 Поттосин И. В. Фундаментальные исследования. Физико-математические и технические науки (СО АН СССР 20 лет) 30.03.1993
СТ Архитектура универсальных систем аналитических преобразований: приспособляемость к классу задач и связь с системами программирования 1977 Поттосин И. В., Калинина Н. А. Теория и практика системного программирования 30.03.1993
СТ О роли и методах оптимизации программ 1978 Поттосин И. В. Перспективы развития в системном и теоретическом программировании 30.03.1993
М Методы трансляции 1978 Поттосин И. В., Касьянов В. Н. 30.03.1993
СТ Технологические возможности оптимизации программ 1979 Поттосин И. В., Касьянов В. Н. Тез. докл. 1-ой Всесоюз. конф. по технологии программирования (секция К) 30.03.1993
СТ Оптимизирую ие преобразования линейных участков 1979 Поттосин И. В. Тез. докл. 1-ой Всесоюз. конф. по технологии программирования (секция К) 30.03.1993
СТ К обоснованию алгоритмов оптимизации программ 1979 Поттосин И. В. Программирование 30.03.1993
СТ О контекстных условиях для корректности преобразований объединения и расчленения циклов 1979 Поттосин И. В. Языки и системы программирования 30.03.1993
СТ Языки реализации для системного программирования 1979 Поттосин И. В. Труды национальной школы "Программирование-79" 30.03.1993

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Новосибирская школа программирования: Перекличка времен 2004
  1. Поттосин И. В.
  2. Городняя Л. В.
 ИСИ СО РАН 26.02.2005
СБ Теория и методология программирования 2002 Системная информатика
  1. Поттосин И. В.
  2. Марчук А. Г.
 Сборник научных трудов 22.03.2003
СБ Теория и методология программирования 2002 Системная информатика
  1. Поттосин И. В.
  2. Марчук А. Г.
 Сборник научных трудов 21.03.2003
СБ Становление новосибирской школы программирования (мозаика воспоминаний) 2001
  1. Поттосин И. В.
 ИСИ СО РАН 02.03.2002
М Теория графов: алгоритмы обработки бесконтурных графов 1998 Евстигнеев В. А., Касьянов В. Н.
  1. Поттосин И. В.
 03.04.1999
СБ Проблемы архитектуры, анализа и разработки программных систем 1998 Системная информатика
  1. Поттосин И. В.
 Сборник научных трудов 28.12.1998
СБ Архитектурные, формальные и программные модели. Сборник научных трудов 1997 Системная информатика
  1. Поттосин И. В.
 11.04.1998
СБ Программные системы 1995
  1. Поттосин И. В.
 ИСИ СО РАН 23.08.1996
СБ Средства и инструменты окружений программирования 1995
  1. Поттосин И. В.
 ИСИ СО РАН 20.12.1995
СБ Методы теоретического и системного программирования 1995 Системная информатика
  1. Поттосин И. В.
 24.10.1995
СБ Инструменты и методы разработки программ 1994
  1. Поттосин И. В.
 ИСИ СО РАН 10.05.1995
СБ Среда программирования: методы и инструменты 1992
  1. Поттосин И. В.
 ИСИ СО РАН 23.09.1993
СБ Программно-инструментальные средства задач информатики 1990
  1. Поттосин И. В.
 ВЦ СО АН СССР 04.03.1992
СБ Информатика и программирование 1989
  1. Поттосин И. В.
 ВЦ СО АН СССР 29.08.1991
СБ Язык МОДУЛА-2, его реализация и использование: Сборник научных трудов 1989
  1. Поттосин И. В.
 ВЦ СО АН СССР 18.03.1991
М Программные системы. Применение, разработка, обоснование 1988
  1. Бахманн П.
  2. Поттосин И. В.
 23.05.1989
М Многоязыковая транслирующая система 1987 Захаров Л. А., Покровский С. Б., Степанов Г. Г., Тен С. В.
  1. Поттосин И. В.
 ВЦ СО АН СССР 15.03.1988
СБ Методы трансляции и конструирования программ. Сборник научных трудов 1986
  1. Ершов А. П.
  2. Поттосин И. В.
 ВЦ СО АН СССР 14.10.1986
СБ Трансляция и оптимизация программ (Сборник научных трудов) 1983
  1. Поттосин И. В.
 ВЦ СО АН СССР 17.05.1984
СБ Языки и системы программирования (Сборник научных трудов) 1981
  1. Поттосин И. В.
 ВЦ СО АН СССР 18.01.1982
СБ Теория и практика программного обеспечения. Труды советско-французского симпозиума, сентябрь 1978 г. Часть 2. 1981
  1. Ершов А. П.
  2. Поттосин И. В.
 ВЦ СО АН СССР 22065 03.09.1981
СБ Теория и практика программного обеспечения. Труды советско-французского симпозиума, сентябрь 1978 г.. Часть 1 1981
  1. Ершов А. П.
  2. Поттосин И. В.
 ВЦ СО АН СССР 15.07.1981
СБ Языки и системы программирования. (Сборник научных трудов) 1979
  1. Поттосин И. В.
  2. Непомнящий В. А.
 ВЦ СО АН СССР 15.12.1979
СБ Перспективы развития в системном и теоретическом программировании (Труды Всесоюзного симпозиума, 1978) 1978
  1. Поттосин И. В.
 ВЦ СО АН СССР 23.02.1978
СБ Теория программирования и методы трансляции. Труды советско-французского симпозиума 1977
  1. Поттосин И. В.
  2. Котов В. Е.
 ВЦ СО АН СССР 15.12.1977
СБ Теория и практика системного программирования. Сборник научных трудов 1977
  1. Котов В. Е.
  2. Поттосин И. В.
 ВЦ СО АН СССР 31.03.1977
М Входной язык для системы АЛЬФА-6 1976
  1. Поттосин И. В.
 ВЦ СО АН СССР 05.07.1976
М Математическое обеспечение ЭВМ: Проект представления модуля прикладной программы 1975 Воронков А. В., Горлин А. И., Загацкий Б. А., Легоньков В. И.
  1. Поттосин И. В.
 ВЦ СО АН СССР 25.05.1975