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