Scientific Library of Tomsk State University

   E-catalog        

Refine your search


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

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

  • Your search returned 14 results.

    1.
    2.
    3.
    Конечно автоматные методы анализа и синтеза дискретных систем с одной временной переменной диссертация на соискание ученой степени кандидата физико-математических наук : 05.13.01 Твардовский Александр Сергеевич ; науч. рук. Евтушенко Н. В. ; Том. гос. ун-т

    by Твардовский, Александр Сергеевич | Евтушенко, Нина Владимировна [ths] | Томский государственный университет.

    Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Publication details: Томск [б. и.] 2019Online access: Click here to access online Availability: No items available :
    4.
    Математические вопросы кибернетики Вып. 12 [сборник статей] сост. Н. А. Карпова и др. ; под ред. О. Б. Лупанова

    by Лупанов, Олег Борисович [edt] | Карпова, Н. А [com].

    Material type: Text Text; Format: print ; Audience: Specialized; Publication details: М. Физматлит 2003Availability: No items available :
    5.
    6.
    Методы синтеза полных проверяющих тестов для детерминированных автоматов учебно-методическое пособие Том. гос. ун-т, Радиофиз. фак. ; сост. : В. Н. Тренькаев, С. А. Прокопенко

    by Тренькаев, Вадим Николаевич [com] | Прокопенко, Светлана Анатольевна [com] | Томский государственный университет Радиофизический факультет.

    Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Томск [б. и.] 2004Availability: No items available :
    7.
    Исследование и разработка конечно-автоматных методов синтеза проверяющих тестов для управляющих систем диссертация на соискание ученой степени кандидата технических наук : 05.13.01 Дорофеева Маргарита Юрьевна ; науч. рук. Н. В. Евтушенко ; Том. гос. ун-т

    by Дорофеева, Маргарита Юрьевна | Евтушенко, Нина Владимировна [ths] | Томский государственный университет.

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

    by Спицына, Наталия Владимировна | Евтушенко, Нина Владимировна [sad] | Томский государственный университет.

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

    by Коломеец, Антон Владимирович | Евтушенко, Нина Владимировна [ths] | Томский государственный университет.

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Томск [б. и.] 2010Availability: No items available :
    10.
    Экологические экскурсии в школе пособие для учителей общеобразовательных школ М. А. Кривошеева, М. В. Кислицкая

    by Кривошеева, Мария Акимовна | Кислицкая, Марина Викторовна.

    Series: Школьный корабльMaterial type: Text Text; Format: print ; Literary form: Not fiction Publication details: М. [и др.] ИКЦ "МарТ" 2005Availability: No items available :
    11.
    Введение в вычислительную биологию. Эволюционный подход Бернхард Хаубольд, Томас Вие ; пер. с англ. С. В. Чудова ; под ред. И. И. Артамоновой

    by Хаубольд, Бернхард | Вие, Томас.

    Series: Биоинформатика и молекулярная биологияMaterial type: Text Text; Format: print optical disc; Literary form: Not fiction ; Audience: Specialized; Publication details: Москва [и др.] Институт компьютерных исследований [и др.] 2011Other title: Introduction to computational biology. An evolutionary approach.Availability: No items available :
    12.
    Анализ и синтез логических схем для проверки функциональных и нефункциональных требований для компонентов телекоммуникационных систем диссертация на соискание ученой степени кандидата технических наук : 05.13.01 Лапутенко Андрей Владимирович ; науч. рук. Евтушенко Н. В. ; Томский гос. ун-т

    by Лапутенко, Андрей Владимирович | Евтушенко, Нина Владимировна [ths] | Томский государственный университет.

    Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Publication details: Томск [б. и.] 2020Online access: Click here to access online Availability: No items available :
    13.
    Сокращение длины проверяющего теста на основе дерева декомпозиции В. В. Андреева, К. А. Сорудейкин

    by Андреева, Валентина Валерьевна | Сорудейкин, Кирилл Александрович | Томский государственный университет Факультет прикладной математики и кибернетики Кафедра программирования.

    Source: Известия высших учебных заведений. ФизикаMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
    14.
    Моделирование, тестирование и диагностика цифровых устройств Электронный ресурс [курс лекций] Д. В. Сперанский, Ю. А. Скобцов, В. Ю. Скобцов

    by Сперанский, Дмитрий Васильевич, 1939- | Скобцов, Вадим Ю | Скобцов, Юрий Александрович.

    Edition: 2-е изд., испр.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 :