Scientific Library of Tomsk State University

   E-catalog        

Refine your search


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

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

    • Your search returned 13 results.

    1.
    Сложность булевых функций Р. Г. Ниматуллин; Послесл. С. Кузнецова и др.

    by Нигматуллин, Рошаль Габдулхаевич.

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: М. Наука 1991Availability: No items available :
    Log in to add tags Add to cart
    2.
    Автоматическое управление. Перестраиваемые структуры С. В. Шидловский

    by Шидловский, Станислав Викторович.

    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
    3.
    Полиномиальные алгоритмы решения переборных задач В. З. Стрыгин

    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
    4.
    Логическое управление. Методы аппаратной и программной реализации алгоритмов А. А. Шалыто

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

    Material type: Text Text; Format: print ; Audience: Specialized; Publication details: Санкт-Петербург Наука, Санкт-Петербургская издательская фирма 2000Availability: No items available :
    Log in to add tags Add to cart
    5.
    Дискретная математика [учебное пособие для студентов вузов, обучающихся по направлению подготовки бакалавров и магистров 550400 - "Телекоммуникации"] В. Г. Данилов, В. Л. Дубнов, А. Р. Лакерник, А. М. Райцин

    by Данилов, Владимир Григорьевич | Дубнов, Владимир Львович | Лакерник, Александр Рафаилович | Райцин, Аркадий Михайлович.

    Series: Учебное пособие для высших учебных заведенийMaterial type: Text Text; Format: print ; Literary form: Not fiction Language: Russian Publication details: Москва Горячая линия - Телеком 2008Availability: No items available :
    Log in to add tags Add to cart
    6.
    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
    7.
    No cover image available
    Homing sequence derivation with quantified boolean satisfiability H.-E. Wang, K.-H. Tu, J.-H. R. Jiang, N. Kushik

    by Wang, Hung-En | Tu, Kuan-Hua | Jiang, Jie-Hong R | Kushik, Natalia G.

    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 :
    Log in to add tags Add to cart
    8.
    No cover image available
    О генерической NP-полноте проблемы выполнимости булевых формул А. Н. Рыбалов

    by Рыбалов, Александр Николаевич.

    Source: Прикладная дискретная математикаMaterial type: Article Article; Format: electronic available online remote Other title: On generic NP-completeness of the boolean satisfiability problem.Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    9.
    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
    10.
    Сборник задач по дискретной математике (для практических занятий в группах) Шевелев Ю. П.,Писаренко Л. А.,Шевелев М. Ю.

    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 :
    Log in to add tags Add to cart
    11.
    No cover image available
    Экспериментальное исследование решателя MiniSat Г. В. Кидярова

    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 :
    Log in to add tags Add to cart
    12.
    No cover image available
    О генерической NP-полноте проблемы выполнимости булевых схем А. Н. Рыбалов

    by Рыбалов, Александр Николаевич.

    Source: Прикладная дискретная математикаMaterial type: Article Article; Format: electronic available online remote Other title: On generic NP-completeness of the problem of Boolean circuits satisfiability.Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    13.
    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