|
СТ |
Системы автоматизированной оценки знаний по программированию: использование в учебном процессе |
2019 |
Иртегов Д. В., Нестеренко Т. В., Чурина Т. Г. |
|
|
|
Информатика образования (ПСИ 19) |
05.08.2019 |
|
М |
Методы программирования: алгоритмы и структуры данных. Часть 3: Динамические структуры данных, алгоритмы на графах. Учебное пособие |
2014 |
Чурина Т. Г., Нестеренко Т. В. |
|
|
НГУ |
|
22.05.2015 |
|
СТ |
Применение автоматизированной системы тестирования NSUts в учебном процессе |
2011 |
Боженкова Е. Н., Нестеренко Т. В., Чурина Т. Г. |
PSI Conference Series |
|
|
Секция "Информатика и образование" |
06.07.2011 |
|
СТ |
Методика подготовки к олимпиадам по программированию |
2009 |
Чурина Т. Г. |
|
|
|
PSI 09, секция "Информатика и образование" |
21.07.2009 |
|
СТ |
Открытая всесибирская олимпиада по программированию имени И.В. Поттосина: опыт десятилетия |
2009 |
Чурина Т. Г., Боженкова Е. Н., Нестеренко Т. В. |
|
|
|
PSI 09, семинар "История информатики в Сибири" |
20.07.2009 |
|
СТ |
Моделирование и верификация коммуникационных протоколов, представленных на языке SDL, с помо ью сетей Петри высокого уровня |
2008 |
Непомнящий В. А., Аргиров В. С., Беломазов Д. М., Быстров А. В., Чурина Т. Г., Четвертаков Е. А. |
|
|
|
Программирование |
27.01.2009 |
|
П |
Моделирование спецификаций языка SDL с помо ью раскрашенных сетей Петри |
2007 |
Машуков М. Ю., Чурина Т. Г. |
|
|
ИСИ СО РАН |
|
19.10.2007 |
|
М |
Методы программирования: перестановки, поиск и сортировка: часть 2: учебное пособие |
2006 |
Цикоза В. А., Чурина Т. Г. |
|
|
ФИТ НГУ |
|
11.01.2007 |
|
СТ |
Методика подготовки Открытой Всесибирской олимпиады по программированию им. И. В. Поттосина |
2006 |
Боженкова Е. Н., Нестеренко Т. В., Чурина Т. Г. |
Перспективы системной информатики |
|
ИСИ СО РАН |
Перспективы системной информатики`06 |
05.07.2006 |
|
СТ |
Программный комплекс SPV для симуляции, анализы и верификации SDL спецификаций коммуникационных протоколов |
2005 |
Непомнящий В. А., Алексеев Г. И., Аргиров В. С., Белоглазоы Д. М., Бфстров А. В., Машуков М. Ю., Москвин С. О., Мыльников С. П., Новиков Р. М., Семенов И. А., Четвертаков Е. А., Чурина Т. Г. |
|
|
|
Методы и средства обработки информации |
11.01.2006 |
|
П |
Моделирование спецификаций языка SDL с помощью модифицированных ИВТ-сетей |
2005 |
Чурина Т. Г., Аргиров В. С. |
|
|
ИСИ СО РАН |
|
01.12.2005 |
|
М |
Методы программирования: представление и кодирование информации. Часть 1 |
2003 |
Цикоза В. А., Чурина Т. Г. |
|
|
ИСИ СО РАН |
Учебное пособие |
05.03.2004 |
|
СТ |
Задачи I Открытой Всесибирской олимпиады по программированию |
2001 |
Иртегов Д. В., Непейвода Н. Н., Чурина Т. Г. |
|
|
|
Доклады и тезисы IV-й международной конференции памяти академика А.П.Ершова "Перспективы систем информатики", секция "Школьная информатика" |
30.03.2002 |
|
СТ |
Верификация коммуникационных протоколов, представленных на языке Estelle, с помо ью сетей Петри высокого уровня |
2001 |
Непомнящий В. А., Алексеев Г. И., Быстров А. В., Мыльников С. П., Окунишникова Е. В., Чубарев П. А., Чурина Т. Г. |
|
|
|
Программирование |
19.06.2001 |
|
А |
Моделирование и валидация коммуникационных протоколов, представленных на языках Estelle и SDL, с помо ью сетей Петри высокого уровня |
2000 |
Чурина Т. Г. |
|
|
|
|
16.11.2000 |
|
СТ |
Верификация коммуникационных протоколов, представленных на языках Estelle и SDL |
2000 |
Непомнящий В. А., Алексеев А. Г., Быстров А. В., Мыльников С. П., Окунишникова Е. В., Чубарев П. А., Чурина Т. Г. |
|
|
|
Тезисы докладов Четвертого сибирского конгресса по прикладной и индустриальной математике (ИНПРИМ-2000). Часть II |
22.07.2000 |
|
СТ |
Трансляция SDL-спецификаций в раскрашенныые сети Петри |
2000 |
Чурина Т. Г. |
|
|
|
Тезисы докладов Четвертого сибирского конгресса по прикладной и индустриальной математике (ИНПРИМ-2000). Часть II |
22.07.2000 |
|
СТ |
Трансляция SDL-спецификаций в раскрашенныые сети Петри |
2000 |
Чурина Т. Г. |
|
|
|
Тезисы докладов Четвертого сибирского конгресса по прикладной и индустриальной математике (ИНПРИМ-2000). Часть II |
21.07.2000 |
|
СТ |
Олимпиады по программированию |
2000 |
Городняя Л. В., Поттосин И. В., Чурина Т. Г. |
|
|
|
Тезисы докладов Четвертого сибирского конгресса по прикладной и индустриальной математике (ИНПРИМ-2000). Часть IV |
21.07.2000 |
|
СТ |
Использование сетей Петри для верификации распределенных систем, представленных на языке Estelle |
1999 |
Алексеев А. Г., Быстровв А. В., Куртов С. А., Мыльников С. П., Непомнящий В. А., Окунишникова Е. В., Чубарев П. А., Чурина Т. Г. |
|
|
|
Известия Академии наук. Теория и системы управления |
10.03.2000 |
|
П |
Моделирование динамических конструкций языка SDL посредством раскрашенных сетей Петри |
2000 |
Чурина Т. Г. |
|
|
ИСИ СО РАН |
|
18.02.2000 |
|
СТ |
Методика подготовки к престижным олимпиадам по информатике |
1999 |
Городняя Л. В., Чурина Т. Г. |
|
|
|
Школьная информатика. Тезисы докладов Третьей международной конференции памяти академика А.П.Ершова "Перспективы систем информатики" |
15.07.1999 |
|
П |
Способ построения раскрашенных сетей Петри, моделирующих SDL-системы |
1998 |
Чурина Т. Г. |
|
|
ИСИ СО РАН |
Lecture Notes in Computer Science |
15.02.1999 |
|
М |
Верификация Estelle-спецификаций распределенных систем посредством раскрашенных сетей Петри |
1998 |
Непомнящий В. А., Алексеев Г. И., Быстров А. В., Куртов С. А., Мыльников С. П., Окунишникова Е. В., Чубарев П. А., Чурина Т. Г. |
|
- Непомнящий В. А.
- Шилов Н. В.
|
ИСИ СО РАН |
|
04.11.1998 |
|
П |
Макет системы "МАРС". Система программирования БАРС. Описание языка |
1988 |
Дудоров Н. Н., Бульонков М. А., Быстров А. В., Касперович Д. А., Чурина Т. Г. |
|
|
ВНТК "СТАРТ" |
|
21.07.1998 |
|
СТ |
Способ построения раскрашенных сетей Петри, моделирую их Estelle-спецификации |
1995 |
Окунишникова Е. В., Чурина Т. Г. |
|
|
|
Проблемы спецификации и верификации параллельных систем. Сборник научных трудов |
15.12.1996 |
|
СТ |
Реализация системы проектирования сетевых моделей в MS-Windows |
1993 |
Алексеев Г. И., Быстров А. В., Мыльников С. П., Чурина Т. Г. |
|
|
|
Проблемы теоретического и экспериментального программирования: Сборник научных трудов |
10.05.1995 |
|
СТ |
Система редактирования таблиц в интегрирую ей среде непосредственного взаимодействия в системе Unix |
1990 |
Бульонков М. А., Дудоров Н. Н., Чурина Т. Г. |
|
|
ИАПУ ДВО АН СССР |
Методы повышения качества программного обеспечения: Материалы сем. |
15.11.1993 |
|
СТ |
Об одном преобразовании рекурсивных схем и его применении для синтеза корректных программ |
1983 |
Непомнящий В. А., Чурина Т. Г. |
|
|
ВЦ СО АН СССР |
Оптимизация и преобразования программ |
12.10.1993 |
|
СТ |
Верификация программ сортировки массивов |
1979 |
Непомнящий В. А., Чурина Т. Г. |
|
|
ВЦ СО АН СССР |
Языки и системы программирования |
11.10.1993 |
|
СТ |
Система программирования БАРС |
1988 |
Бульонков М. А., Быстров А. В., Дудоров Н. Н., Касперович Д. А., Чурина Т. Г. |
|
|
|
Высокопроизводительные вычислительные системы. III Всесоюз. сове ание, Таллин, апрель 1988: Тез.докл. |
11.12.1992 |
