Scientific Library of Tomsk State University

   E-catalog        

Refine your search


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

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

  • Your search returned 105 results.

    1.
    Лекции по теории конечных автоматов учебное пособие Г. П. Агибалов, А. М. Оранов ; [ред. А. Ю. Матросова]

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

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

    by "Компьютерная безопасность и криптография"- SIBECRYPT' 07, Сибирская научная школа-семинар с международным участием 6 2007 Горно-Алтайск | Майер, Георгий Владимирович, 1948- [edt].

    Series: Томский государственный университет Вестник Томского государственного университета : общенаучный периодический журнал: | Томский государственный университет Вестник Томского государственного университета. Приложение: Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Publication details: [Томск Издание Томского государственного университета 2007]Other title: Материалы международных, всероссийских и региональных научных конференций, симпозиумов, школ, проводимых в ТГУ.Online access: Click here to access online Availability: No items available :
    3.
    Верификация моделей программ: Model Checking Эдмунд М. Кларк, мл. , Орна Грамберг, Дорон Пелед; Пер. с англ. В. Захаров и др. ; Под ред. Р. Смелянского

    by Кларк, Эдмунд М. младший | Грамберг, Орна | Пелед, Дорон | Смелянский, Руслан Леонидович [edt].

    Material type: Text Text; Format: print ; Audience: Specialized; Language: Russian Original language: English Publication details: М. МЦНМО 2002Other title: Model Checking.Availability: No items available :
    4.
    5.
    6.
    Введение в теорию автоматов В. Б. Кудрявцев, С. В. Алешин, А. С. Подколзин

    by Кудрявцев, Валерий Борисович | Алешин, Станислав Владимирович | Подколзин, Александр Сергеевич.

    Material type: Text Text; Format: print Publication details: М. Наука 1985Availability: No items available :
    7.
    Введение в теорию абстрактных автоматов [Учебное пособие для университетов по специальности "Математика"] В. Б. Кудрявцев, А. С. Подколзин, Ш. Ушчумлич

    by Кудрявцев, Валерий Борисович | Подколзин, Александр Сергеевич | Ушчумлич, Шчепан.

    Material type: Text Text; Format: print Publication details: М. Издательство Московского университета 1985Availability: No items available :
    8.
    Минимизация проверяющих тестов для систем логического управления методами теории конечных автоматов Диссертация на соискание ученой степени кандидата технических наук. 05.13.01 Том. гос. ун-т; Науч. рук. Н. В. Евтушенко

    by Прокопенко, Светлана Анатольевна | Томский государственный университет.

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Томск 2000Availability: No items available :
    9.
    10.
    Кибернетика журнал Академия наук Украинской ССР

    Material type: Continuing resource Continuing resource; Type of continuing resource: periodical Publication details: Киев [б. и.] 1965-1991Availability: No items available :
    11.
    Теория автоматического регулирования [учебное пособие для вузов по направлению "Автоматизация и управление"] А. С. Востриков, Г. А. Французова

    by Востриков, Анатолий Сергеевич | Французова, Галина Александровна.

    Material type: Text Text; Format: print Language: Russian Publication details: М. Высшая школа 2004Availability: No items available :
    12.
    Semigroups and automata SELECTA Uno Kaljulaid; ed. by Jaak Peetre and Jaan Penjam

    by Kaljulaid, Uno | Peetre, Jaak [edt] | Penjam, Jaan [edt].

    Material type: Text Text; Format: print ; Nature of contents: biography; Literary form: Not fiction ; Audience: Specialized; Publication details: Amsterdam [a. o.] IOS Press 2006Availability: No items available :
    13.
    14.
    15.
    Может ли машина мыслить? А. Тьюринг. Общая и логическая теория автоматов / Дж. фон Нейман ; [к сб. в целом] пер. с англ. Ю. А. Данилова ; под ред. и с предисл. С. А. Яновской ; вступ. ст. Б. В. Бирюкова

    by Тьюринг, Алан Мэтисон, 1912-1954 | Нейман, Джон фон, 1903-1957. Общая и логическая теория автоматов | Яновская, Софья Александровна, 1896-1966 [edt].

    Series: Науки об искусственномEdition: Изд. 3-е, испр. и доп.Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Москва Ленанд 2018Availability: No items available :
    16.
    Теория сложности и проектирование систем управления В. В. Солодовников, В. И. Тумаркин

    by Солодовников, Владимир Викторович | Тумаркин, Валерий Исарович.

    Series: Теория и методы системного анализаMaterial type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Москва Наука 1990Availability: No items available :
    17.
    Switch-технология Алгоритмизация и программирование задач логического управления

    by Шалыто, Анатолий Абрамович.

    Material type: Text Text; Format: print Publication details: Санкт-Петербург Наука 1998Availability: No items available :
    18.
    Теоретические основы метода подвижных клеточных автоматов учебно-методическое пособие [А. Ю. Смолин] ; Том. гос. ун-т

    by Смолин, Алексей Юрьевич | Томский государственный университет.

    Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Томск [б. и.] 2007Availability: No items available :
    19.
    20.
    21.
    Сборник научных трудов НГТУ 1998. N 4 (13) Новосиб. гос. техн. ун-т; редкол. А. А. Воеводова и др.

    by Новосибирский государственный технический университет.

    Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Новосибирск Издательство НГТУ 1998Availability: No items available :
    22.
    Математические проблемы теории фазовой синхронизации

    by Леонов, Геннадий Алексеевич | Смирнова, Вера Борисовна.

    Series: Анализ и синтез нелинейных системMaterial type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: СПб. Наука 2000Availability: No items available :
    23.
    Последовательная декомпозиция конечных автоматов А. А. Курмит

    by Курмит, Август Августович.

    Material type: Text Text; Format: print Publication details: Рига Зинатне 1982Availability: No items available :
    24.
    25.
    Введение в теорию конечных автоматов В. Брауэр; Перевод с нем. К. В. Рудакова; Под ред. Ю. И. Журавлева

    by Брауэр, Вильфрид.

    Material type: Text Text; Format: print Publication details: М. Радио и связь 1987Availability: No items available :
    26.
    Сложность вычислений Джон Э. Сэвидж; Пер. с англ. Е. П. Липатова, М. И. Гринчука; Под ред. О. М. Касим-Заде

    by Сэвидж, Джон Э.

    Material type: Text Text; Format: print ; Audience: Specialized; Language: Russian Original language: English Publication details: М. Факториал 1998Other title: The Complexity of Computing.Availability: No items available :
    27.
    Высшая математика 6. Дискретная математика Ч. 2 Учебное пособие Ю. П. Шевелев; Томск. гос. ун-т систем управления и радиоэлектроники

    by Шевелев, Юрий Павлович, 1940- | Томский государственный университет систем управления и радиоэлектроники.

    Material type: Text Text; Format: print Publication details: Томск 1999Other title: Теория конечных автоматов. Комбинаторика. Теория графов (для автоматизированной технологии обучения).Availability: No items available :
    28.
    Геометрические образы законов функционирования автоматов В. А. Твердохлебов ; Рос. акад. наук, Ин-т проблем точной механики и управления

    by Твердохлебов, Владимир Александрович.

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Саратов Научная книга 2008Availability: No items available :
    29.
    30.
    Анализ фазовых картин дискретных динамических систем А. С. Епифанов ; Рос. акад. наук, Ин-т проблем точной механики и управления

    by Епифанов, Антон Сергеевич.

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Саратов Научная книга 2008Availability: No items available :
    31.
    Прикладная дискретная математика научный журнал

    Material type: Continuing resource Continuing resource; Format: print available online remote; Type of continuing resource: periodical Publication details: Томск Издательство Томского государственного университета 2008-Online access: Электронная версия журнала в открытом доступе через электронную библиотеку ТГУ | Доступ к электронной версии журнала в сети ТГУ через Электронную библиотеку eLIBRARY.RU Availability: No items available :
    32.
    Discrete structures and automata theory Rakesh Dube, Adesh Pandey, Ritu Gupta

    by Dube, Rakesh | Pandey, Adesh | Gupta, Ritu.

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Oxford Alpha Science International 2006Availability: No items available :
    33.
    34.
    Многоканальные системы управления. Синтез линейных систем с разнотемповыми процессами [учебное пособие] В. Д. Юркевич ; Новосиб. гос. техн. ун-т

    by Юркевич, Валерий Дмитриевич.

    Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Новосибирск Издательство НГТУ 2016Availability: No items available :
    35.
    Математические вопросы кибернетики Вып. 14 [сборник статей] под ред. О. Б. Лупанова

    by Лупанов, Олег Борисович [edt].

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Language: Russian Publication details: Москва Физматлит 2005Availability: No items available :
    36.
    37.
    Дискретная математика учебное пособие для студентов, обучающихся по направлению подготовки бакалавров и магистров 511600- "Прикладные математика и физика" А. Н. Макоха, П. А. Сахнюк, Н. И. Червяков

    by Макоха, Анатолий Николаевич | Сахнюк, Павел Анатольевич | Червяков, Николай Иванович.

    Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: М. Физматлит 2005Availability: No items available :
    38.
    Декомпозиция конечных автоматов Г. П. Агибалов, Н. В. Евтушенко

    by Агибалов, Геннадий Петрович, 1939-2020 | Евтушенко, Нина Владимировна | Томский государственный университет Факультет прикладной математики и кибернетики (до 01.09.2017 г.) | Томский государственный университет Радиофизический факультет.

    Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Publication details: Томск Издательство Томского университета 1985Online access: Click here to access online Availability: No items available :
    39.
    Недетерминированные автоматы: анализ и синтез Ч. 2 [учебное пособие] Н. В. Евтушенко, М. В. Рекун, С. В. Тихомирова ; [Том. гос. ун-т, Радиофиз. фак-т]

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

    Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Томск Том. гос. ун-т 2009Other title: Решение автоматных уравнений.Online access: Click here to access online Availability: No items available :
    40.
    41.
    42.
    Известия Академии наук СССР. Техническая кибернетика [журнал] Академия наук СССР

    by Академия наук СССР.

    Series: Техническая кибернетика / Академия наук СССРMaterial type: Continuing resource Continuing resource; Format: print ; Type of continuing resource: periodical Publication details: Москва Академия наук СССР 1963-1991Availability: No items available :
    43.
    44.
    Параллельные логические вычисления посредством арифметических полиномов

    by Малюгин, Владимир Дмитриевич.

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: М. Наука. Физматлит 1997Availability: No items available :
    45.
    Дискретный анализ и исследование операций: Сер. 1 журнал Рос. АН, Сиб. отд-ние, Ин-т математики им. С. Л. Соболева

    Material type: Continuing resource Continuing resource; Type of continuing resource: periodical Publication details: Новосибирск Изд-во Института математики им. С. Л. Соболева СО РАН 1995-2007Availability: No items available :
    46.
    Теория механизмов и машин Учебник для студентов высших технических учебных заведений

    by Артоболевский, Иван Иванович, 1905-1977.

    Edition: 3-е изд., перераб. и доп.Material type: Text Text; Format: print Publication details: М. Наука 1975Availability: No items available :
    47.
    Кодирование состояний и надежность автоматов Ю. Л. Сагалович

    by Сагалович, Юрий Львович.

    Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: М. Связь 1975Availability: No items available :
    48.
    49.
    50.