Scientific Library of Tomsk State University

   E-catalog        

Refine your search


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

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

    • Your search returned 510 results.

    501.
    No cover image available
    Построение множества всех достижимых реакций комбинационных схем В. А. Провкин

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

    Source: Материалы IX-й Международной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 26-28 мая 2022 г.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
    502.
    No cover image available
    Алгоритм построения ROBDD-графа, представляющего множество всех достижимых реакций комбинационной логической схемы В. А. Провкин, А. Ю. Матросова

    by Провкин, Виктор Алексеевич | Матросова, Анжела Юрьевна.

    Source: Новые информационные технологии в исследовании сложных структур : материалы Четырнадцатой международной конференции, 19-24 сентября 2022 г.Material type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Other title: Algorithm of building a ROBDD graph representing the set of all reacheable reactions of a combinational circuit.Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    503.
    No cover image available
    О двух задачах кластеризации знакового графа Э. И. Ибрагимова

    by Ибрагимова, Эллада Ибрагимовна.

    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 :
    Log in to add tags Add to cart
    504.
    No cover image available
    Прямой метод вычисления циклов ячеек карты блока простого планарного графа Б. Н. Иванов

    by Иванов, Борис Николаевич математик.

    Source: Прикладная дискретная математикаMaterial type: Article Article; Format: electronic available online remote Other title: A direct method for calculating cell cycles of a block map of a simple planar graph.Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    505.
    No cover image available
    О единственности минимального реберного 1-расширения гиперкуба Q4 А. А. Лобов, М. Б. Абросимов

    by Лобов, Александр Андреевич | Абросимов, Михаил Борисович.

    Source: Прикладная дискретная математикаMaterial type: Article Article; Format: electronic available online remote Other title: About uniqueness of the minimal 1-edge extension of hypercube Q4.Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    506.
    No cover image available
    Построение кратчайшей установочной последовательности последовательностной схемы с использованием ROBDD С. В. Чернышов, В. В. Андреева

    by Чернышов, Семен Владимирович | Андреева, Валентина Валерьевна.

    Source: Материалы V Международной молодежной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 19-20 мая 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
    507.
    No cover image available
    Использование ROBDD-графов для тестирования задержек логических схем А. Ю. Матросова, В. В. Андреева, В. З. Тычинский, Г. Г. Гошин

    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
    508.
    No cover image available
    Сведение задачи поиска тестовых пар для робастно тестируемых неисправностей задержек пути к задаче выполнимости булевых формул А. Ю. Матросова, В. З. Тычинский, В. В. Андреева

    by Матросова, Анжела Юрьевна | Тычинский, Вячеслав Зиновьевич | Андреева, Валентина Валерьевна.

    Source: Новые информационные технологии в исследовании сложных структур : материалы Четырнадцатой международной конференции, 19-24 сентября 2022 г.Material type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Other title: Obtaining test pairs for robust testable path delay faults by solving of Boolean satisfiability problem.Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    509.
    Совершенный алгоритм графовые алгоритмы и структуры данных Тим Рафгарден ; [пер. с англ., науч. ред. А. Логунов]

    by Рафгарден, Тим | Логунов, Андрей Викторович [edt].

    Series: Библиотека программистаMaterial type: Text Text; Format: print ; Literary form: Not fiction Publication details: Санкт-Петербург [и др.] Питер 2023Other title: Algorithms Illuminated.Availability: No items available :
    Log in to add tags Add to cart
    510.
    No cover image available
    Оценка искажения поведения логической схемы в присутствии неисправности В. А. Провкин, А. Ю. Матросова

    by Провкин, Виктор Алексеевич | Матросова, Анжела Юрьевна.

    Source: Материалы X-й Международной молодежной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 26-29 мая 2023 г.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