Scientific Library of Tomsk State University

   E-catalog        

Refine your search


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

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

  • Your search returned 564 results.

    251.
    Сведение решения системы параллельных автоматных неравенств к решению одного неравенства Е. В. Дарусенкова

    by Дарусенкова, Екатерина Владимировна.

    Source: Новые информационные технологии в исследовании сложных структур : материалы десятой Российской конференции с международным участием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 :
    252.
    К оптимизации последовательной композиции структурных автоматов В. А. Яичников, М. В. Ветрова

    by Яичников, В. А | Ветрова, Мария Викторовна.

    Source: Новые информационные технологии в исследовании сложных структур : тезисы докладов восьмой Российской конференции с международным участиемMaterial type: Article Article; Format: print ; Literary form: Not fiction ; Audience: Specialized; Availability: No items available :
    253.
    Метод синтеза тестов для программных реализаций телекоммуникационных протоколов на основе древовидных автоматов М. С. Форостьянова

    by Форостьянова, Мария Сергеевна | Томский государственный университет Научное управление Лаборатории НУ.

    Source: Труды Института системного программирования РАНMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
    254.
    Шифр на основе отображения Эно В. Г. Скобелев, О. В. Тубольцева

    by Скобелев, В. Г | Тубольцева, О. В.

    Source: Доклады IV Сибирской научной школы-семинара с международным участием "Проблемы компьютерной безопасности и криптография" - SYBECRYPT'05 (Томск, ТГУ, 6-9 сентября 2005 г.)Material type: Article Article; Format: print ; Literary form: Not fiction ; Audience: Specialized; Availability: No items available :
    255.
    Абстрактный параллельный автомат В. А. Воробьев

    by Воробьев, В. А.

    Source: Доклады V Сибирской научной школы-семинара с международным участием "Компьютерная безопасность и криптография" - SIBECRYPT'06 (Шушенское, Национальный парк "Шушенский бор", 5-8 сентября 2006 г. )Material type: Article Article; Format: print ; Literary form: Not fiction ; Audience: Specialized; Availability: No items available :
    256.
    Метод клеточных автоматов на примере дифференциального уравнения второго порядка В. Г. Титов

    by Титов, В. Г.

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

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

    Source: Доклады VI Всероссийской конференции с международным участием "Новые информационные технологии в исследовании сложных структур" - ICAM'06 (Шушенское, Национальный парк "Шушенский бор", 5-8 сентября 2006 г.)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 :
    258.
    Композиционный алгоритм для построения адаптивных сеток на основе самоорганизующихся карт О. И. Нечаева

    by Нечаева, О. И.

    Source: Доклады VI Всероссийской конференции с международным участием "Новые информационные технологии в исследовании сложных структур" - ICAM'06 (Шушенское, Национальный парк "Шушенский бор", 5-8 сентября 2006 г.)Material type: Article Article; Format: print ; Literary form: Not fiction ; Audience: Specialized; Availability: No items available :
    259.
    Об оптимальном размещении графа в булевом пространстве А. Д. Закревский

    by Закревский, Аркадий Дмитриевич, 1928-2014.

    Source: Доклады IV Сибирской научной школы-семинара с международным участием "Проблемы компьютерной безопасности и криптография" - SYBECRYPT'05 (Томск, ТГУ, 6-9 сентября 2005 г.)Material type: Article Article; Format: print ; Literary form: Not fiction ; Audience: Specialized; Availability: No items available :
    260.
    Преобразование спецификации при пассивном тестировании телекоммуникационных протоколов М. В. Жигулин, С. А. Прокопенко, Н. В. Евтушенко

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

    Source: Доклады VI Всероссийской конференции с международным участием "Новые информационные технологии в исследовании сложных структур" - ICAM'06 (Шушенское, Национальный парк "Шушенский бор", 5-8 сентября 2006 г.)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 :
    261.
    Отображение физических процессов на их клеточно-автоматные модели О. Л. Бандман

    by Бандман, Ольга Леонидовна.

    Source: Новые информационные технологии в исследовании сложных структур : тезисы докладов седьмой Российской конференции с международным участиемMaterial type: Article Article; Format: print ; Literary form: Not fiction ; Audience: Specialized; Availability: No items available :
    262.
    Параллельная реализация асинхронных клеточно-автоматных алгоритмов К. В. Калгин

    by Калгин, Константин Викторович.

    Source: Новые информационные технологии в исследовании сложных структур : тезисы докладов седьмой Российской конференции с международным участиемMaterial type: Article Article; Format: print ; Literary form: Not fiction ; Audience: Specialized; Availability: No items available :
    263.
    Параллельная реализация вероятностного асинхронного клеточного автомата, моделирующего каталитическую реакцию окисления монооксида углерода (СО) на поверхности палладия (Pd110) А. Е. Шарифулина

    by Шарифулина, А. Е.

    Source: Пятая Сибирская конференция по параллельным и высокопроизводительным вычислениям, Томск, 1-3 декабря 2009 годаMaterial type: Article Article; Format: print ; Literary form: Not fiction ; Audience: Specialized; Availability: No items available :
    264.
    Логика, автоматы, алгоритмы Электронный ресурс М. А. Айзерман, Л. А. Гусев, Л. И. Розоноэр [и др.]

    by Айзерман, Марк Аронович | Гусев, Л. А | Розоноэр, Лев Ильич.

    Material type: Computer file Computer file; Format: electronic available online remote Publication details: [Б. м. б. и. 200-?]Online access: Click here to access online Availability: No items available :
    265.
    266.
    Deriving compositionally deadlock-free components over synchronous automata compositions N. V. Yevtushenko, K. El-Fakih, V. Tiziano, J.-H. R. Jiang

    by Yevtushenko, Nina V | Tiziano, Villa | Jiang, Jie-Hong R | El-Fakih, Khaled.

    Source: The computer journalMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
    267.
    Лекции по теории экспериментов с конечными автоматами учебное пособие : [для студентов и аспирантов математических и инженерных специальностей] Д. В. Сперанский

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

    Series: Основы информационных технологийMaterial type: Text Text; Format: print ; Literary form: Not fiction Language: Russian Publication details: Москва Интернет-Университет Информационных Технологий [и др.] 2012Availability: No items available :
    268.
    Дискретная математика Электронный ресурс учебное пособие И. А. Мальцев

    by Мальцев, Иван Анатольевич.

    Series: Учебники для вузовEdition: Изд. 2-е, испр.Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Санкт-Петербург [и др.] Лань 2011Online access: ЭБС Лань Доступ к полному тексту документа после регистрации пользователя на сайте http://e.lanbook.com/ в локальной сети ТГУ Availability: No items available :
    269.
    Клеточно-автоматное моделирование процесса высокотемпературного горения твердого тела А. С. Попов, М. В. Тригуб, Н. Г. Кушик

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

    Source: Известия высших учебных заведений. ФизикаMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
    270.
    Тестирование робастности веб-сервисов на основе композиций конечных автоматов Е. В. Дарусенкова, О. В. Кондратьева

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

    Source: Известия высших учебных заведений. ФизикаMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
    271.
    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 :
    272.
    Бионика когда наука имитирует природу Агнес Гийо, Жан-Аркади Мейе ; пер. с фр. М. С. Широковой

    by Гийо, Агнес | Мейе, Жан-Аркади.

    Series: Для кофейниковMaterial type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Москва Техносфера 2013Other title: La bionique quand la science imite la nature.Availability: No items available :
    273.
    Применение фреймворка TensorFlow для реализации клеточных автоматов Н. А. Матолыгина, М. Л. Громов, А. К. Матолыгин, С. Н. Торгаев

    by Матолыгина, Наталия Андреевна | Громов, Максим Леонидович | Матолыгин, Арсений Константинович | Торгаев, Станислав Николаевич.

    Source: Новые информационные технологии в исследовании сложных структур : материалы Четырнадцатой международной конференции, 19-24 сентября 2022 г.Material type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Other title: Using the TensorFlow framework for the implementation of cellular automata.Online access: Click here to access online Availability: No items available :
    274.
    Использование конечно-автоматных абстракций при решении задач анализа и синтеза для временных автоматов А. С. Твардовский, Н. В. Евтушенко

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

    Source: Новые информационные технологии в исследовании сложных структур : материалы Четырнадцатой международной конференции, 19-24 сентября 2022 г.Material type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Other title: Solving analysis and synthesis problems for timed finite state machines based on their fsm abstractions.Online access: Click here to access online Availability: No items available :
    275.
    Оптимизация клиентской компоненты по критерию отсутствия лишних диалогов с сервером М. Л. Громов, С. А. Прокопенко, А. П. Сотников, Н. В. Шабалдина

    by Громов, Максим Леонидович | Прокопенко, Светлана Анатольевна | Сотников, Александр Павлович | Шабалдина, Наталия Владимировна.

    Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатикаMaterial type: Article Article; Format: electronic available online remote Other title: Optimization of the client component by the criterion of the absence of redundant dialogues with the server.Online access: Click here to access online Availability: No items available :
    276.
    Low power assignment of partial states of a parallel automaton Yu. V. Pottosin

    by Pottosin, Yu. V.

    Source: Прикладная дискретная математикаMaterial type: Article Article; Format: electronic available online remote Other title: Энергосберегающее кодирование частичных состояний параллельного автомата.Online access: Click here to access online Availability: No items available :
    277.
    Efficient FPGA implementation of a reconfigurable FSM based on substitutions S. I. Razenkov

    by Razenkov, S. I.

    Source: Материалы VIII Международной молодежной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 26-30 мая 2021 г.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 :
    278.
    FSM-based sequential circuits optimization by changing initial state of specification M. L. Gromov, N. V. Shabaldina, A. Tvardovskii, S. A. Prokopenko

    by Gromov, Maxim L | Shabaldina, Natalia V | Tvardovskii, Aleksandr | Prokopenko, Svetlana A.

    Source: 2021 IEEE East-West Design & Test Symposium (EWDTS) : proceedings, Batumi, Georgia, September 10 – 13, 2021Material 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 :
    279.
    Динамический контроль управляющих автоматов сложных систем дискретной автоматики Ю. Ф. Мухопад, А. Ю. Мухопад, Д. Ц. Пунсык-Намжилов

    by Мухопад, Юрий Федорович | Мухопад, Александр Юрьевич | Пунсык-Намжилов, Даба Цыренович.

    Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатикаMaterial type: Article Article; Format: electronic available online remote Other title: Dynamic control of control automata of complex discrete automation systems.Online access: Click here to access online Availability: No items available :
    280.
    Гид по Computer Science для каждого программиста расширенное издание Вильям Спрингер ; пер. с англ. А. Павлов

    by Спрингер, Вильям.

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Санкт-Петербург [и др.] Питер 2022Other title: A programmer's guide to Computer Science.Availability: No items available :
    281.
    Анализ и синтез логических схем для проверки функциональных и нефункциональных требований для компонентов телекоммуникационных систем диссертация на соискание ученой степени кандидата технических наук : 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 :
    282.
    Метод построения полного проверяющего теста для входо-выходных полуавтоматов М. Л. Громов

    by Громов, Максим Леонидович.

    Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатикаMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
    283.
    284.
    Об обратимости конечных автоматов с конечной задержкой Д. А. Катеринский

    by Катеринский, Денис Аркадьевич | Томский государственный университет Факультет прикладной математики и кибернетики Публикации студентов и аспирантов ФПМК.

    Source: Прикладная дискретная математика. ПриложениеMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
    285.
    Some classes of finite state machines with polynomial length of distinguishing test cases H. Yenigün, N. Yevtushenko, N. Kushik

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

    Source: Proceedings of the 31st Annual ACM Symposium on Applied Computing, Pisa, Italy, April 04-08, 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 :
    286.
    Технология разработки методов построения тестов для недетерминированных автоматов И. Б. Куфарева, Н. В. Евтушенко

    by Куфарева, Ирина Борисовна | Евтушенко, Нина Владимировна.

    Source: Всесибирские чтения по математике и механике: Международная конференция, 17-20 июня 1997 г., г. Томск: Тезисы докладов. Т. 1Material type: Article Article; Format: print ; Literary form: Not fiction ; Audience: Specialized; Availability: No items available :
    287.
    О локальной обратимости конечных автоматов без потери информации О. А. Логачев

    by Логачев, Олег Алексеевич.

    Source: Прикладная дискретная математикаMaterial type: Article Article; Format: electronic available online remote Other title: On the local invertibility of finite state information lossless automata.Online access: Click here to access online Availability: No items available :
    288.
    Синтез безопасных компонентов веб-сервисов на основе решения автоматных уравнений Е. В. Широкова, Н. В. Евтушенко

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

    Source: Современная наука: актуальные проблемы теории и практики. Серия : Естественные и технические наукиMaterial type: Article Article; Format: electronic available online remote Other title: Deriving safe components of web services based on the solution of FSM equations.Online access: Click here to access online Availability: No items available :
    289.
    Влияние особенности взаимодействия в нелинейной среде на распространение медленных возмущений А. А. Казакбаева, И. Ю. Смолин

    by Казакбаева, Айгерим Азаматовна | Смолин, Игорь Юрьевич.

    Source: Международная конференция "Физическая мезомеханика. Материалы с многоуровневой иерархически организованной структурой и интеллектуальные производственные технологии", посвященная 90-летию со дня рождения основателя и первого директора ИФПМ СО РАН академика Виктора Евгеньевича Панина в рамках Международного междисциплинарного симпозиума "Иерархические материалы: разработка и приложения для новых технологий и надежных конструкций", 5-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 :
    290.
    Синтез установочных последовательностей для автоматов с таймаутами А. С. Твардовский, Н. В. Евтушенко

    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 :
    291.
    Deriving homing sequences for Finite State Machines with timeouts A. Tvardovskii, N. V. Yevtushenko

    by Tvardovskii, Aleksandr | Yevtushenko, Nina V.

    Source: The computer journalMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
    292.
    Изучение сложных систем с помощью Python Аллен Б. Дауни ; пер. с англ. Д. А. Беликова

    by Дауни, Аллен Б.

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Москва ДМК Пресс 2019Other title: Think Complexity.Availability: No items available :
    293.
    Научные решения сложных экономических и социальных задач с помощью суперкомпьютеров [монография] В. Л. Макаров, В. В. Окрепилов, А. Б. Бахтизин ; Ин-т проблем регион. экономики Рос. акад. наук, Центр. эконом.-математ. ин-т Рос. акад. наук

    by Макаров, Валерий Леонидович, 1937- | Окрепилов, Владимир Валентинович | Бахтизин, Альберт Рауфович.

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Москва Ленанд 2023Availability: No items available :
    294.
    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 :
    295.
    A practical approach for testing timed deterministic finite state machines with single clock K. El-Fakih, N. Yevtushenko, A. Simao

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

    Source: Science of Computer ProgrammingMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
    296.
    О простых условных экспериментах идентификации обратимых автоматов некоторого класса А. О. Жуковская, В. Н. Тренькаев

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

    Source: Прикладная дискретная математика. ПриложениеMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
    297.
    Checking robustness of web services based on the parallel composition of partial timed finite state machines E. Shirokova

    by Shirokova, Ekaterina.

    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 :
    298.
    О верхней оценке длины разделяющей последовательности Н. В. Евтушенко, Н. В. Спицина

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

    Source: Доклады VI Всероссийской конференции с международным участием "Новые информационные технологии в исследовании сложных структур" - ICAM'06 (Шушенское, Национальный парк "Шушенский бор", 5-8 сентября 2006 г.)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 :
    299.
    Построение тестов для конечных автоматов относительно неразделимости Н. В. Шабалдина, Н. В. Евтушенко

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

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

    by Медведев, Юрий Геннадьевич.

    Source: Доклады VI Всероссийской конференции с международным участием "Новые информационные технологии в исследовании сложных структур" - ICAM'06 (Шушенское, Национальный парк "Шушенский бор", 5-8 сентября 2006 г.)Material type: Article Article; Format: print ; Literary form: Not fiction ; Audience: Specialized; Availability: No items available :