Scientific Library of Tomsk State University

   E-catalog        

Refine your search


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

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

  • Your search returned 12 results.

    1.
    Методы синтеза установочных и различающих экспериментов с недетерминированными автоматами диссертация на соискание ученой степени кандидата физико-математических наук : 05.13.01 Кушик Наталья Геннадьевна ; науч. рук. Н. В. Евтушенко ; Том. гос. ун-т

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

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Томск [б. и.] 2013Availability: No items available :
    2.
    3.
    Языки и трансляции учебное пособие Б. К. Мартыненко ; С. -Петерб. гос. ун-т

    by Мартыненко, Борис Константинович.

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

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

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Томск [б. и.] 2007Availability: No items available :
    7.
    Доклады IV Сибирской научной школы-семинара с международным участием "Проблемы компьютерной безопасности и криптография" - SIBECRYPT'05 (Томск, ТГУ, 6-9 сентября 2005 г. ) [гл. ред. Г. В. Майер ; отв. ред. вып. В. З. Башкатов]

    by "Проблемы компьютерной безопасности и криптография", сибирская научная школа-семинар с международным участием 4 2005 Томск | Майер, Георгий Владимирович, 1948- [edt] | Башкатов, Виктор Захарович, 1935-2013 [edt] | Томский государственный университет.

    Series: Серия "Математика. Кибернетика. Информатика" Вестник Томского государственного университета. ПриложениеMaterial type: Set Set; Format: electronic available online remote Publication details: Томск Издательство Томского государственного университета 2005Other title: Материалы международных, всероссийских и региональных научных конференций, симпозиумов, школ, проводимых в ТГУ.Online access: Click here to access online Availability: No items available :
    8.
    Классика программирования: алгоритмы, языки, автоматы, компиляторы практический подход Мозговой М. В.

    by Мозговой, Максим В.

    Series: Секреты мастерстваMaterial type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Санкт-Петербург Наука и техника 2006Availability: No items available :
    9.
    Метод идентификации обратимого автомата с известной функцией выходов А. О. Жуковская, В. Н. Тренькаев

    by Жуковская, Александра Олеговна | Тренькаев, Вадим Николаевич.

    Source: Прикладная дискретная математика. ПриложениеMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
    10.
    К синтезу проверяющих тестов для мутационного автомата М. Ю. Дорофеева

    by Дорофеева, Маргарита Юрьевна.

    Source: Новые информационные технологии в исследовании сложных структур : тезисы докладов восьмой Российской конференции с международным участиемMaterial type: Article Article; Format: print ; Literary form: Not fiction ; Audience: Specialized; Availability: No items available :
    11.
    FSMTest-1.0: a manual for researches N. Shabaldina, M. Gromov

    by Shabaldina, Natalia V | Gromov, Maxim L | Томский государственный университет Радиофизический факультет Научные подразделения РФФ | Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур.

    Source: Proceedings of IEEE East-West Design & Test Symposium (EWDTS'2015), Batumi, Georgia, September 26-29, 2015Material 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 :
    12.
    Некоторые задачи идентификации состояний для недетерминированных автоматов Н. В. Евтушенко, Н. Г. Кушик ; Нац. исслед. Том. гос. ун-т, Ин-т системного программирования им. В. П. Иванникова РАН [и др.]

    by Евтушенко, Нина Владимировна | Кушик, Наталья Геннадьевна | Томский государственный университет.

    Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Publication details: Томск STT 2018Other title: Some state identification problems of non-deterministic finite state machines.Online access: Click here to access online Availability: No items available :