Scientific Library of Tomsk State University

   E-catalog        

Refine your search


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

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

  • Your search returned 7 results.

    1.
    2.
    Методы синтеза самопроверяемых дискретных систем Диссертация на соискание ученой степени кандидата технических наук. 05.13.01 Никитин К. В. ; Науч. рук. А. Ю. Матросова; Том. гос. ун-т

    by Никитин, Константин Владимирович | Матросова, Анжела Юрьевна [sad] | Томский государственный университет.

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Томск б. и. 2003Availability: No items available :
    3.
    Синтез логических схем, контролепригодных относительно неисправностей задержек путей А. Ю. Матросова, Е. А. Николаева, Е. В. Румянцева

    by Матросова, Анжела Юрьевна | Николаева, Екатерина Александровна | Румянцева, Елена Викторовна | Томский государственный университет Факультет прикладной математики и кибернетики Кафедра программирования | Томский государственный университет Факультет прикладной математики и кибернетики Публикации студентов и аспирантов ФПМК.

    Source: Известия высших учебных заведений. ФизикаMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
    4.
    Упрощение системы Free BDD графов E. B. Румянцева

    by Румянцева, Елена Викторовна | Томский государственный университет Факультет прикладной математики и кибернетики Публикации студентов и аспирантов ФПМК.

    Source: Материалы Первой Всероссийской молодежной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 17-18 мая 2013 г.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 :
    5.
    Обеспечение тестируемости задержек путей при синтезе схем покрытием BDD-графов А. Ю. Матросова, Д. В. Кудин, Е. А. Николаева, Е. В. Румянцева

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

    Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатикаMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
    6.
    Решение задачи кодирования с помощью MTBDD-графов С. А. Останин, А. В. Зинчук

    by Останин, Сергей Александрович | Зинчук, А. В.

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

    by Останин, Сергей Александрович | Кириенко, Ирина Евгеньевна.

    Source: Известия высших учебных заведений. ФизикаMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :