Scientific Library of Tomsk State University

   E-catalog        

Refine your search


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

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

    • Your search returned 4 results.

    1.
    Информатика и математика для юристов [учебник для вузов по специальности 030501 "Юриспруденция"] А. М. Попов, В. Н. Сотников, Е. И. Нагаева ; под ред. А. М. Попова

    by Попов, Александр Михайлович доктор техн. наук, 1960- | Сотников, Валерий Николаевич | Нагаева, Елена Игоревна.

    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
    2.
    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
    3.
    No cover image available
    Masking circuit faults and Trojan circuit injections using sat solvers A. Yu. Matrosova, V. А. Provkin, V. Z. Tychinskiy [et al.]

    by Matrosova, Anzhela Yu | Provkin, V. А | Tychinskiy, V. Z | Nikolaeva, Ekaterina A | Goshin, G. G.

    Source: Russian physics journalMaterial 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
    4.
    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