Scientific Library of Tomsk State University

   E-catalog        

Refine your search


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

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

  • Your search returned 564 results.

    351.
    Testing microcontroller based physical systems using finite transition models L. A. Laputenko, T. D. Petukhov, N. A. Vasnev

    by Laputenko, Andrey V | Petukhov, Timofey D | Vasnev, Nikolai A.

    Source: 19th International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices (EDM 2018), Erlagol, Altai Republic, 29 June - 3 July, 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 :
    352.
    Минимизация автоматов с таймаутами и временными ограничениями А. С. Твардовский, Н. В. Евтушенко, М. Л. Громов

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

    Source: Труды Института системного программирования РАНMaterial type: Article Article; Format: electronic available online remote Other title: Minimizing Finite State Machines with time guards and timeouts.Online access: Click here to access online Availability: No items available :
    353.
    Finite automata and application to cryptography Electronic resource Renji Tao

    by Tao, Renji.

    Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Publication details: [Beijing a. o. Tsinghua University Press a. o. 2008]Online access: Click here to access online Availability: No items available :
    354.
    Автоматная модель контроля знаний в интеллектуальных обучающих системах Н. В. Евтушенко, Н. А. Паршина, А. Е. Янковская

    by Евтушенко, Нина Владимировна | Паршина, Нина Андреевна | Янковская, Анна Ефимовна.

    Source: Математическое моделирование. Кибернетика. ИнформатикаMaterial type: Article Article; Format: print ; Literary form: Not fiction ; Audience: Specialized; Availability: No items available :
    355.
    Технология разработки методов построения тестов для недетерминированных автоматов И. Б. Куфарева, Н. В. Евтушенко

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

    Source: Международная конференция "Всесибирские чтения по математике и механике", 17-20 июня 1997 г., г. Томск: Избранные доклады. Т. 1Material type: Article Article; Format: print ; Literary form: Not fiction ; Audience: Specialized; Availability: No items available :
    356.
    Modeling nanoindentation of TiCCaPON coating on Ti substrate using movable cellular automaton method S. G. Psakhie, A. Y. Smolin, E. Shilko [et.al.]

    by Smolin, Alexey Yu | Shilko, Evgeny V | Anikeeva, G. M | Pogozhev, Y. S | Petrzhik, M. I | Levashov, Evgeny A | Psakhie, Sergey G, 1952-2018 | Томский государственный университет Физико-технический факультет Кафедра теории прочности и проектирования | Томский государственный университет Физико-технический факультет Кафедра механики деформируемого твердого тела | Томский государственный университет Физический факультет Кафедра физики металлов.

    Source: Computational materials scienceMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
    357.
    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 :
    358.
    Агибалов Геннадий Петрович Электронный ресурс биобиблиографический указатель сост. Г. Ф. Половцева, Науч. б-ка ТГУ, библиогр. информ. центр

    by Половцева, Галина Федоровна [сост.] | Томский государственный университет Научная библиотека.

    Material type: Continuing resource Continuing resource; Format: print available online remote Publication details: Томск [б. и.] 2012Online access: Click here to access online Availability: No items available :
    359.
    Синтез полных проверяющих тестов для недетерминированных автоматов с временными ограничениями А. С. Твардовский, Н. В. Евтушенко

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

    Source: Известия высших учебных заведений. ФизикаMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
    360.
    К установке сложных систем в известное состояние Н. В. Евтушенко, Н. Г. Кушик

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

    Source: Известия высших учебных заведений. ФизикаMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
    361.
    Two dimensional cellular automata simulation of grain growth during solidification and recrystallization O. Zinovieva, A. Zinoviev, V. Ploshikhin [et.al.]

    by Zinovieva, Olga S | Ploshikhin, V | Romanova, Varvara A | Balokhonov, Ruslan R | Zinoviev, A. V | Томский государственный университет Физико-технический факультет Кафедра прочности и проектирования | Томский государственный университет Физико-технический факультет Публикации студентов и аспирантов ФТФ.

    Source: IOP Conference Series: Materials Science and EngineeringMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
    362.
    Программирующая система ЛЯПАС диссертация на соискание ученой степени кандидата физико-математических наук М. Я. Товштейн ; науч. рук. Закревский А. Д. ; Сиб. физ.-техн. ин-т им. В. Д. Кузнецова при Том. гос. ун-те им. В. В. Куйбышева

    by Товштейн, Марк Яковлевич | Закревский, Аркадий Дмитриевич, 1928-2014 [ths] | Сибирский физико-технический институт им. В. Д. Кузнецова (Томск) | Томский государственный университет.

    Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Publication details: Томск [б. и.] 1969Online access: Click here to access online Availability: No items available :
    363.
    Руководство по микропрограммному обеспечению [Джек Ганссл, Крис Кейдел, Олаф Мединг и др. ; пер с англ. А. О. Семенкович] ; под ред. Джека Ганссла

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

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Москва ДМК Пресс 2016Other title: The Filmware Handbook.Availability: No items available :
    364.
    Вычисление детерминанта и произведения матриц в структуре клеточного автомата В. С. Кожевников, И. В. Матюшкин

    by Кожевников, Владислав Сергеевич | Матюшкин, Игорь Валерьевич.

    Source: Прикладная дискретная математикаMaterial type: Article Article; Format: electronic available online remote Other title: Computation of a determinant and a matrix product in cellular automata.Online access: Click here to access online Availability: No items available :
    365.
    Cryptanalytical finite automaton invertibility with finite delay G. P. Agibalov

    by Agibalov, G. P, 1939-2020.

    Source: Прикладная дискретная математикаMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
    366.
    Сопутствующая кластерная структура, формируемая алгоритмом Хаммерсли — Лиса — Александровица при генерации перколяционных кластеров Д. В. Алексеев, Г. А. Казунина

    by Алексеев, Дмитрий Валентинович | Казунина, Галина Алексеевна.

    Source: Прикладная дискретная математикаMaterial type: Article Article; Format: electronic available online remote Other title: Concomitant clusters structure creating by Hammersley — Leath — Alexandrowichz algorithm for percolation cluster generating.Online access: Click here to access online Availability: No items available :
    367.
    Minimizing deterministic timed finite state machines D. Bresolin, A. Tvardovskii, N. V. Yevtushenko [et al.]

    by Tvardovskii, Aleksandr | Yevtushenko, Nina V | Villa, Tiziano | Gromov, Maxim L | Bresolin, Davide.

    Source: IFAC-PapersOnLineMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
    368.
    Машины-автоматы учебное пособие для вузов М. В. Мальцев, Ю. Н. Шаповалов, Е. Б. Бражников.

    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 :
    369.
    Моделирование социальных процессов группового поведения на основе стохастических клеточных автоматов с памятью и систем дифференциальных кинетических уравнений с запаздыванием Л. А. Истратов, А. Г. Смычкова, Д. О. Жуков

    by Истратов, Леонид Андреевич | Смычкова, Анна Гуламовна | Жуков, Дмитрий Олегович.

    Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатикаMaterial type: Article Article; Format: electronic available online remote Other title: Modeling group behavior based on stochastic cellular automata with memory and systems of differential kinetic equations with delay.Online access: Click here to access online Availability: No items available :
    370.
    Оценка кратности выходного символа в обратимом автомате Д. А. Катеринский

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

    Source: Прикладная дискретная математика. ПриложениеMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
    371.
    Проектирование цифровых устройств Пухальский Г. И.,Новосельцева Т. Я.

    by Пухальский Г. И | Новосельцева Т. Я.

    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 :
    372.
    Дискретная математика [учебник для студентов втузов] А. И. Белоусов, С. В. Ткачев ; под ред. В. С. Зарубина, А. П. Крищенко

    by Белоусов, Алексей Иванович | Ткачев, Сергей Борисович | Крищенко, Александр Петрович, 1948- [edt] | Зарубин, Владимир Степанович, 1933- [edt].

    Series: Математика в техническом университетеEdition: 5-е изд.Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Москва Издательство МГТУ им. Н. Э. Баумана 2015Online access: Click here to access online Availability: No items available :
    373.
    К криптоанализу двухкаскадных конечно-автоматных криптографических генераторов Г. П. Агибалов, И. А. Панкратова

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

    Source: Прикладная дискретная математика. ПриложениеMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
    374.
    Квантовые компьютеры: надежды и реальность К. А. Валиев, А. А. Кокин

    by Валиев, Камиль Ахметович | Кокин, Александр Александрович.

    Edition: Изд. 2-е, испр.Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: М. [и др.] Регулярная и хаотическая динамика 2004Availability: No items available :
    375.
    Огневая подготовка Изоматериал [учебное пособие по основам военной службы : плакаты]

    Material type: Picture Picture; Format: print ; Type of visual material: Publication details: М. Армпресс [200-]Availability: No items available :
    376.
    Модели волновой памяти С. А. Кащенко, В. В. Майоров ; Ярославский гос. ун-т им. П. Г. Демидова

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

    Material type: Text Text; Format: print ; Nature of contents: biography; Literary form: Not fiction ; Audience: Specialized; Publication details: Москва ЛИБРОКОМ 2009Availability: No items available :
    377.
    О выполнимости предикатов при синтезе тестов с гарантированной полнотой для расширения конечных автоматов Ю. В. Михайлов

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

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

    by Кондратьева, Ольга Викторовна | Громов, Максим Леонидович.

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

    by Климова, Ольга Витальевна.

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

    by Сапунов, С. В.

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

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

    Source: Вестник Томского государственного университетаMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
    382.
    Алгоритм синтеза проверяющего теста с гарантированной полнотой для конечных временных автоматов с фиксированным набором задержек относительно модели "черного ящика" И. М. Дмитриев, М. В. Жигулин, Д. Д. Попов

    by Дмитриев, И. М | Жигулин, Максим Владимирович | Попов, Дмитрий Дмитриевич.

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

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

    Source: Прикладная дискретная математикаMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
    384.
    О сложности проверки существования установочных последовательностей для недетерминированных автоматов Н. Г. Кушик, В. В. Кулямин, Н. В. Евтушенко

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

    Source: ПрограммированиеMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
    385.
    Создание клеточных автоматов для приближенного вычисления элементаных функций В. Г. Титов

    by Титов, В. Г.

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

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

    Source: Доклады VI Всероссийской конференции с международным участием "Новые информационные технологии в исследовании сложных структур" - ICAM'06 (Шушенское, Национальный парк "Шушенский бор", 5-8 сентября 2006 г.)Material type: Article Article; Format: electronic available online remote; Literary form: Not fiction Online access: Click here to access online Availability: No items available :
    387.
    Сравнение клеточно-автоматных и конечно-разностных схем моделирования диффузионных процессов В. С. Ишутенко

    by Ишутенко, В. С.

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

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

    Source: Известия высших учебных заведений. ФизикаMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
    389.
    Оружие пехоты для старшего возраста А. Абрамов, Ю. Долгушин ; под общ. ред. и с предисл. ген.-майора М. Мясникова

    by Абрамов, А | Долгушин, Юрий | Мясников, Михаил Акимович, 1893-1974 [edt, aui].

    Series: Военная библиотека школьникаMaterial type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Adolescent; Language: Russian Publication details: Москва [и др.] Детгиз 1943Availability: No items available :
    390.
    Tight bound on the length of distinguishing sequences for non-observable nondeterministic Finite-State Machines with a polynomial number of inputs and outputs I. Hwang, N. V. Yevtushenko, A. Cavalli

    by Hwang, Iksoon | Yevtushenko, Nina V | Cavalli, Ana Rosa | Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур.

    Source: Information processing lettersMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
    391.
    Refining the specification FSM when deriving test suites w.r.t. the reduction relation A. Tvardovskii

    by Tvardovskii, Aleksandr.

    Source: Testing software and systems : 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017 : proceedingsMaterial type: Article Article; Format: print ; Literary form: Not fiction ; Audience: Specialized; Availability: No items available :
    392.
    Этапы тестирования на взаимодействие Н. В. Спицына

    by Спицына, Наталия Владимировна.

    Source: Современные проблемы физики и высокие технологии : материалы Международной конференции, посвященной 125-летию ТГУ, 75-летию СФТИ и 50-летию РФФ ТГУ (29 сентября - 4 октября 2003 г.)Material type: Article Article; Format: print festschrift ; Literary form: Not fiction ; Audience: Specialized; Availability: No items available :
    393.
    Минимизация проверяющих тестов для конечных автоматов М. Дорофеева, И. Куфарева

    by Дорофеева, Маргарита Юрьевна | Куфарева, Ирина Борисовна.

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

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

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

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

    Source: Доклады IV Всероссийской конференции с международным участием "Новые информационные технологии в исследовании сложных структур" и Сибирской научной школы-семинара "Проблемы компьютерной безопасности" (Томск, ТГУ, 10-13 сентября 2002 г.)Material type: Article Article; Format: print ; Literary form: Not fiction ; Audience: Specialized; Availability: No items available :
    396.
    Новые информационные технологии в исследовании сложных структур материалы двенадцатой конференции с международным участием 4-8 июня 2018 г. Нац. исслед. Том. гос. ун-т, Ин-т оптики атмосферы СО РАН им. В. Е. Зуева ; [ред. кол.: С. Н. Торгаев и др.]

    by Торгаев, Станислав Николаевич [edt] | Громов, Максим Леонидович [edt] | Захарова, Галина Борисовна [edt] | Горцев, Александр Михайлович, 1944-2023 [edt] | Шабалдина, Наталия Владимировна [edt] | Останин, Сергей Александрович [edt] | Томский государственный университет | Институт оптики атмосферы (Томск).

    Material type: Set Set; Format: electronic available online remote Publication details: Томск Издательский Дом Томского государственного университета 2018Online access: Click here to access online Availability: No items available :
    397.
    "Life" in tensor: implementing cellular automata on graphics adapters N. A. Shalyapina, M. L. Gromov

    by Shalyapina, N. A | Gromov, Maxim L.

    Source: Труды Института системного программирования РАНMaterial type: Article Article; Format: electronic available online remote Other title: "Жизнь" в тензорах: реализация клеточных автоматов на видеокартах.Online access: Click here to access online Availability: No items available :
    398.
    Оценка вероятности выигрыша при проведении майнинга небольшой группой участников А. В. Черемушкин

    by Черемушкин, Александр Васильевич.

    Source: Прикладная дискретная математикаMaterial type: Article Article; Format: electronic available online remote Other title: Selfish mining strategy elaboration.Online access: Click here to access online Availability: No items available :
    399.
    Дискретная модель генной сети циркулянтного типа с пороговыми функциями А. А. Евдокимов, Е. О. Лиховидова

    by Евдокимов, Александр Андреевич | Лиховидова, Елена Олеговна.

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

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

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