Scientific Library of Tomsk State University

   E-catalog        

Refine your search


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

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

    • Your search returned 45 results.

    1.
    No cover image available
    Логическое проектирование дискретных устройств учебное пособие : [для студентов, изучающих историю автоматов] Л. И. Буркатовская, Ю. Б. Буркатовская ; Том. гос. ун-т, Фак. прикладной мат. и кибернетики

    by Буркатовская, Людмила Ильинична | Буркатовская, Юлия Борисовна | Томский государственный университет Факультет прикладной математики и кибернетики Кафедра программирования | Томский государственный университет Факультет прикладной математики и кибернетики Кафедра высшей математики и математического моделирования.

    Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Томск Том. гос. ун-т 2011Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    2.
    No cover image available
    Лекции по теории конечных автоматов учебное пособие Г. П. Агибалов, А. М. Оранов ; [ред. А. Ю. Матросова]

    by Агибалов, Геннадий Петрович, 1939-2020 | Оранов, Александр Михайлович.

    Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Томск Издательство Томского университета 1984Availability: No items available :
    Log in to add tags Add to cart
    3.
    Лекции по математической лингвистике В. А. Лапшин

    by Лапшин, Владимир Анатольевич.

    Material type: Text Text; Format: print ; Literary form: Not fiction Language: Russian Publication details: Москва Научный мир 2010Availability: No items available :
    Log in to add tags Add to cart
    4.
    5.
    Информационные технологии на транспорте сборник материалов секции "Информационные технологии на транспорте" юбилейной XV Санкт-Петербургской международной конференции "Региональная информатика - 2016", Санкт-Петербург, 26-28 октября 2016 г. Петербургский гос. ун-т путей сообщения имп. Александра I ; [под ред. Вал. В. Сапожникова]

    by Сапожников, Валерий Владимирович [edt] | "Региональная информатика - 2016", международная конференция 15 2016 Санкт-Петербург.

    Material type: Text Text; Format: electronic available online remote festschrift ; Literary form: Not fiction ; Audience: Specialized; Publication details: Санкт-Петербург ФГБОУ ВО ПГУПС 2016Availability: No items available :
    Log in to add tags Add to cart
    6.
    Конечные эмоциональные автоматы и альтернативный искусственный интеллект монография В. Е. Мешков, В. С. Чураков ; М-во науки и высш. образования Рос. Фед., Ин-т технологий (филиал) Донского гос. техн. ун-та в г. Волгодонске Ростовской области

    by Мешков, Владимир Евгеньевич | Чураков, Вадим Сергеевич.

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Language: Russian Publication details: Ростов-на-Дону [и др.] НОК 2019Availability: No items available :
    Log in to add tags Add to cart
    7.
    No cover image available
    Методы синтеза установочных и различающих экспериментов с недетерминированными автоматами диссертация на соискание ученой степени кандидата физико-математических наук : 05.13.01 Кушик Наталья Геннадьевна ; науч. рук. Н. В. Евтушенко ; Том. гос. ун-т

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

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Томск [б. и.] 2013Availability: No items available :
    Log in to add tags Add to cart
    8.
    No cover image available
    9.
    No cover image available
    Математический сборник Вып. 2 Том. гос. ун-т им. В. В. Куйбышева ; [редкол.: Ивлев Е. Т. (общ. ред.) и др.]

    by Ивлев, Евгений Тихонович [edt] | Томский государственный университет.

    Material type: Set Set Publication details: Томск Издательство Томского университета 1975Availability: No items available :
    Log in to add tags Add to cart
    10.
    11.
    Информатика учебник : [для студентов вузов по направлению "Педагогическое образование"] А. В. Могилев, Н. И. Пак, Е. К. Хеннер

    by Могилев, Александр Владимирович | Пак, Николай Инсебович | Хеннер, Евгений Карлович, 1946-.

    Series: Высшее образование | БакалавриатMaterial type: Text Text; Format: print ; Literary form: Not fiction Language: Russian Publication details: Москва Академия 2016Availability: No items available :
    Log in to add tags Add to cart
    12.
    Дискретная математика и криптология курс лекций В. М. Фомичев ; под общ. ред. Н. Д. Подуфалова

    by Фомичев, Владимир Михайлович | Подуфалов, Н. Д [edt].

    Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: М. Диалог-МИФИ 2003Availability: No items available :
    Log in to add tags Add to cart
    13.
    No cover image available
    Методы синтеза полных проверяющих тестов для детерминированных автоматов учебно-методическое пособие Том. гос. ун-т, Радиофиз. фак. ; сост. : В. Н. Тренькаев, С. А. Прокопенко

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

    Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Томск [б. и.] 2004Availability: No items available :
    Log in to add tags Add to cart
    14.
    Математические основы теории оптимального и логического управления [учебное пособие для студентов вузов по направлению 220400 "Мехатроника и робототехника"] В. А. Иванов, В. С. Медведев

    by Иванов, Виктор Александрович канд. техн. наук | Медведев, Владимир Степанович.

    Material type: Text Text; Format: print ; Literary form: Not fiction Language: Russian Publication details: Москва Изд-во МГТУ им. Н. Э. Баумана 2011Availability: No items available :
    Log in to add tags Add to cart
    15.
    No cover image available
    16.
    No cover image available
    17.
    No cover image available
    Исследование и разработка конечно-автоматных методов синтеза проверяющих тестов для управляющих систем диссертация на соискание ученой степени кандидата технических наук : 05.13.01 Дорофеева Маргарита Юрьевна ; науч. рук. Н. В. Евтушенко ; Том. гос. ун-т

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

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Томск [б. и.] 2007Availability: No items available :
    Log in to add tags Add to cart
    18.
    Основы управления манипуляционными роботами [учебник для студентов вузов, обучающихся по специальности “Роботы и робототехнические системы”] С. Л. Зенкевич, А. С. Ющенко ; науч. ред. С. Л. Зенкевич, А. С. Ющенко

    by Зенкевич, Станислав Леонидович | Ющенко, Аркадий Семенович.

    Series: РобототехникаEdition: Изд. 2-е, испр. и доп.Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Language: Russian Publication details: М. МГТУ 2004Availability: No items available :
    Log in to add tags Add to cart
    19.
    No cover image available
    20.
    Математика материалы XXVIII всесоюзной научной студенческой конференции "Студент и научно-технический прогресс" Новосиб. гос. ун-т им. Ленинского комсомола ; [редкол.: Ю. И. Мерзляков (отв. ред.) и др.]

    by Мерзляков, Юрий Иванович, 1940-1995 [edt] | "Студент и научно-технический прогресс", всесоюзная научная студенческая конференция 28 1990 Новосибирск.

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Новосибирск [б. и.] 1990Availability: No items available :
    Log in to add tags Add to cart
    21.
    No cover image available
    О сложности и устойчивости вероятностных вычислений диссертация на соискание ученой степени кандидата физико-математических наук : 05.13.01 А. В. Вайсер ; науч. рук. В. П. Тарасенко ; Томский гос. ун-т им. В. В. Куйбышева

    by Вайсер, Анатолий Вольфович, 1949- | Тарасенко, Владимир Петрович, 1934-2003 [ths] | Томский государственный университет.

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

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

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Томск [б. и.] 2010Availability: No items available :
    Log in to add tags Add to cart
    23.
    No cover image available
    Автоматные методы и алгоритмы синтеза тестов для программного обеспечения с использованием подходов формальной верификации диссертация на соискание ученой степени кандидата технических наук : 05.13.01 Ермаков Антон Дмитриевич ; науч. рук. Евтушенко Н. В. ; Том. гос. ун-т

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

    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 :
    Log in to add tags Add to cart
    24.
    No cover image available
    On reducing test length for FSMs with extra states A. Simao, A. Petrenko, N. Yevtushenko

    by Simao, Adenilso da Silva | Petrenko, Alexandre F | Yevtushenko, Nina V | Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур.

    Source: Software Testing Verification and ReliabilityMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    25.
    No cover image available
    Тестирование робастности веб-сервисов на основе композиций конечных автоматов Е. В. Дарусенкова, О. В. Кондратьева

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

    Source: Известия высших учебных заведений. ФизикаMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    26.
    27.
    Лекции по теории экспериментов с конечными автоматами учебное пособие : [для студентов и аспирантов математических и инженерных специальностей] Д. В. Сперанский

    by Сперанский, Дмитрий Васильевич, 1939-.

    Series: Основы информационных технологийMaterial type: Text Text; Format: print ; Literary form: Not fiction Language: Russian Publication details: Москва Интернет-Университет Информационных Технологий [и др.] 2012Availability: No items available :
    Log in to add tags Add to cart
    28.
    29.
    No cover image available
    Анализ и синтез логических схем для проверки функциональных и нефункциональных требований для компонентов телекоммуникационных систем диссертация на соискание ученой степени кандидата технических наук : 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 :
    Log in to add tags Add to cart
    30.
    No cover image available
    Применение конечных автоматов для нечеткого бинарного поиска И. В. Панкратов

    by Панкратов, Иван Владимирович.

    Source: Прикладная дискретная математика. ПриложениеMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    31.
    Введение в теорию автоматов, языков и вычислений Электронный ресурс Джон Хопкрофт, Раджив Мотвани, Джеффри Ульман ; [под ред. А. Б. Ставровского ; пер. с англ. О. И. Васылык и др.]

    by Хопкрофт, Джон Э | Мотвани, Раджив | Ульман, Джеффри Д | Ставровский, Андрей Борисович [edt].

    Edition: 2-е изд.Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Publication details: Москва [и др.] Вильямс 2008Other title: Introduction to Automata Theory, Languages and Computation.Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    32.
    No cover image available
    On separating UML specified non-deterministic finite state machines with time-outs R. Galimullin

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

    Source: Известия высших учебных заведений. ФизикаMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    33.
    Руководство по микропрограммному обеспечению [Джек Ганссл, Крис Кейдел, Олаф Мединг и др. ; пер с англ. А. О. Семенкович] ; под ред. Джека Ганссла

    by Ганссл, Джек | Кейдел, Крис | Мединг, Олаф.

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Москва ДМК Пресс 2016Other title: The Filmware Handbook.Availability: No items available :
    Log in to add tags Add to cart
    34.
    Синтез систем управления движением поездов на железнодорожных станциях с исключением опасных отказов Вл. В. Сапожников

    by Сапожников, Владимир Владимирович.

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Москва Наука 2021Availability: No items available :
    Log in to add tags Add to cart
    35.
    No cover image available
    О выполнимости предикатов при синтезе тестов с гарантированной полнотой для расширения конечных автоматов Ю. В. Михайлов

    by Михайлов, Ю. В.

    Source: Новые информационные технологии в исследовании сложных структур : тезисы докладов седьмой Российской конференции с международным участиемMaterial type: Article Article; Format: print ; Literary form: Not fiction ; Audience: Specialized; Availability: No items available :
    Log in to add tags Add to cart
    36.
    No cover image available
    Homing sequences for nondeterministic finite state machines: on the exponential upper bound reachability N. G. Kushik

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

    Source: Известия высших учебных заведений. ФизикаMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    37.
    Введение в теорию автоматов, языков и вычислений Электронный ресурс Джон Хопкрофт, Раджив Мотвани, Джеффри Ульман ; [под ред. А. Б. Ставровского ; пер. с англ. О. И. Васылык и др.]

    by Хопкрофт, Джон Э | Мотвани, Раджив | Ульман, Джеффри Д | Ставровский, Андрей Борисович [edt].

    Edition: 2-е изд.Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Publication details: Москва [и др.] Вильямс 2002Other title: Introduction to Automata Theory, Languages and Computation.Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    38.
    No cover image available
    Модификация метода построения тестов для конечных автоматов относительно неразделимости Е. А. Акеньшина, Н. В. Шабалдина

    by Акеньшина, Е. А | Шабалдина, Наталия Владимировна.

    Source: Новые информационные технологии в исследовании сложных структур : тезисы докладов седьмой Российской конференции с международным участиемMaterial type: Article Article; Format: print ; Literary form: Not fiction ; Audience: Specialized; Availability: No items available :
    Log in to add tags Add to cart
    39.
    No cover image available
    Generating checking sequences for nondeterministic finite state machines A. Petrenko, A. Simao, N. Yevtushenko

    by Petrenko, Alexandre F | Simao, Adenilso da Silva | Yevtushenko, Nina V | Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур.

    Source: IEEE Fifth International conference on software testing, verification and validation : (ICST 2012), Montreal, Quebec, Canada, 17-21 April 2012Material 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 :
    Log in to add tags Add to cart
    40.
    No cover image available
    On the length of homing sequences for nondeterministic finite state machines N. G. Kushik, N. V. Yevtushenko

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

    Source: Implementation and Application of Automata : 18th International Conference, CIAA 2013 Halifax, NS, Canada, July 16-19, 2013 : ProceedingsMaterial 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 :
    Log in to add tags Add to cart
    41.
    42.
    No cover image available
    Логическое проектирование цифровых систем на основе программируемых логических интегральных схем В. В. Соловьев, А. Климович

    by Соловьев, Валерий Васильевич | Климович, Адам.

    Edition: 2-е изд., стер.Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Language: Russian Publication details: Москва Горячая линия - Телеком 2018Availability: No items available :
    Log in to add tags Add to cart
    43.
    No cover image available
    Parallel Automata-Based Protocols for Multi-Agent Systems D. I. Cheremisinov, L. D. Cheremisinova

    by Cheremisinov, D. I | Cheremisinova, L. D.

    Source: Новые информационные технологии в исследовании сложных структур : тезисы докладов седьмой Российской конференции с международным участиемMaterial type: Article Article; Format: print ; Literary form: Not fiction ; Audience: Specialized; Availability: No items available :
    Log in to add tags Add to cart
    44.
    No cover image available
    Оценка полноты проверки при пассивном тестировании на основе автоматной модели М. В. Жигулин

    by Жигулин, Максим Владимирович.

    Source: Новые информационные технологии в исследовании сложных структур : тезисы докладов седьмой Российской конференции с международным участиемMaterial type: Article Article; Format: print ; Literary form: Not fiction ; Audience: Specialized; Availability: No items available :
    Log in to add tags Add to cart
    45.
    No cover image available
    К описанию детерминированных решений параллельного автоматного уравнения В. Г. Бушков

    by Бушков, В. Г.

    Source: Новые информационные технологии в исследовании сложных структур : тезисы докладов седьмой Российской конференции с международным участиемMaterial type: Article Article; Format: print ; Literary form: Not fiction ; Audience: Specialized; Availability: No items available :
    Log in to add tags Add to cart