Вы здесь

Главная

Чурина Т. Г.

Автор:

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