Scientific Library of Tomsk State University

   E-catalog        

Refine your search


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

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

    • Your search returned 36 results.

    1.
    Программирование на языке C# учебное пособие : [для бакалавров направлений подготовки "Прикладная математика и информатика", "Математика и компьютерные науки" и др.] В. В. Андреева, С. И. Самохина, А. Е. Петелин ; М-во науки и высш. образования, Нац. исслед. Том. гос. ун-т

    by Андреева, Валентина Валерьевна | Самохина, Светлана Ивановна | Петелин, Александр Евгеньевич | Томский государственный университет.

    Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Томск Издательский Дом Томского государственного университета 2019Online access: Click here to access online Availability: No items available :
    Tags:
    Log in to add tags Add to cart
    2.
    No cover image available
    Логическое программирование на языке Visual Prolog учебное пособие [сост. В. В. Андреева] ; Том. гос. ун-т, Фак. прикладной математики и кибернетики

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

    Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Томск [б. и.] 2013Online access: ЭБС Лань Доступ к полному тексту документа после регистрации пользователя на сайте http://e.lanbook.com/ в локальной сети ТГУ Availability: No items available :
    Log in to add tags Add to cart
    3.
    No cover image available
    4.
    No cover image available
    Обеспечение сокращения аппаратурных затрат в схемах логического управления со свойствами самопроверяемости, самотестируемости и отказоустойчивости автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.01

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

    Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Publication details: Томск [б. и.] 2009Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    5.
    No cover image available
    Лабораторные работы по компьютерной графике учебно-методическое пособие по курсу "Компьютерная графика" для студентов института прикладной математики и компьютерных наук по направлению 01.03.02 - Прикладная математика и информатика М-во науки и высш. образования, Нац. исслед. Том. гос. ун-т, Ин-т прикладной мат. и компьют. наук ; [сост. Н. Б. Буторина, Е. Г. Пахомова, В. В. Андреева]

    by Пахомова, Елена Григорьевна [com] | Андреева, Валентина Валерьевна [com] | Буторина, Наталья Борисовна [com] | Томский государственный университет Институт прикладной математики и компьютерных наук.

    Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Publication details: Томск Издательский Дом Томского государственного университета 2019Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    6.
    No cover image available
    Обнаружение робастно тестируемых неисправностей задержек путей А. Ю. Матросова, В. В. Андреева

    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 :
    Log in to add tags Add to cart
    7.
    No cover image available
    Получение тестовых пар для робастно тестируемых неисправностей задержек путей с использованием SAT-решателей В. З. Тычинский, В. В. Андреева

    by Тычинский, Вячеслав Зиновьевич | Андреева, Валентина Валерьевна.

    Source: Материалы международной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 28-30 мая 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 :
    Log in to add tags Add to cart
    8.
    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
    9.
    No cover image available
    Сокращение ранга конъюнкции, представляющей корень логического уравнения А. Н. Шестернин, В. В. Андреева

    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 :
    Log in to add tags Add to cart
    10.
    No cover image available
    Построение аппроксимирующих схем для синхронных автоматов в рамках технологии троирования С. А. Останин, А. Ю. Матросова, В. В. Андреева

    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 :
    Log in to add tags Add to cart
    11.
    No cover image available
    Исследование и разработка алгоритмов упрощения КНФ при решении проблемы выполнимости Н. Н. Пашкова, В. В. Андреева

    by Пашкова, Наталья Николаевна | Андреева, Валентина Валерьевна.

    Source: Материалы VI Международной молодежной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 24-26 мая 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 :
    Log in to add tags Add to cart
    12.
    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
    13.
    No cover image available
    Применение бинарного графа для верификации программного кода Г. В. Картавых, В. В. Андреева

    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 :
    Log in to add tags Add to cart
    14.
    No cover image available
    Логическое программирование на языке Пролог Электронный ресурс учебно-методический комплекс В. В. Андреева, А. Ю. Матросова ; Том. гос. ун-т, [Ин-т дистанционного образования]

    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 :
    Log in to add tags Add to cart
    15.
    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
    16.
    No cover image available
    Получение тестовых пар для робастно тестируемых неисправностей задержек путей с использованием КНФ логической схемы В. З. Тычинский, В. В. Андреева

    by Тычинский, Вячеслав Зиновьевич | Андреева, Валентина Валерьевна.

    Source: Новые информационные технологии в исследовании сложных структур : материалы Тринадцатой Международной конференции, 7–9 сентября 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 :
    Log in to add tags Add to cart
    17.
    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
    18.
    No cover image available
    Поиск некотрых максимальных расширений интервала частичной булевой функции В. В. Андреева

    by Андреева, Валентина Валерьевна.

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

    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 :
    Log in to add tags Add to cart
    20.
    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
    21.
    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
    22.
    No cover image available
    Оптимизация решения алгоритма CDCL, представленного в виде троичного вектора Д. И. Иванкин, В. В. Андреева

    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 :
    Log in to add tags Add to cart
    23.
    No cover image available
    О свойствах ROBDD-графов, представляющих тестовые пары для робастно тестируемых неисправностей задержек путей В. З. Тычинский, В. В. Андреева

    by Тычинский, Вячеслав Зиновьевич | Андреева, Валентина Валерьевна.

    Source: Материалы VII Международной молодежной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 23-25 мая 2019 г.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 :
    Log in to add tags Add to cart
    24.
    No cover image available
    Пространственно-ориентированная оптимизация тестовых последовательностей с применением итеративного подхода В. В. Андреева, К. А. Сорудейкин

    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 :
    Log in to add tags Add to cart
    25.
    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
    26.
    No cover image available
    Построение минимизированного проверяющего теста, обнаруживающего неисправности безызбыточной ДНФ В. В. Андреева, А. Ю. Матросова

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

    Source: Доклады VI Всероссийской конференции с международным участием "Новые информационные технологии в исследовании сложных структур" - ICAM'06 (Шушенское, Национальный парк "Шушенский бор", 5-8 сентября 2006 г.)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 :
    Log in to add tags Add to cart
    27.
    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
    28.
    No cover image available
    Построение минимизированного проверяющего теста для системы безызбыточных ДНФ, ориентированное на сокращение расстояния по Хеммингу между соседними тестовыми наборами А. А. Сампилов, В. В. Андреева

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

    Source: Материалы международной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 28-30 мая 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 :
    Log in to add tags Add to cart
    29.
    No cover image available
    Применение 2-SAT задачи для обнаружения утечки ресурсов в списочных структурах К. А. Серебренникова, В. В. Андреева

    by Серебренникова, Кристина Андреевна | Андреева, Валентина Валерьевна.

    Source: Материалы VIII Международной молодежной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 26-30 мая 2021 г.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 :
    Log in to add tags Add to cart
    30.
    No cover image available
    Поиск утечек ресурсов с помощью графа состояний памяти Д. Д. Сафонов, В. В. Андреева

    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 :
    Log in to add tags Add to cart
    31.
    No cover image available
    Использование ROBDD-графов для тестирования задержек логических схем А. Ю. Матросова, В. В. Андреева, В. З. Тычинский, Г. Г. Гошин

    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
    32.
    No cover image available
    Статическое тестирование динамических структур данных Е. А. Петренко, В. В. Андреева

    by Петренко, Екатерина Андреевна | Андреева, Валентина Валерьевна.

    Source: Материалы VI Международной молодежной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 24-26 мая 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 :
    Log in to add tags Add to cart
    33.
    No cover image available
    Маскирование неисправностей полюсов логических схем с использованием частичных функций А. Ю. Матросова, В. А. Провкин, В. В. Андреева

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

    Source: Информационные технологии и математическое моделирование (ИТММ-2019). Ч. 2 : материалы XVIII Международной конференции имени А. Ф. Терпугова, 26-30 июня 2019 г.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 :
    Log in to add tags Add to cart
    34.
    No cover image available
    Сведение задачи поиска тестовых пар для робастно тестируемых неисправностей задержек пути к задаче выполнимости булевых формул А. Ю. Матросова, В. З. Тычинский, В. В. Андреева

    by Матросова, Анжела Юрьевна | Тычинский, Вячеслав Зиновьевич | Андреева, Валентина Валерьевна.

    Source: Новые информационные технологии в исследовании сложных структур : материалы Четырнадцатой международной конференции, 19-24 сентября 2022 г.Material type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Other title: Obtaining test pairs for robust testable path delay faults by solving of Boolean satisfiability problem.Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    35.
    No cover image available
    Построение аппроксимирующих схем для синхронных автоматов в рамках технологии троирования С. А. Останин, А. Ю. Матросова, В. В. Андреева

    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 :
    Log in to add tags Add to cart
    36.
    No cover image available
    Построение кратчайшей установочной последовательности последовательностной схемы с использованием ROBDD С. В. Чернышов, В. В. Андреева

    by Чернышов, Семен Владимирович | Андреева, Валентина Валерьевна.

    Source: Материалы V Международной молодежной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 19-20 мая 2017 г.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 :
    Log in to add tags Add to cart