Scientific Library of Tomsk State University

   E-catalog        

Refine your search


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

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

  • Your search returned 22 results.

    1.
    Функции алгебры логики учебно-методическое пособие : [для студентов физико-математических специальностей] Том. гос. ун-т, ФПМК ; [сост.: Е. А. Николаева, С. А. Останин, А. Ю. Матросова]

    by Николаева, Екатерина Александровна [com] | Останин, Сергей Александрович [com] | Матросова, Анжела Юрьевна [com] | Томский государственный университет Факультет прикладной математики и кибернетики.

    Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Томск [б. и.] 2013Online access: Click here to access online Availability: No items available :
    2.
    Поиск ложных путей в логических схемах из двухвходовых вентилей с использованием операций над ROBDD-графами А. Ю. Матросова, С. А. Останин, С. В. Чернышов

    by Матросова, Анжела Юрьевна | Останин, Сергей Александрович | Чернышов, Семен Владимирович.

    Source: Новые информационные технологии в исследовании сложных структур : материалы двенадцатой конференции с международным участием, 4-8 июня 2018 г.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 :
    3.
    Поиск всех тестовых наборов для неисправности логической схемы и представление их ROBDD-графом А. Ю. Матросова, С. А. Останин, А. В. Бухаров, И. Е. Кириенко

    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 :
    4.
    Дискретная математика Электронный ресурс учебное пособие А. Ю. Матросова, С. А. Останин ; Том. гос. ун-т, Ин-т дистанционного образования

    by Матросова, Анжела Юрьевна | Останин, Сергей Александрович | Томский государственный университет Институт дистанционного образования.

    Material type: Computer file Computer file; Format: electronic available online remote Publication details: Томск ИДО ТГУ 2007Online access: Click here to access online Availability: No items available :
    5.
    Построение аппроксимирующих схем для синхронных автоматов в рамках технологии троирования С. А. Останин, А. Ю. Матросова, В. В. Андреева

    by Останин, Сергей Александрович | Матросова, Анжела Юрьевна | Андреева, Валентина Валерьевна.

    Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатикаMaterial type: Article Article; Format: electronic available online remote Other title: Deriving approximate circuits for TMR technique applied to synchronous sequential circuits.Online access: Click here to access online Availability: No items available :
    6.
    Труды Томского государственного университета Т. 304 Серия физико-математическая

    by Томский государственный университет | Шмырин, Игорь Сергеевич [edt] | Горцев, Александр Михайлович, 1944-2023 [edt] | Сущенко, Сергей Петрович [edt] | Дмитриев, Юрий Глебович [edt] | Моисеева, Светлана Петровна [edt] | Конев, Виктор Васильевич [edt] | Матросова, Анжела Юрьевна [edt] | Назаров, Анатолий Андреевич [edt] | Лившиц, Климентий Исаакович [edt] | Останин, Сергей Александрович [edt] | "Математическое и программное обеспечение информационных, технических и экономических систем", международная молодежная научная конференция 7 2019 Томск.

    Material type: Set Set; Format: electronic available online remote Publication details: Томск Издательский Дом Томского государственного университета 2019Other title: Материалы VII Международной молодежной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 23-25 мая 2019 г. / Том. гос. ун-т ; под общ. ред. И. С. Шмырина ; науч. ред. тома: А. М. Горцев [и др.].Online access: Click here to access online Availability: No items available :
    7.
    Тестирование программного обеспечения Электронный ресурс учебно-методический комплекс Матросова А. Ю., Останин С. А. ; Том. гос. ун-т, Ин-т дистанционного образования

    by Матросова, Анжела Юрьевна | Останин, Сергей Александрович | Томский государственный университет Институт дистанционного образования.

    Material type: Computer file Computer file; Format: electronic available online remote Publication details: Томск ИДО ТГУ 2007Online access: Click here to access online Availability: No items available :
    8.
    Синтез отказоустойчивых последовательностных схем для неисправностей задержек путей С. А. Останин, А. Ю. Матросова, И. Е. Кириенко, Е. А. Николаева

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

    Source: Новые информационные технологии в исследовании сложных структур : материалы одиннадцатой международной конференции, 6-10 июня 2016 г.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 :
    9.
    Синтез частично программируемых схем, ориентированный на маскирование вредоносных подсхем (Trojan Circuits) А. Ю. Матросова, С. А. Останин, Е. А. Николаева

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

    Source: Труды Института системного программирования РАНMaterial type: Article Article; Format: electronic available online remote Other title: Partially programmable circuit design oriented to masking Trojan Circuits.Online access: Click here to access online Availability: No items available :
    10.
    Новые информационные технологии в исследовании сложных структур материалы Тринадцатой международной конференции, 7-9 сентября 2020 г. М-во науки и высш. образования РФ, Нац. исслед. Том. гос. ун-т, Ангарский гос. техн. ун-т, Ин-т вычислит. мат. и мат. геофизики СО РАН ; [ред. кол.: А. М. Горцев и др.]

    by Беккерман, Екатерина Николаевна [edt] | Шабалдина, Наталия Владимировна [edt] | Горцев, Александр Михайлович, 1944-2023 [edt] | Громов, Максим Леонидович [edt] | Торгаев, Станислав Николаевич [edt] | Медведев, Юрий Геннадьевич [edt] | Останин, Сергей Александрович [edt] | Прокопенко, Светлана Анатольевна [edt] | Захарова, Галина Борисовна [edt] | Матросова, Анжела Юрьевна [edt] | Нежельская, Людмила Алексеевна [edt] | Томский государственный университет.

    Material type: Set Set; Format: electronic available online remote Publication details: Томск Издательский Дом Томского государственного университета 2020Online access: Click here to access online Availability: No items available :
    11.
    Труды Томского государственного университета Т. 305 Серия физико-математическая

    by Томский государственный университет | Шмырин, Игорь Сергеевич [edt] | Горцев, Александр Михайлович, 1944-2023 [edt] | Сущенко, Сергей Петрович [edt] | Дмитриев, Юрий Глебович [edt] | Моисеева, Светлана Петровна [edt] | Конев, Виктор Васильевич [edt] | Матросова, Анжела Юрьевна [edt] | Назаров, Анатолий Андреевич [edt] | Лившиц, Климентий Исаакович [edt] | Останин, Сергей Александрович [edt] | "Математическое и программное обеспечение информационных, технических и экономических систем", международная научная конференция 2020 Томск.

    Material type: Set Set; Format: electronic available online remote Publication details: Томск Издательство Томского государственного университета 2020Other title: Материалы Международной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 28-30 мая 2020 г. / М-во науки и высш. образования, Том. гос. ун-т ; под общ. ред. И. С. Шмырина ; науч. ред. тома: А. М. Горцев [и др.].Online access: Click here to access online Availability: No items available :
    12.
    Поиск всех тестовых наборов для неисправности логической схемы и представление их ROBDD-графом А. Ю. Матросова, С. А. Останин, А. В. Бухаров, И. Е. Кириенко

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

    Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатикаMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
    13.
    К синтезу самопроверяемых комбинационных схем А. Ю. Матросова, С. А. Останин

    by Матросова, Анжела Юрьевна | Останин, Сергей Александрович.

    Source: Международная конференция "Всесибирские чтения по математике и механике", 17-20 июня 1997 г., г. Томск: Избранные доклады. Т. 1Material type: Article Article; Format: print ; Literary form: Not fiction ; Audience: Specialized; Availability: No items available :
    14.
    Синтез монотонных детекторов для подмножества равновесных кодов С. А. Останин, А. Ю. Матросова, Н. Б. Буторина, А. О. Гребнев

    by Останин, Сергей Александрович | Буторина, Наталья Борисовна | Гребнев, Антон Олегович | Матросова, Анжела Юрьевна.

    Source: Новые информационные технологии в исследовании сложных структур : материалы одиннадцатой международной конференции, 6-10 июня 2016 г.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 :
    15.
    Оценка наблюдаемости внутренней переменной при использовании LOC-технологии сканирования А. Ю. Матросова, А. В. Мельников, С. А. Останин, В. Сингх

    by Матросова, Анжела Юрьевна | Мельников, А. В | Останин, Сергей Александрович | Сингх, В.

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

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

    Source: Автоматика и телемеханикаMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
    17.
    Построение аппроксимирующих схем в режиме троирования А. Ю. Матросова, С. А. Останин, Г. Г. Гошин

    by Матросова, Анжела Юрьевна | Останин, Сергей Александрович | Гошин, Геннадий Георгиевич.

    Source: Известия высших учебных заведений. ФизикаMaterial type: Article Article; Format: electronic available online remote Online access: 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 Матросова, Анжела Юрьевна | Останин, Сергей Александрович | Николаева, Екатерина Александровна.

    Source: Новые информационные технологии в исследовании сложных структур : материалы двенадцатой конференции с международным участием, 4-8 июня 2018 г.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 :
    20.
    Построение аппроксимирующих схем для синхронных автоматов в рамках технологии троирования С. А. Останин, А. Ю. Матросова, В. В. Андреева

    by Останин, Сергей Александрович | Матросова, Анжела Юрьевна | Андреева, Валентина Валерьевна.

    Source: Новые информационные технологии в исследовании сложных структур : материалы Четырнадцатой международной конференции, 19-24 сентября 2022 г.Material type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Other title: Construction of approximate logic circuits for synchronous automates within technology of triple modular redundancy.Online access: Click here to access online Availability: No items available :
    21.
    К синтезу самопроверяемых комбинационных схем А. Ю. Матросова, С. А. Останин

    by Матросова, Анжела Юрьевна | Останин, Сергей Александрович.

    Source: Всесибирские чтения по математике и механике: Международная конференция, 17-20 июня 1997 г., г. Томск: Тезисы докладов. Т. 1Material type: Article Article; Format: print ; Literary form: Not fiction ; Audience: Specialized; Availability: No items available :
    22.
    Бинарные решающие диаграммы и их приложения Электронный ресурс учебно-методический комплекс С. А. Останин, А. Ю. Матросова ; Том. гос. ун-т, [Ин-т дистанционного образования]

    by Останин, Сергей Александрович | Матросова, Анжела Юрьевна | Томский государственный университет Институт дистанционного образования.

    Material type: Computer file Computer file; Format: electronic available online remote Publication details: Томск [ИДО ТГУ] 2011Online access: Click here to access online Availability: No items available :