Scientific Library of Tomsk State University

   E-catalog        

Refine your search


База знаний по целевым капиталам

  •    Эндаумент
       Фандрайзинг
       Нормативные документы

  • Your search returned 6 results.

    1.
    Метод синтеза тестов для программных реализаций телекоммуникационных протоколов на основе древовидных автоматов М. С. Форостьянова

    by Форостьянова, Мария Сергеевна | Томский государственный университет Научное управление Лаборатории НУ.

    Source: Труды Института системного программирования РАНMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
    2.
    К масштабируемому моделированию влияния стресса на сердечно-сосудистые и онкологические заболевания Н. Г. Кушик, М. С. Форостьянова, Н. В. Евтушенко и др.

    by Кушик, Наталья Геннадьевна | Евтушенко, Нина Владимировна | Жукова, Наталья Григорьевна | Кжышковска, Юлия Георгиевна | Савельева, Ольга Евгеньевна | Форостьянова, Мария Сергеевна | Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур | Томский государственный университет Научное управление Лаборатории НУ.

    Source: Известия высших учебных заведений. ФизикаMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
    3.
    Оценка полноты тестирования реализации протокола TCP на основе конечно автоматных моделей М. Н. Сухоплюев, М. С. Форостьянова

    by Сухоплюев, Максим Николаевич | Форостьянова, Мария Сергеевна | Томский государственный университет Радиофизический факультет Публикации студентов и аспирантов РФФ.

    Source: Новые информационные технологии в исследовании сложных структур : материалы десятой Российской конференции с международным участиемMaterial type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Online access: Click here to access online Availability: No items available :
    4.
    Внесение ошибок в исходный текст программы на C++ при мутационном тестировании М. С. Форостьянова

    by Форостьянова, Мария Сергеевна.

    Source: Программирование и вычислительные системы : материалы 50-й юбилейной международной научной студенческой конференции "Студент и научно-технический прогресс", 13-19 апреля 2012 г.Material type: Article Article; Format: print festschrift ; Literary form: Not fiction ; Audience: Specialized; Availability: No items available :
    5.
    Исследование соответствия между ошибками в программных реализациях и мутантами расширенных автоматов М. С. Форостьянова

    by Форостьянова, Мария Сергеевна.

    Source: Новые информационные технологии в исследовании сложных структур : материалы Девятой Российской конференции с международным участиемMaterial type: Article Article; Format: print ; Literary form: Not fiction ; Audience: Specialized; Availability: No items available :
    6.
    Мутационное тестирование систем, описанных в языке XML, с использованием древовидных автоматов М. С. Форостьянова

    by Форостьянова, Мария Сергеевна | Томский государственный университет Радиофизический факультет Публикации студентов и аспирантов РФФ.

    Source: Известия высших учебных заведений. ФизикаMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :