Scientific Library of Tomsk State University

   E-catalog        

Refine your search


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

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

  • Your search returned 12 results.

    1.
    Параллельное программирование с использованием технологии MPI: указания к лабораторным работам учебно-методическое пособие Томский гос. ун-т, Радиофизический фак. ; [сост. А. В. Григорьева, Н. В. Шабалдина]

    by Григорьева, А. В [com] | Шабалдина, Наталия Владимировна [com] | Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур.

    Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Томск [б. и.] 2008Availability: No items available :
    2.
    Автоматные методы и алгоритмы синтеза тестов для программного обеспечения с использованием подходов формальной верификации Электронный ресурс автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.01 Ермаков Антон Дмитриевич

    by Ермаков, Антон Дмитриевич | Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур.

    Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Publication details: Томск [б. и.] 2017Online access: Click here to access online Availability: No items available :
    3.
    Оптимизация многокомпонентных дискретных систем на основе решения автоматных уравнений автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.01

    by Тихомирова, Светлана Владимировна | Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур.

    Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Publication details: Томск [б. и.] 2008Online access: Click here to access online Availability: No items available :
    4.
    Методы выделения подклассов конечных автоматов с пониженными оценками сложности умозрительных экспериментов Электронный ресурс автореферат диссертации на соискание ученой степени доктора физико-математических наук : 05.13.01 Кушик Наталья Геннадьевна

    by Кушик, Наталья Геннадьевна | Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур.

    Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Publication details: Томск [б. и.] 2016Online access: Click here to access online Availability: No items available :
    5.
    Методы синтеза установочных и различающих экспериментов с недетерминированными автоматами автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13.01 Кушик Наталья Геннадьевна

    by Кушик, Наталья Геннадьевна | Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур.

    Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Publication details: Томск [б. и.] 2013Online access: Click here to access online Availability: No items available :
    6.
    Методы синтеза проверяющих тестов с гарантированной полнотой для контроля дискретных управляющих систем на основе временных автоматов автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.01 Жигулин Максим Владимирович

    by Жигулин, Максим Владимирович | Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур.

    Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Publication details: Томск [б. и.] 2012Online access: Click here to access online Availability: No items available :
    7.
    Разработка методов синтеза условных тестов для автоматных моделей с недетерминированным поведением автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13.01

    by Громов, Максим Леонидович | Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур.

    Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Publication details: Томск [б. и.] 2009Online access: Click here to access online Availability: No items available :
    8.
    Исследование и разработка конечно-автоматных методов синтеза проверяющих тестов для управляющих систем автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.01

    by Дорофеева, Маргарита Юрьевна | Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур.

    Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Publication details: Томск [б. и.] 2007Online access: Click here to access online Availability: No items available :
    9.
    Методы выделения подклассов конечных автоматов с пониженными оценками сложности умозрительных экспериментов автореферат диссертации на соискание ученой степени доктора физико-математических наук : 05.13.01 Кушик Наталья Геннадьевна

    by Кушик, Наталья Геннадьевна | Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур.

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Томск [б. и.] 2016Availability: No items available :
    10.
    Автоматные методы и алгоритмы синтеза тестов для программного обеспечения с использованием подходов формальной верификации автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.01 Ермаков Антон Дмитриевич

    by Ермаков, Антон Дмитриевич | Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур.

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Томск [б. и.] 2017Availability: No items available :
    11.
    Алгоритмы синтеза проверяющих тестов для управляющих систем на основе расширенных автоматов автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.01

    by Коломеец, Антон Владимирович | Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур.

    Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Publication details: Томск [б. и.] 2010Online access: Click here to access online Availability: No items available :
    12.
    Недетерминированные автоматы: анализ и синтез Ч. 2 [учебное пособие] Н. В. Евтушенко, М. В. Рекун, С. В. Тихомирова ; [Том. гос. ун-т, Радиофиз. фак-т]

    by Евтушенко, Нина Владимировна | Рекун, М. В | Тихомирова, Светлана Владимировна | Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур.

    Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Томск Том. гос. ун-т 2009Other title: Решение автоматных уравнений.Online access: Click here to access online Availability: No items available :