Scientific Library of Tomsk State University

   E-catalog        

Refine your search


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

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

  • Your search returned 26 results.

    1.
    Алгоритмические методы синтеза тестов А. Ю. Матросова; Под ред. С. В. Быковой; Сиб. физ. -техн. ин-т им. Б. Д. Кузнецова при Том. гос. ун-те

    by Матросова, Анжела Юрьевна | Быкова, Светлана Васильевна [edt] | Сибирский физико-технический институт им. В. Д. Кузнецова (Томск).

    Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Publication details: Томск Издательство Томского университета 1990Online access: Click here to access online Availability: No items available :
    2.
    3.
    Решебник по русской логике (азбука математической логики) В. И. Лобанов

    by Лобанов, Владимир Иванович.

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: М. Компания Спутник+ 2002Availability: No items available :
    4.
    Алгоритмические методы контроля и диагностики дискретных устройств управления и проблемы контролепригодного проектирования диссертация на соискание ученой степени доктора технических наук : 05.13.01 Матросова Анжела Юрьевна ; Том. гос. ун-т им. В. В. Куйбышева, Сиб. физ.-тех. ин-т им. В. Д. Кузнецова

    by Матросова, Анжела Юрьевна | Томский государственный университет | Сибирский физико-технический институт им. В. Д. Кузнецова (Томск).

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Томск [б. и.] 1990Availability: No items available :
    5.
    Доклады II Сибирской научной школы-семинара с международным участием "Проблемы компьютерной безопасности и криптография" - SYBECRUPT'03, (Томск, ТГУ, 9-12 сентября 2003 г. ) [Гл. ред. Г. В. Майер; Отв. ред. вып. В. З. Башкатов]

    by "Проблемы компьютерной безопасности и криптография", сибирская научная школа-семинар с международным участием 2 2003 Томск | Майер, Георгий Владимирович, 1948- [edt] | Башкатов, Виктор Захарович, 1935-2013 [edt] | Томский государственный университет.

    Series: Серия "Математика. Кибернетика. Информатика" Вестник Томского государственного университета. ПриложениеMaterial type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Томск Издательство Томского государственного университета 2003Other title: Материалы научных конференций, симпозиумов, школ, проводимых в ТГУ.Availability: No items available :
    6.
    Доклады IV Всероссийской конференции с международным участием "Новые информационные технологии в исследовании сложных структур" и Сибирской научной школы-семинара "Проблемы компьютерной безопасности", (Томск, ТГУ, 10-13 сентября 2002 г. ) [Гл. ред. Г. В. Майер; Отв. за вып. В. З. Башкатов]

    by "Новые информационные технологии в исследовании сложных структур", всероссийская конференция с международным участием 4 2002 Томск | Майер, Георгий Владимирович, 1948- [edt] | Башкатов, Виктор Захарович, 1935-2013 [mon] | Томский государственный университет | "Проблемы компьютерной безопасности", Сибирская научная школа-семинар 2002 Томск.

    Series: Вестник Томского государственного университета. ПриложениеMaterial type: Set Set Language: Russian, English Publication details: Томск Издательство Томского государственного университета [2002]Other title: Материалы научных конференций, симпозиумов, школ, проводимых в ТГУ.Availability: No items available :
    7.
    Разработка и исследование параллельных комбинаторных алгоритмов диссертация на соискание ученой степени кандидата технических наук : 05.13.01 Тимошевская Наталия Евгеньевна ; науч. рук. Г. П. Агибалов ; Том. гос. ун-т

    by Тимошевская, Наталия Евгеньевна | Агибалов, Геннадий Петрович, 1939-2020 [ths] | Томский государственный университет.

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Томск [б. и.] 2007Availability: No items available :
    8.
    Доклады IV Сибирской научной школы-семинара с международным участием "Проблемы компьютерной безопасности и криптография" - SIBECRYPT'05 (Томск, ТГУ, 6-9 сентября 2005 г. ) [гл. ред. Г. В. Майер ; отв. ред. вып. В. З. Башкатов]

    by "Проблемы компьютерной безопасности и криптография", сибирская научная школа-семинар с международным участием 4 2005 Томск | Майер, Георгий Владимирович, 1948- [edt] | Башкатов, Виктор Захарович, 1935-2013 [edt] | Томский государственный университет.

    Series: Серия "Математика. Кибернетика. Информатика" Вестник Томского государственного университета. ПриложениеMaterial type: Set Set; Format: electronic available online remote Publication details: Томск Издательство Томского государственного университета 2005Other title: Материалы международных, всероссийских и региональных научных конференций, симпозиумов, школ, проводимых в ТГУ.Online access: Click here to access online Availability: No items available :
    9.
    Автоматизация синтеза дискретных автоматов [сборник статей] Том. гос. ун-т им. В. В. Куйбышева, Проблемная лаб. счетно-решающих устройств, Каф. электронной вычислит. техники и автоматики ; [под общ. ред. А. Д. Закревского]

    by Закревский, Аркадий Дмитриевич, 1928-2014 [edt] | Сибирский физико-технический институт им. В. Д. Кузнецова (Томск) | Томский государственный университет.

    Series: Труды Сибирского физико-технического института при Томском государственном университетеMaterial type: Set Set; Format: electronic available online remote Publication details: Томск Издательство Томского университета 1966Online access: Click here to access online Availability: No items available :
    10.
    Декомпозиция булевых функций на основе решения логических уравнений П. Н. Бибило

    by Бибило, Петр Николаевич.

    Source: Доклады IV Всероссийской конференции с международным участием "Новые информационные технологии в исследовании сложных структур" и Сибирской научной школы-семинара "Проблемы компьютерной безопасности" (Томск, ТГУ, 10-13 сентября 2002 г.)Material type: Article Article; Format: print ; Literary form: Not fiction ; Audience: Specialized; Availability: No items available :
    11.
    Применение параллельных вычислений для решения систем логических уравнений методом линеаризационного множества И. И. Худяшов, В. В. Семенов

    by Худяшов, Иван Иванович | Семенов, В. В.

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

    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 :
    13.
    К декомпозиции сетей Петри О. В. Штарнова

    by Штарнова, О. В.

    Source: Доклады IV Всероссийской конференции с международным участием "Новые информационные технологии в исследовании сложных структур" и Сибирской научной школы-семинара "Проблемы компьютерной безопасности" (Томск, ТГУ, 10-13 сентября 2002 г.)Material type: Article Article; Format: print ; Literary form: Not fiction ; Audience: Specialized; Availability: No items available :
    14.
    Проектирование цифровых устройств Пухальский Г. И.,Новосельцева Т. Я.

    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 :
    15.
    Анализ дискретных моделей генных сетей при помощи символьных решателей логических уравнений А. А. Евдокимов, С. Е. Кочемазов, А. А. Семенов

    by Евдокимов, Александр Андреевич | Кочемазов, С. Е | Семенов, Александр Анатольевич.

    Source: Новые информационные технологии в исследовании сложных структур : тезисы докладов восьмой Российской конференции с международным участиемMaterial type: Article Article; Format: print ; Literary form: Not fiction ; Audience: Specialized; Availability: No items available :
    16.
    Консервативные преобразования систем логических уравнений А. А. Семенов

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

    Source: Доклады VI Сибирской научной школы-семинара с международным участием "Компьютерная безопасность и криптография"- SIBECRYPT' 07 (Республика Алтай, Горно-Алтайск, ГАГУ, 4-7 сентября 2007 г.)Material type: Article Article; Format: print ; Literary form: Not fiction ; Audience: Specialized; Availability: No items available :
    17.
    Динамические модели с запаздыванием и их приложения в экономике и инженерии Прасолов А. В.

    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 :
    18.
    Сокращение ранга конъюнкции, представляющей корень логического уравнения В. В. Андреева, Т. П. Тарновская

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

    Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатикаMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
    19.
    Решение больших систем логических уравнений: метод минимизации дерева поиска А. Д. Закревский, И. В. Василькова

    by Закревский, Аркадий Дмитриевич, 1928-2014 | Василькова, И. В.

    Source: Доклады IV Всероссийской конференции с международным участием "Новые информационные технологии в исследовании сложных структур" и Сибирской научной школы-семинара "Проблемы компьютерной безопасности" (Томск, ТГУ, 10-13 сентября 2002 г.)Material type: Article Article; Format: print ; Literary form: Not fiction ; Audience: Specialized; Availability: No items available :
    20.
    Задача о кратчайшем линеаризационном множестве Н. Е. Тимошевская

    by Тимошевская, Наталия Евгеньевна.

    Source: Доклады IV Сибирской научной школы-семинара с международным участием "Проблемы компьютерной безопасности и криптография" - SYBECRYPT'05 (Томск, ТГУ, 6-9 сентября 2005 г.)Material type: Article Article; Format: print ; Literary form: Not fiction ; Audience: Specialized; Availability: No items available :
    21.
    Решение систем логических уравнений с использованием BDD А. С. Игнатьев, А. А. Семенов, А. Е. Хмельнов

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

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

    by Попов, А. И.

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

    by Спицына, Наталия Владимировна | Евтушенко, Нина Владимировна | Петренко, Александр Федорович.

    Source: Доклады IV Всероссийской конференции с международным участием "Новые информационные технологии в исследовании сложных структур" и Сибирской научной школы-семинара "Проблемы компьютерной безопасности" (Томск, ТГУ, 10-13 сентября 2002 г.)Material type: Article Article; Format: print ; Literary form: Not fiction ; Audience: Specialized; Availability: No items available :
    24.
    The C++ classes for a system of logic equations N. A. Kirienko

    by Kirienko, N. A.

    Source: Доклады IV Всероссийской конференции с международным участием "Новые информационные технологии в исследовании сложных структур" и Сибирской научной школы-семинара "Проблемы компьютерной безопасности" (Томск, ТГУ, 10-13 сентября 2002 г.)Material type: Article Article; Format: print ; Literary form: Not fiction ; Audience: Specialized; Availability: No items available :
    25.
    Поиск корня логического уравнения с помощью дерева разложений Т. П. Тарновская

    by Тарновская, Татьяна Павловна.

    Source: Материалы III Всероссийской молодежной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 22–23 мая 2015 г.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 :
    26.
    Оптимизация элементов цифровых схем посредством решения систем автоматных уравнений С. Жарикова

    by Жарикова, С. В.

    Source: Доклады IV Всероссийской конференции с международным участием "Новые информационные технологии в исследовании сложных структур" и Сибирской научной школы-семинара "Проблемы компьютерной безопасности" (Томск, ТГУ, 10-13 сентября 2002 г.)Material type: Article Article; Format: print ; Literary form: Not fiction ; Audience: Specialized; Availability: No items available :