Scientific Library of Tomsk State University

   E-catalog        

Refine your search


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

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

    • Your search returned 29 results.

    1.
    No cover image available
    Программная реализация преобразования глобального полуавтомата во временной автомат А. П. Сотников

    by Сотников, Александр Павлович.

    Source: Труды Четырнадцатой Всероссийской конференции студенческих научно-исследовательских инкубаторов, Томск, 17-18 мая 2017 г.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
    2.
    No cover image available
    Алгоритм матричного отображения графа на булев куб А. Д. Закревский

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

    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
    3.
    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
    4.
    No cover image available
    Проблемы синтеза цифровых автоматов [сборник статей] Акад. наук СССР, Ин-т проблем передачи информации ; [отв. ред. В. Г. Лазарев, А. Д. Закревский]

    by Лазарев, Владимир Георгиевич [edt] | Закревский, Аркадий Дмитриевич, 1928-2014 [edt].

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Москва Наука 1967Availability: No items available :
    Log in to add tags Add to cart
    5.
    No cover image available
    Конечные автоматы (поведение и синтез) Б. А. Трахтенброт, Я. М. Барздинь

    by Трахтенброт, Борис Авраамович | Барздинь, Ян Мартынович.

    Series: Математическая логика и основания математикиMaterial type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Москва Наука 1970Availability: No items available :
    Log in to add tags Add to cart
    6.
    Математические основы информатики Пособие для студентов специальности G 31 03 04 "Информатика" А. В. Мощенский, В. А. Мощенский

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

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Минск БГУ 2002Availability: No items available :
    Log in to add tags Add to cart
    7.
    8.
    Классика программирования: алгоритмы, языки, автоматы, компиляторы практический подход Мозговой М. В.

    by Мозговой, Максим В.

    Series: Секреты мастерстваMaterial type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Санкт-Петербург Наука и техника 2006Availability: No items available :
    Log in to add tags Add to cart
    9.
    Параллельные логические вычисления посредством арифметических полиномов

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

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

    by Всесоюзный коллоквиум по автоматизации синтеза дискретных вычислительных устройств 1966 Новосибирск | Фет, Яков Ильич [mon].

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Новосибирск [б. и.] 1966Availability: No items available :
    Log in to add tags Add to cart
    11.
    12.
    Анализ алгоритмов. Активный обучающий подход [учебное пособие по направлению подготовки специалистов "Информатика и вычислительная техника"] Дж. Макконнелл ; пер. с англ. С. А. Кулешова под ред. С. К. Ландо

    by Макконнелл, Джеффри Дж | Ландо, Сергей Константинович, 1955- [edt].

    Series: Мир программированияEdition: 3-е доп. изд.Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Language: Russian Original language: English Publication details: Москва Техносфера 2018Availability: No items available :
    Log in to add tags Add to cart
    13.
    No cover image available
    Разработка алгоритмов синтеза и тестирования конечно-автоматных компенсаторов Диссертация на соискание ученой степени кандидата технических наук. 05.13.01 Ветрова Мария Викторовна; Науч. рук. Евтушенко Н. В. ; Том. гос. ун-т

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

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Томск б. и. 2003Availability: No items available :
    Log in to add tags Add to cart
    14.
    Основы конструирования компиляторов В. А. Серебряков, М. П. Галочкин

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

    Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Москва Эдиториал УРСС 2001Availability: No items available :
    Log in to add tags Add to cart
    15.
    Гид по 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 :
    Log in to add tags Add to cart
    16.
    17.
    Языки и трансляции учебное пособие Б. К. Мартыненко ; С. -Петерб. гос. ун-т

    by Мартыненко, Борис Константинович.

    Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: СПб. Изд-во С.-Петерб. ун-та 2004Availability: No items available :
    Log in to add tags Add to cart
    18.
    Основы современных алгоритмов [учебное пособие по направлению подготовки специалистов "Информатика и вычислительная техника"] Дж. Макконелл ; пер. с англ. под ред. С. К. Ландо ; доп. М. В. Ульянова

    by Макконнелл, Джеффри Дж | Ландо, Сергей Константинович, 1955- [edt] | Ульянов, Михаил Васильевич, 1957-.

    Series: Мир программированияEdition: 2-е доп. изд.Material type: Text Text; Format: print ; Literary form: Not fiction Language: Russian Original language: English Publication details: Москва Техносфера 2006Availability: No items available :
    Log in to add tags Add to cart
    19.
    No cover image available
    Математические методы оптимизации и управления в сложных системах межвузовский тематический сборник ЛГУ им. А. А. Жданова, Калининский гос. ун-т ; [редкол.: Ю. А. Абрамов (отв. ред.) и др.]

    by Абрамов, Юлий Алексеевич [edt].

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Калинин Калининский государственный университет 1982Availability: No items available :
    Log in to add tags Add to cart
    20.
    Основы современных алгоритмов [учебное пособие по направлению подготовки специалистов "Информатика и вычислительная техника"] : пер. с англ. Дж. Макконелл ; под ред. С. К. Ландо ; доп. М. В. Ульянова

    by Макконнелл, Джеффри Дж | Ландо, Сергей Константинович, 1955- [edt].

    Series: Мир программированияEdition: 2-е доп. изд.Material type: Text Text; Format: print ; Literary form: Not fiction Language: Russian Original language: English Publication details: Москва Техносфера 2004Availability: No items available :
    Log in to add tags Add to cart
    21.
    Лекции по дискретной математике учебное пособие М. И. Дехтярь

    by Дехтярь, Михаил Иосифович.

    Series: Основы информационных технологийMaterial type: Text Text; Format: print ; Literary form: Not fiction Language: Russian Publication details: Москва Интернет-Ун-т информ. технологий [и др.] 2009Availability: No items available :
    Log in to add tags Add to cart
    22.
    Дискретная математика учебник и практикум для академического бакалавриата : [для студентов вузов по естественнонаучным направлениям и специальностям] С. Б. Гашков, А. Б. Фролов

    by Гашков, Сергей Борисович | Фролов, Александр Борисович.

    Series: БакалаврMaterial type: Text Text; Format: print ; Literary form: Not fiction Publication details: Москва Юрайт 2016Availability: No items available :
    Log in to add tags Add to cart
    23.
    No cover image available
    Синтез тестов для проверки взаимодействия дискретных управляющих систем методами теории автоматов диссертация на соискание ученой степени кандидата технических наук. 05.13.01 Спицина Наталия Владимировна ; науч. рук. Н. В. Евтушенко ; Том. гос. ун-т

    by Спицына, Наталия Владимировна | Евтушенко, Нина Владимировна [sad] | Томский государственный университет.

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Томск [б. и.] 2005Availability: No items available :
    Log in to add tags Add to cart
    24.
    Системы программирования: теория, методы, алгоритмы учебное пособие по направлению 654600 - информатика и вычислительная техника А. П. Соколов

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

    Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: М. Финансы и статистика 2004Availability: No items available :
    Log in to add tags Add to cart
    25.
    Математические основы теории систем [учебное пособие для студентов вузов, обучающихся по направлениям 550200 и 651900 " Автоматизация и управление"] Л. Д. Певзнер, Е. П. Чураков

    by Певзнер, Леонид Давидович, 1940- | Чураков, Евгений Павлович.

    Series: Для высших учебных заведенийMaterial type: Text Text; Format: print ; Literary form: Not fiction Publication details: Москва Высшая школа 2009Availability: No items available :
    Log in to add tags Add to cart
    26.
    27.
    28.
    Теория автоматов учебник В. Б. Кудрявцев, Э. Э. Гасанов, А. С. Подколзин.

    by Кудрявцев В. Б. Валерий Борисович | Гасанов Э. Э. Эльяр Эльдарович | Подколзин А. С. Александр Сергеевич.

    Series: Высшее образованиеEdition: 2-е изд.Material type: Text Text; Format: print ; Literary form: Not fiction Language: Russian 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
    29.
    Математическая логика учебник и практикум В. И. Скорубский, В. И. Поляков, А. Г. Зыков.

    by Скорубский В. И. Владимир Иванович | Поляков В. И. Владимир Иванович | Зыков А. Г. Анатолий Геннадьевич.

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