Scientific Library of Tomsk State University

   E-catalog        

Refine your search


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

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

    • Your search returned 181 results.

    151.
    UML. Проектирование систем реального времени, параллельных и распределенных приложений Гома Х.

    by Гома Х.

    Material type: Text Text; Format: electronic ; Audience: General; Language: Russian Publication details: Москва ДМК Пресс 2007Online access: Click here to access online | Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    152.
    No cover image available
    Языки программирования, формальные грамматики, конечные автоматы и методы трансляции Электронный ресурс учебное пособие Л. В. Горчаков ; Том. гос. ун-т, [Ин-т дистанционного образования]

    by Горчаков, Леонид Всеволодович | Томский государственный университет Институт дистанционного образования.

    Material type: Computer file Computer file; Format: electronic available online remote Publication details: Томск [ИДО ТГУ] 2011Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    153.
    No cover image available
    Исследование отношений квазиэквивалентности, квазиредукции и квазимоделирования между автоматами М. В. Ветрова, Н. В. Евтушенко

    by Ветрова, Мария Викторовна | Евтушенко, Нина Владимировна.

    Source: Доклады IV Сибирской научной школы-семинара с международным участием "Проблемы компьютерной безопасности и криптография" - SYBECRYPT'05 (Томск, ТГУ, 6-9 сентября 2005 г.)Material type: Article Article; Format: print ; Literary form: Not fiction ; Audience: Specialized; Availability: No items available :
    Log in to add tags Add to cart
    154.
    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
    155.
    No cover image available
    К определению понятия самосинхронизирующегося поточного шифра И. В. Панкратов

    by Панкратов, И. В.

    Source: Доклады VI Сибирской научной школы-семинара с международным участием "Компьютерная безопасность и криптография"- SIBECRYPT' 07 (Республика Алтай, Горно-Алтайск, ГАГУ, 4-7 сентября 2007 г.)Material type: Article Article; Format: print ; Literary form: Not fiction ; Audience: Specialized; Availability: No items available :
    Log in to add tags Add to cart
    156.
    No cover image available
    Метод нахождения прогрессивного решения системы автоматных уравнений С. В. Жарикова

    by Жарикова, С. В.

    Source: Доклады V Сибирской научной школы-семинара с международным участием "Компьютерная безопасность и криптография" - SIBECRYPT'06 (Шушенское, Национальный парк "Шушенский бор", 5-8 сентября 2006 г. )Material type: Article Article; Format: print ; Literary form: Not fiction ; Audience: Specialized; Availability: No items available :
    Log in to add tags Add to cart
    157.
    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
    158.
    No cover image available
    К построению подавтоматов без слияний для недетерминированных конечных автоматов А. С. Твардовский, Н. В. Евтушенко

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

    Source: Новые информационные технологии в исследовании сложных структур : материалы двенадцатой конференции с международным участием, 4-8 июня 2018 г.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 :
    Log in to add tags Add to cart
    159.
    No cover image available
    Тестирование с гарантированной полнотой покрытия неисправностей на основе модели временного автомата А. С. Твардовский

    by Твардовский, Александр Сергеевич.

    Source: Труды Пятнадцатой Всероссийской конференции студенческих научно-исследовательских инкубаторов, Томск, 17-19 мая 2018 г.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 :
    Log in to add tags Add to cart
    160.
    No cover image available
    О двухкаскадных конечно-автоматных криптографических генераторах и методах их криптоанализа Г. П. Агибалов, И. А. Панкратова

    by Агибалов, Геннадий Петрович, 1939-2020 | Панкратова, Ирина Анатольевна кандидат физико-математических наук.

    Source: Прикладная дискретная математикаMaterial type: Article Article; Format: electronic available online remote Other title: About 2-cascade finite automata cryptographic generators and their cryptanalysis.Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    161.
    No cover image available
    Криптоанализ двухкаскадного конечно-автоматного генератора с функциональным ключом И. В. Боровкова, И. А. Панкратова, Е. В. Семенова

    by Боровкова, Ирина Вячеславовна | Панкратова, Ирина Анатольевна кандидат физико-математических наук | Семенова, Екатерина Вадимовна.

    Source: Прикладная дискретная математикаMaterial type: Article Article; Format: electronic available online remote Other title: Cryptanalysis of 2-cascade finite automata generator with functional key.Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    162.
    Некоторые задачи идентификации состояний для недетерминированных автоматов Н. В. Евтушенко, Н. Г. Кушик ; Нац. исслед. Том. гос. ун-т, Ин-т системного программирования им. В. П. Иванникова РАН [и др.]

    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 :
    Log in to add tags Add to cart
    163.
    No cover image available
    Fault-tolerant synchronous FSM network design for path delay faults S. A. Ostanin, V. V. Andreeva, N. B. Butorina, D. Tretyakov

    by Andreeva, V. V | Butorina, Natalia B | Tretyakov, D | Ostanin, Sergey A.

    Source: Proceedings of IEEE East-West Design & Test Symposium (EWDTS'2018), Kazan, Russia, September 14-17, 2018Material 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
    164.
    No cover image available
    Adaptive homing is in P N. G. Kushik, N. V. Yevtushenko

    by Kushik, Natalia G | Yevtushenko, Nina V.

    Source: Electronic proceedings in theoretical computer scienceMaterial 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
    165.
    No cover image available
    Applying a model based testing approach for testing the communication protocol between the cash register software and the Loymax service M. S. Forostyanova, N. V. Shabaldina, N. V. Yevtushenko

    by Forostyanova, Maria S | Shabaldina, Natalia V | Yevtushenko, Nina V.

    Source: 2017 International Siberian Conference on Control and Communications (SIBCON), Kazakhstan, Astana, June 29-30, 2017 : 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
    166.
    No cover image available
    On using finite state machines for optimization and testing of SDN controllers A. Berriri, N. G. Kushik, D. Zeghlache

    by Berriri, A | Kushik, Natalia G | Zeghlache, D.

    Source: Новые информационные технологии в исследовании сложных структур : материалы одиннадцатой международной конференции, 6-10 июня 2016 г.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 :
    Log in to add tags Add to cart
    167.
    Основы теории дискретных логических и вычислительных устройств Шоломов Л. А.

    by Шоломов Л. А.

    Edition: 3-е изд., испр.Material type: Text Text; Format: electronic ; Audience: General; Language: Russian Publication details: Санкт-Петербург Лань 2022Online access: Click here to access online | Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    168.
    No cover image available
    Fully delay and multiple stuck-at fault testable sequential circuit design A. Y. Matrosova, S. A. Ostanin, E. A. Nikolaeva, I. E. Kirienko

    by Matrosova, Anzhela Yu | Nikolaeva, Ekaterina A | Kirienko, Irina E | Ostanin, Sergey A | Томский государственный университет Факультет прикладной математики и кибернетики Кафедра программирования.

    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
    169.
    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
    170.
    No cover image available
    Расширение возможностей пакета FSMTest-1.0: вывод автоматов в графическом виде В. С. Белых, Н. В. Шабалдина

    by Белых, Виталий Сергеевич | Шабалдина, Наталия Владимировна.

    Source: Новые информационные технологии в исследовании сложных структур : материалы одиннадцатой международной конференции, 6-10 июня 2016 г.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 :
    Log in to add tags Add to cart
    171.
    No cover image available
    Pseudo-exhaustive testing of sequential circuits for multiple stuck-at faults A. Matrosova, E. Mitrofanov

    by Matrosova, Anzhela Yu | Mitrofanov, Evgenii V.

    Source: Proceedings of IEEE East-West Design & Test Symposium (EWDTS'2016), Yerevan, Armenia, October 14-17, 2016Material 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
    172.
    No cover image available
    Reducing the complexity of checking the existence and derivation of adaptive synchronizing experiments for nondeterministic FSMs N. Kushik, N. Yevtushenko, H. Yenigün

    by Kushik, Natalia G | Yevtushenko, Nina V | Yenigün, Hüsnü.

    Source: Proceedings of the International Workshop on domAin specific Model-based AppRoaches to vErificaTion and validaTiOn (AMARETTO 2016), 19 February, 2016, Rome, ItalyMaterial 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
    173.
    No cover image available
    Deriving tests with guaranteed fault coverage for finite state machines with timeouts A. Tvardovskii, K. El-Fakih, N. V. Yevtushenko

    by Tvardovskii, Aleksandr | El-Fakih, Khaled | Yevtushenko, Nina V.

    Source: Testing software and systems : 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018 : 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
    174.
    No cover image available
    Экспериментальное исследование свойств адаптивных установочных последовательностей для недетерминированных автоматов Е. М. Винарский, А. С. Твардовский

    by Винарский, Евгений Максимович | Твардовский, Александр Сергеевич.

    Source: Новые информационные технологии в исследовании сложных структур : материалы Тринадцатой Международной конференции, 7–9 сентября 2020 г.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 :
    Log in to add tags Add to cart
    175.
    176.
    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
    177.
    No cover image available
    Оптимизация элементов цифровых схем посредством решения систем автоматных уравнений С. Жарикова

    by Жарикова, С. В.

    Source: Доклады IV Всероссийской конференции с международным участием "Новые информационные технологии в исследовании сложных структур" и Сибирской научной школы-семинара "Проблемы компьютерной безопасности" (Томск, ТГУ, 10-13 сентября 2002 г.)Material type: Article Article; Format: print ; Literary form: Not fiction ; Audience: Specialized; Availability: No items available :
    Log in to add tags Add to cart
    178.
    No cover image available
    О прикладной дискретной математике в ТГУ (1970-1999 гг.) Г. П. Агибалов

    by Агибалов, Геннадий Петрович, 1939-2020 | Томский государственный университет Факультет прикладной математики и кибернетики Кафедра защиты информации и криптографии.

    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
    179.
    No cover image available
    Optimizing components of finite state machines composition based on don’t care input sequences in hardware implementation E. Shirokova, L. Evtushenko, A. V. Laputenko

    by Shirokova, Ekaterina | Evtushenko, Larisa | Laputenko, Andrey V.

    Source: 2021 IEEE East-West Design & Test Symposium (EWDTS), Batumi, Georgia, September 10-13, 2021 : 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
    180.
    No cover image available
    Мозг, машина и математика М. Арбиб ; пер. с англ. А. Д. Коршунова ; под ред. М. И. Кратко

    by Арбиб, Майкл А | Кратко, М. И [edt].

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Language: Russian Original language: English Publication details: Москва Наука 1968Availability: No items available :
    Log in to add tags Add to cart
    181.
    No cover image available
    Математическая логика учебник и практикум для вузов В. И. Скорубский, В. И. Поляков, А. Г. Зыков.

    by Скорубский, В. И | Поляков | Зыков.

    Series: Высшее образованиеMaterial type: Text Text; Format: electronic available online remote Publication details: Москва Юрайт 2024Online access: Click here to access online | Click here to access online Availability: No items available :
    Log in to add tags Add to cart