Вы здесь

Калинина Н. А.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
О АНАЛИТИК - системная программа аналитических преобразований АИСТ-0 1968 Калинина Н. А., Малькова О. Н. ВЦ СО АН СССР 22039 06.09.1968
А Архитектура и алгоритмы универсальной системы аналитических преобразований 1982 Калинина Н. А. 17.03.1982
СТ Архитектура универсальных систем аналитических преобразований: приспособляемость к классу задач и связь с системами программирования 1977 Поттосин И. В., Калинина Н. А. Теория и практика системного программирования 30.03.1993
СТ Выделение начального инструментария программных средств для студента - буду его научного работника 1996 Городняя Л. В., Калинина Н. А. Новые информационные технологии в университетском образовании 15.04.1996
СТ Изложение истории информатики участниками и очевидцами 2004 Поттосин И. В., Городняя Л. В., Калинина Н. А. ИСИ СО РАН Новосибирская школа программирования: перекличка времен 25.02.2005
СТ Исследование вопросов преподавания функционального программирования и компьютерной алгебры в университете 2004 Городняя Л. В., Калинина Н. А. ИСИ СО РАН Новосибирская школа программирования: перекличка времен 25.02.2005
СТ Исследование социальной истории отечественной информатики: сибирская школа программирования 2004 Калинина Н. А., Поттосин И. В. ИСИ СО РАН Новосибирская школа программирования: перекличка времен 25.02.2005
СТ Конкурсы по информатике: цели, методы, результаты 2002 Андреева Т. А., Берс А. А., Водопьянова Н. С., Городняя Л. В., Калинина Н. А., Поляков В. Г., Тихонова Т. И., Соседкина Н. В. Сб. материалов международной телеконференции "Информационные технологии в об еобразовательной школе" 10.12.2002
СТ Конструирование систем аналитических вычислений и преобразования программ 1994 Калинина Н. А. Интеллектуализация и качество программного обеспечения: Сборник научных трудов 30.01.1995
СТ Новые ориентиры об еобразовательной информатики 1998 Берс А. А., Городняя Л. В., Калинина Н. А., Поляков В. Г. Материалы Международной научно-методической конференции "Новые информационные технологии в университетском оразовании" 12.04.2003
СТ О возможностях информационно-образовательных сред с элементами компьютерной алгебры и их применение для обучения 2001 Городняя Л. В., Калинина А. П., Калинина Н. А. Доклады и тезисы IV-й международной конференции памяти академика А.П.Ершова "Перспективы систем информатики", секция "Школьная информатика" 29.03.2002
СТ О проведении аналитических преобразований с использованием схем Канторовича 1986 Калинина Н. А. Новые методы конструирования программ 19.12.1992
СТ Организация практикума для дистанционного обучения программированию 2006 Городняя Л. В., Калинина Н. А. Перспективы системной информатики ИСИ СО РАН Перспективы системной информатики`06 05.07.2006
СТ Проблематика разработки систем аналитических преобразований на ЭВМ 1980 Поттосин И. В., Калинина Н. А. Труды рабочего сове ания по системам и методам аналитических выражений на ЭВМ и их применению в теоретической физике 30.03.1993
СТ Проведение булевых преобразований с помо ью булевых разрешаю их диаграмм 1997 Калинина Н. А., Хегай Ж. Э. Оптимизирую ая трансляция и конструирование программ: сборник 08.01.1998
П Проект верифицируюoего компилятора F@BOOL@. Часть 1: Об ее описание проекта F@BOOL@, его место в компонентном подходе к программированию. Язык Mini-Nil - прототип языка виртуальной машины проекта 2005 Бодин Е. В., Калинина Н. А., Шилов Н. В. ИСИ СО РАН 30.03.2006
П Проект верифицируюoего компилятора F@BOOL@: Часть II: Логические аннотации в языке MINI-NIL, их статическая семантика и семантика времени исполнения 2006 Бодин Е. В., Калинина Н. А., Шилов Н. В. ИСИ СО РАН 29.04.2007
П Система FABULA. Задачи преобразований и оптимизация в булевых алгебрах. Входной язык и архитектура системы 1995 Калинина Н. А., Климов В. А., Нечепуренко М. И. ВЦ СО РАН 02.11.2009
СТ Системы компьютерной алгебры как фундаментальное средство обучения информатике 1997 Калинина Н. А. Новые информационные технологии в университетском образовании. Сборник трудов 07.04.1997
П Системы компьютерной алгебры. Основные возможности и проблемы. Система АУМ 1993 Калинина Н. А. НГУ 02.07.1993
СТ Сравнительный анализ языков для систем аналитических вычислений 1989 Калинина Н. А. Адаптируемые средства программирования. Методы оценки трансляторов. (Матер. шк.-семин. 5-10 июня 1989 г.) 23.03.1991
СТ Среда и средства обеспечения символьно-численного взаимодействия, обеспечиваемые системами компьютерной алгебры 1998 Калинина Н. А. НГУ Материалы Международной научно-методической конференции "Новые информационные технологии в университетском образовании" 06.04.1998
СТ Средства поведения формульных преобразований для задач в булевых алгебрах в системе FABULA 1999 Калинина Н. А., Хегай Ж. Э. Проблемы систем информатики и программирования. Сборник статей ИСИ СО РАН 04.05.2000
СТ Универсальная система проведения аналитических вычислений АУМ 1983 Поттосин И. В., Калинина Н. А., Семенова А. Л. Аналитические вычисления на ЭВМ и их применение в теоретической физике 30.03.1993
СТ Функциональное программирование и компьютерная алгебра в университете 1999 Городняя Л. В., Калинина Н. А. Школьная информатика. Тезисы докладов Третьей международной конференции памяти академика А.П.Ершова "Перспективы систем информатики" 15.07.1999
СТ Функциональное программирование и компьютерная алгебра в университете 1999 Городняя Л. В., Калинина Н. А. Школьная информатика. Тезисы докладов Третьей международной конференции памяти академика А.П.Ершова "Перспективы систем информатики" 16.07.1999
М Язык Си и особенности работы с ним (Учебное пособие) 2006 Калинина Н. А., Костюкова Н. И. Основы информационных технологий 07.07.2006