Scientific Library of Tomsk State University

   E-catalog        

Refine your search


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

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

  • Your search returned 21 results.

    1.
    Введение в теорию графов учебно-методическое пособие Том. гос. ун-т, ФПМК ; [сост.: О. И. Голубева, А. Ю. Матросова]

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

    Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Томск [б. и.] 2011Availability: No items available :
    2.
    Введение в язык C Ч. 2 учебное пособие Том. гос. ун-т, ФПМК ; [сост.: В. А. Сибирякова, О. И. Голубева]

    by Сибирякова, Валентина Александровна [com] | Голубева, Ольга Ивановна [com] | Томский государственный университет Факультет прикладной математики и кибернетики Кафедра программирования.

    Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Томск [б. и.] 2011Online access: Click here to access online Availability: No items available :
    3.
    Введение в язык C Ч. 1 учебно-методическое пособие Том. гос. ун-т, ФПМК ; [сост.: В. А. Сибирякова, О. И. Голубева]

    by Сибирякова, Валентина Александровна [com] | Голубева, Ольга Ивановна [com] | Томский государственный университет Факультет прикладной математики и кибернетики Кафедра высшей математики и математического моделирования.

    Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Томск Том. гос. ун-т 2010Online access: Click here to access online Availability: No items available :
    4.
    Разработка и исследование методов моделирования и оценки мер тестопригодности логических схем Автореферат диссертации на соискание ученой степени кандидата технических наук. 05.13.01 Том. гос. ун-т

    by Голубева, Ольга Ивановна | Томский государственный университет.

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Томск 2000Availability: No items available :
    5.
    6.
    Нахождение достаточных множеств частичной функции Н. Г. Парватов, О. И. Голубева

    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 :
    7.
    Троичное моделирование комбинационных схем с использованием ROBDD О. И. Голубева

    by Голубева, Ольга Ивановна.

    Source: Компьютерные науки и информационные технологии : материалы Международной научной конференции, 2-3 июля 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 :
    8.
    Точные оценки управляемости, наблюдаемости и вероятности обнаружения неисправности для комбинационных схем, основанные на ОДНФ и ROBDD представлениях функций О. И. Голубева

    by Голубева, Ольга Ивановна.

    Source: Таврический научный обозревательMaterial type: Article Article; Format: electronic available online remote Other title: Exact estimations of the controllability, observability and fault detection probability for combinational circuits, based on the ODNF and ROBDD representations of functions.Online access: Click here to access online Availability: No items available :
    9.
    Моделирование синхронных схем с памятью на не полностью определенных входных последовательностях произвольной длины О. И. Голубева

    by Голубева, Ольга Ивановна.

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

    by Голубева, Ольга Ивановна.

    Source: Таврический научный обозревательMaterial type: Article Article; Format: electronic available online remote Other title: Interval extensions of boolean functions and three-value simulation of sequential circuits.Online access: Click here to access online Availability: No items available :
    11.
    Определение труднообнаружимых неисправностей комбинационных схем О. И. Голубева

    by Голубева, Ольга Ивановна.

    Source: Таврический научный обозревательMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
    12.
    Исследование возможности обнаружения неисправностей переходов последовательностной схемы в процессе функционирования О. И. Голубева

    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 :
    13.
    Алгоритмы получения функций тестопригодности полюса элемента комбинационной схемы О. И. Голубева

    by Голубева, Ольга Ивановна.

    Source: Современные проблемы физико-математических наук [Электронный ресурс] : материалы VI Всероссийской научно-практической конференции c международным участием (4 – 5 декабря 2020 г., г. Орел)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 :
    14.
    Троичное моделирование синхронных последовательных схем О. И. Голубева

    by Голубева, Ольга Ивановна.

    Source: Математическое моделирование. Кибернетика. ИнформатикаMaterial type: Article Article; Format: print ; Literary form: Not fiction ; Audience: Specialized; Availability: No items available :
    15.
    Об оценке корректности моделирования дискретных устройств О. И. Голубева, А. Ю. Матросова, Т. А. Ошлакова

    by Голубева, Ольга Ивановна | Матросова, Анжела Юрьевна | Ошлакова, Т. А.

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

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

    Material type: Text Text; Format: electronic available online remote; Audience: Specialized; Publication details: Томск [б. и.] 2011Other title: Рабочая программа дисциплины "Базы данных".Availability: No items available :
    17.
    Троичное моделирование синхронных схем с памятью на последовательностях произвольной длины, основанное на ROBDD представлении функций О. И. Голубева

    by Голубева, Ольга Ивановна.

    Source: Таврический научный обозревательMaterial type: Article Article; Format: electronic available online remote Other title: Three-value simulation of sequential circuits on the input sequences of the arbitrary length, based on the ROBDD representation of functions.Online access: Click here to access online Availability: No items available :
    18.
    Использование неточных результатов для сокращения вычислительных затрат точного троичного моделирования последовательностных схем О. И. Голубева

    by Голубева, Ольга Ивановна.

    Source: Таврический научный обозревательMaterial type: Article Article; Format: electronic available online remote Other title: Using inexact results for the reduction of the computational costs of the exact three-value simulation of sequential circuits.Online access: Click here to access online Availability: No items available :
    19.
    Троичное моделирование комбинационных схем с использованием SAT-решателей и его применение при верификации О. И. Голубева

    by Голубева, Ольга Ивановна.

    Source: Современные проблемы физико-математических наук [Электронный ресурс] : материалы VI Всероссийской научно-практической конференции c международным участием (4 – 5 декабря 2020 г., г. Орел)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: Вестник Томского государственного университета. Управление, вычислительная техника и информатикаMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
    21.
    Троичное моделирование последовательностной схемы и построение на его основе входных последовательностей, обеспечивающих заданные переходы схемы О. И. Голубева

    by Голубева, Ольга Ивановна.

    Source: Таврический научный обозревательMaterial type: Article Article; Format: electronic available online remote Other title: Three-value simulation of the sequential circuit and the construction on its basis of transition sequences.Online access: Click here to access online Availability: No items available :