Научная библиотека ТГУ catalog › Results of search for 'an:"65116"'

Your search returned 91 results.

	1.	No cover image available Минимизация ДНФ учебно-методическое пособие [сост.: Е. А. Николаева, А. Ю. Матросова] ; Том. гос. ун-т, Фак-т прикладной математики и кибернетики by Николаева, Екатерина Александровна [com] \| Матросова, Анжела Юрьевна [com] \| Томский государственный университет Факультет прикладной математики и кибернетики. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Томск [б. и.] 2013Availability: No items available : Log in to add tags Add to cart (remove)
	2.	No cover image available Функции алгебры логики учебно-методическое пособие : [для студентов физико-математических специальностей] Том. гос. ун-т, ФПМК ; [сост.: Е. А. Николаева, С. А. Останин, А. Ю. Матросова] by Николаева, Екатерина Александровна [com] \| Останин, Сергей Александрович [com] \| Матросова, Анжела Юрьевна [com] \| Томский государственный университет Факультет прикладной математики и кибернетики. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Томск [б. и.] 2013Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	3.	No cover image available Введение в теорию графов учебно-методическое пособие Том. гос. ун-т, ФПМК ; [сост.: О. И. Голубева, А. Ю. Матросова] by Голубева, Ольга Ивановна [com] \| Матросова, Анжела Юрьевна [com] \| Томский государственный университет Факультет прикладной математики и кибернетики. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Томск [б. и.] 2011Availability: No items available : Log in to add tags Add to cart (remove)
	4.	Алгоритмические методы синтеза тестов А. Ю. Матросова; Под ред. С. В. Быковой; Сиб. физ. -техн. ин-т им. Б. Д. Кузнецова при Том. гос. ун-те by Матросова, Анжела Юрьевна \| Быкова, Светлана Васильевна [edt] \| Сибирский физико-технический институт им. В. Д. Кузнецова (Томск). Material type: Text; Format: electronic available online ; Literary form: Not fiction ; Audience: Specialized; Publication details: Томск Издательство Томского университета 1990Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	5.	No cover image available Алгоритмы синтеза легко тестируемых комбинационных схем и тестов для кратных константных неисправностей и неисправностей задержек путей диссертация на соискание ученой степени кандидата технических наук : 05.13.01 Николаева Екатерина Александровна ; науч. рук. А. Ю. Матросова ; Том. гос. ун-т by Николаева, Екатерина Александровна \| Матросова, Анжела Юрьевна [ths] \| Томский государственный университет. Material type: Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Томск [б. и.] 2011Availability: No items available : Log in to add tags Add to cart (remove)
	6.	No cover image available Обеспечение сокращения аппаратурных затрат в схемах логического управления со свойствами самопроверяемости, самотестируемости и отказоустойчивости диссертация на соискание ученой степени кандидата технических наук : 05.13.01 Андреева Валентина Валерьевна ; науч. рук. А. Ю. Матросова ; Том. гос. ун-т by Андреева, Валентина Валерьевна \| Матросова, Анжела Юрьевна [ths] \| Томский государственный университет. Material type: Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Томск [б. и.] 2009Availability: No items available : Log in to add tags Add to cart (remove)
	7.	No cover image available Методы синтеза самопроверяемых дискретных систем Диссертация на соискание ученой степени кандидата технических наук. 05.13.01 Никитин К. В. ; Науч. рук. А. Ю. Матросова; Том. гос. ун-т by Никитин, Константин Владимирович \| Матросова, Анжела Юрьевна [sad] \| Томский государственный университет. Material type: Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Томск б. и. 2003Availability: No items available : Log in to add tags Add to cart (remove)
	8.	No cover image available Обеспечение работоспособности систем с произвольным доступом и самопроверяемости логических схем Диссертация на соискание ученой степени кандидата технических наук. 05.13.01 Седов Юрий Владимирович; Науч. рук. А. Ю. Матросова; Том. гос. ун-т by Седов, Юрий Владимирович \| Матросова, Анжела Юрьевна [sad] \| Томский государственный университет. Material type: Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Томск б. и. 2004Availability: No items available : Log in to add tags Add to cart (remove)
	9.	No cover image available Алгоритмические методы контроля и диагностики дискретных устройств управления и проблемы контролепригодного проектирования диссертация на соискание ученой степени доктора технических наук : 05.13.01 Матросова Анжела Юрьевна ; Том. гос. ун-т им. В. В. Куйбышева, Сиб. физ.-тех. ин-т им. В. Д. Кузнецова by Матросова, Анжела Юрьевна \| Томский государственный университет \| Сибирский физико-технический институт им. В. Д. Кузнецова (Томск). Material type: Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Томск [б. и.] 1990Availability: No items available : Log in to add tags Add to cart (remove)
	10.	No cover image available Разработка интерпретационной картографической системы "Информгео" для прогноза нефтеносности месторождений Диссертация на соискание ученой степени кандидата технических наук. 05.13.18 Горбачев С. В. ; Науч. рук. Матросова А. Ю. ; Том. гос. ун-т by Горбачев, Сергей Викторович \| Матросова, Анжела Юрьевна [sad] \| Томский государственный университет. Material type: Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Томск б. и. 2003Availability: No items available : Log in to add tags Add to cart (remove)
	11.	No cover image available Повышение быстродействия логических схем за счет выявления ложных путей и синтеза схем, в которых задержки каждого пути обнаружимы диссертация на соискание ученой степени кандидата технических наук : 05.13.01 Кудин Дмитрий Владимирович; науч. рук. Матросова А. Ю. ; Рос. акад. наук, Геофизич. центр; Горно-Алтай. гос. ун-т by Кудин, Дмитрий Владимирович \| Матросова, Анжела Юрьевна [ths]. Material type: Text; Format: electronic available online ; Literary form: Not fiction ; Audience: Specialized; Publication details: Москва [и др. б. и.] 2018Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	12.	No cover image available Методические указания по курсу дискретной математики Сост. А. Ю. Матросова, Я. Г. Юфит; Томский гос. ун-т by Матросова, Анжела Юрьевна [сост.] \| Юфит, Я. Г [сост.] \| Томский государственный университет Факультет прикладной математики и кибернетики. Material type: Text; Format: print Publication details: Томск 1998Availability: No items available : Log in to add tags Add to cart (remove)
	13.	No cover image available Логическое проектирование переключательных автоматов Г. П. Агибалов, В. А. Бузанов, В. Б. Липский, Б. Ф. Румянцев ; [ред. А. Ю. Матросова] by Агибалов, Геннадий Петрович, 1939-2020 \| Бузанов, Владимир Алексеевич \| Липский, Валерий Борисович \| Румянцев, Б. Ф \| Матросова, Анжела Юрьевна [edt] \| Томский государственный университет Факультет прикладной математики и кибернетики (до 01.09.2017 г.). Material type: Text; Format: electronic available online ; Literary form: Not fiction ; Audience: Specialized; Publication details: Томск Издательство Томского университета 1983Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	14.	No cover image available Диагностика дискретных устройств рабочая программа дисциплины : направление подготовки: 010400 - Прикладная математика и информатика; квалификация выпускника: Бакалавр; форма обучения: очная Матросова А. Ю. ; Томский гос. ун-т, Фак. прикладной математики и кибернетики by Матросова, Анжела Юрьевна \| Томский государственный университет Факультет прикладной математики и кибернетики Кафедра программирования. Material type: Text; Format: electronic available online ; Audience: Specialized; Publication details: Томск [б. и.] 2011Other title: Рабочая программа дисциплины "Диагностика дискретных устройств".Availability: No items available : Log in to add tags Add to cart (remove)
	15.	No cover image available О свойствах неисправностей, порожденных многоуровневыми методами синтеза, примененными к частично монотонным системам булевых функций А. Ю. Матросова, Ю. В. Седов by Матросова, Анжела Юрьевна \| Седов, Юрий Владимирович. Source: Доклады IV Всероссийской конференции с международным участием "Новые информационные технологии в исследовании сложных структур" и Сибирской научной школы-семинара "Проблемы компьютерной безопасности" (Томск, ТГУ, 10-13 сентября 2002 г.)Material type: Article; Format: print ; Literary form: Not fiction ; Audience: Specialized; Availability: No items available : Log in to add tags Add to cart (remove)
	16.	No cover image available Поиск ложных путей в логических схемах из двухвходовых вентилей с использованием операций над ROBDD-графами А. Ю. Матросова, С. А. Останин, С. В. Чернышов by Матросова, Анжела Юрьевна \| Останин, Сергей Александрович \| Чернышов, Семен Владимирович. Source: Новые информационные технологии в исследовании сложных структур : материалы двенадцатой конференции с международным участием, 4-8 июня 2018 г.Material type: Article; Format: electronic available online ; 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 (remove)
	17.	No cover image available Синтез самопроверяемого комбинационного детектора равновесных кодов А. Ю. Матросова, К. В. Никитин by Матросова, Анжела Юрьевна \| Никитин, Константин Владимирович \| Томский государственный университет Факультет прикладной математики и кибернетики Кафедра программирования \| Томский государственный университет Факультет прикладной математики и кибернетики Публикации студентов и аспирантов ФПМК. Source: Вестник Томского государственного университетаMaterial type: Article; Format: electronic available online Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	18.	No cover image available Синтез логических схем, контролепригодных относительно неисправностей задержек путей А. Ю. Матросова, Е. А. Николаева, Е. В. Румянцева by Матросова, Анжела Юрьевна \| Николаева, Екатерина Александровна \| Румянцева, Елена Викторовна \| Томский государственный университет Факультет прикладной математики и кибернетики Кафедра программирования \| Томский государственный университет Факультет прикладной математики и кибернетики Публикации студентов и аспирантов ФПМК. Source: Известия высших учебных заведений. ФизикаMaterial type: Article; Format: electronic available online Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	19.	No cover image available Оптимизация проверяющего теста для неисправностей задержек контролепригодных схем А. Ю. Матросова, А. В. Мельников by Матросова, Анжела Юрьевна \| Мельников, А. В. Source: Новые информационные технологии в исследовании сложных структур : тезисы докладов восьмой Российской конференции с международным участиемMaterial type: Article; Format: print ; Literary form: Not fiction ; Audience: Specialized; Availability: No items available : Log in to add tags Add to cart (remove)
	20.	No cover image available Декомпозиционный метод синтеза детекторов неупорядоченных кодовых слов А. Ю. Матросова, А. С. Мальгин by Матросова, Анжела Юрьевна \| Мальгин, А. С. Source: Новые информационные технологии в исследовании сложных структур : тезисы докладов седьмой Российской конференции с международным участиемMaterial type: Article; Format: print ; Literary form: Not fiction ; Audience: Specialized; Availability: No items available : Log in to add tags Add to cart (remove)
	21.	No cover image available Поиск всех тестовых наборов для неисправности логической схемы и представление их ROBDD-графом А. Ю. Матросова, С. А. Останин, А. В. Бухаров, И. Е. Кириенко by Останин, Сергей Александрович \| Бухаров, Александр Вениаминович \| Кириенко, Ирина Евгеньевна \| Матросова, Анжела Юрьевна \| Томский государственный университет Факультет прикладной математики и кибернетики Кафедра программирования \| Томский государственный университет Факультет прикладной математики и кибернетики Публикации студентов и аспирантов ФПМК. Source: Новые информационные технологии в исследовании сложных структур : материалы десятой Российской конференции с международным участиемMaterial type: Article; Format: electronic available online ; 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 (remove)
	22.	No cover image available Обеспечение тестируемости задержек путей при синтезе схем покрытием BDD-графов А. Ю. Матросова, Д. В. Кудин, Е. А. Николаева, Е. В. Румянцева by Кудин, Дмитрий Владимирович \| Николаева, Екатерина Александровна \| Румянцева, Елена Викторовна \| Матросова, Анжела Юрьевна \| Томский государственный университет Факультет прикладной математики и кибернетики Кафедра программирования \| Томский государственный университет Факультет прикладной математики и кибернетики Публикации студентов и аспирантов ФПМК. Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатикаMaterial type: Article; Format: electronic available online Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	23.	No cover image available Свойства пар тестовых наборов, обнаруживающих неисправности задержек путей в логических схемах VLSI высокой производительности А. Ю. Матросова, В. Б. Липский by Матросова, Анжела Юрьевна \| Липский, Валерий Борисович \| Томский государственный университет Факультет прикладной математики и кибернетики Кафедра программирования \| Томский государственный университет Факультет прикладной математики и кибернетики Кафедра защиты информации и криптографии. Source: Автоматика и телемеханикаMaterial type: Article; Format: electronic available online Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	24.	No cover image available Дискретная математика Электронный ресурс учебное пособие А. Ю. Матросова, С. А. Останин ; Том. гос. ун-т, Ин-т дистанционного образования by Матросова, Анжела Юрьевна \| Останин, Сергей Александрович \| Томский государственный университет Институт дистанционного образования. Material type: Computer file; Format: electronic available online Publication details: Томск ИДО ТГУ 2007Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	25.	No cover image available Обнаружение робастно тестируемых неисправностей задержек путей А. Ю. Матросова, В. В. Андреева by Матросова, Анжела Юрьевна \| Андреева, Валентина Валерьевна. Source: Новые информационные технологии в исследовании сложных структур : материалы двенадцатой конференции с международным участием, 4-8 июня 2018 г.Material type: Article; Format: electronic available online ; 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 (remove)
	26.	No cover image available Построение аппроксимирующих схем для синхронных автоматов в рамках технологии троирования С. А. Останин, А. Ю. Матросова, В. В. Андреева by Останин, Сергей Александрович \| Матросова, Анжела Юрьевна \| Андреева, Валентина Валерьевна. Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатикаMaterial type: Article; Format: electronic available online 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 (remove)
	27.	No cover image available Повышение быстродействия логических схем за счет выявления неисправностей задержек путей с последующим их маскированием и определения ложных путей (на основе использования операций над ROBDD-графами) диссертация на соискание ученой степени кандидата технических наук : 05.13.01 Чернышов Семен Владимирович ; науч. рук. Матросова А. Ю. ; Томский гос. ун-т by Чернышов, Семен Владимирович \| Матросова, Анжела Юрьевна [ths] \| Томский государственный университет. Material type: Text; Format: electronic available online ; Literary form: Not fiction ; Audience: Specialized; Publication details: Томск [б. и.] 2022Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	28.	Новые информационные технологии в исследовании сложных структур материалы Четырнадцатой международной конференции, 19-24 сентября 2022 г. М-во науки и высш. образования РФ, Нац. исслед. Томский гос. ун-т, Ангарский гос. техн. ун-т, Ин-т вычислит. мат. и мат. геофизики СО РАН ; [ред. кол.: А. М. Горцев и др.] by Горцев, Александр Михайлович, 1944-2023 [edt] \| Замятин, Александр Владимирович [edt] \| Громов, Максим Леонидович [edt] \| Торгаев, Станислав Николаевич [edt] \| Медведев, Юрий Геннадьевич [edt] \| Матросова, Анжела Юрьевна [edt] \| Нежельская, Людмила Алексеевна [edt] \| Захарова, Галина Борисовна [edt] \| Томский государственный университет. Material type: Set; Format: electronic available online Publication details: Томск Издательский Дом Томского государственного университета 2022Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	29.	Труды Томского государственного университета Т. 304 Серия физико-математическая by Томский государственный университет \| Шмырин, Игорь Сергеевич [edt] \| Горцев, Александр Михайлович, 1944-2023 [edt] \| Сущенко, Сергей Петрович [edt] \| Дмитриев, Юрий Глебович [edt] \| Моисеева, Светлана Петровна [edt] \| Конев, Виктор Васильевич [edt] \| Матросова, Анжела Юрьевна [edt] \| Назаров, Анатолий Андреевич [edt] \| Лившиц, Климентий Исаакович [edt] \| Останин, Сергей Александрович [edt] \| "Математическое и программное обеспечение информационных, технических и экономических систем", международная молодежная научная конференция 7 2019 Томск. Material type: Set; Format: electronic available online Publication details: Томск Издательский Дом Томского государственного университета 2019Other title: Материалы VII Международной молодежной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 23-25 мая 2019 г. / Том. гос. ун-т ; под общ. ред. И. С. Шмырина ; науч. ред. тома: А. М. Горцев [и др.].Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	30.	Материалы VI Международной молодежной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 24-26 мая 2018 г. под общ. ред. И. С. Шмырина ; Том. гос. ун-т ; [науч. ред. тома: А. М. Горцев и др.] by "Математическое и программное обеспечение информационных, технических и экономических систем", международная молодежная научная конференция 6 2018 Томск \| Шмырин, Игорь Сергеевич [edt] \| Горцев, Александр Михайлович, 1944-2023 [edt] \| Дмитриев, Юрий Глебович [edt] \| Конев, Виктор Васильевич [edt] \| Матросова, Анжела Юрьевна [edt] \| Назаров, Анатолий Андреевич [edt] \| Лившиц, Климентий Исаакович [edt]. Series: Томский государственный университет Труды Томского государственного университета: Material type: Set; Format: electronic available online Publication details: Томск Издательский Дом Томского государственного университета 2018Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	31.	No cover image available Построение последовательности, доставляющей тестовую пару для робастно тестируемой неисправности задержки пути А. Ю. Матросова, С. В. Чернышов by Матросова, Анжела Юрьевна \| Чернышов, Семен Владимирович. Source: Новые информационные технологии в исследовании сложных структур : материалы Тринадцатой Международной конференции, 7–9 сентября 2020 г.Material type: Article; Format: electronic available online ; 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 (remove)
	32.	No cover image available Поиск ложных путей в последовательностных схемах с использованием ROBDD С. В. Чернышов, А. Ю. Матросова by Чернышов, Семен Владимирович \| Матросова, Анжела Юрьевна. Source: Материалы VI Международной молодежной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 24-26 мая 2018 г.Material type: Article; Format: electronic available online ; 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 (remove)
	33.	No cover image available Алгоритмы построения последовательности, доставляющей тестовые пары для робастно тестируемых PDFs с использованием операций над ROBDD-графами А. Ю. Матросова, С. В. Чернышов by Матросова, Анжела Юрьевна \| Чернышов, Семен Владимирович. Source: Материалы международной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 28-30 мая 2020 г.Material type: Article; Format: electronic available online ; 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 (remove)
	34.	No cover image available Тестирование программного обеспечения Электронный ресурс учебно-методический комплекс Матросова А. Ю., Останин С. А. ; Том. гос. ун-т, Ин-т дистанционного образования by Матросова, Анжела Юрьевна \| Останин, Сергей Александрович \| Томский государственный университет Институт дистанционного образования. Material type: Computer file; Format: electronic available online Publication details: Томск ИДО ТГУ 2007Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	35.	No cover image available Интернет-программирование Электронный ресурс учебно-методический комплекс Матросова А. Ю., Седов Ю. В. ; Том. гос. ун-т, Ин-т дистанционного образования by Матросова, Анжела Юрьевна \| Седов, Юрий Владимирович \| Томский государственный университет Институт дистанционного образования. Material type: Computer file; Format: electronic available online Publication details: Томск ИДО ТГУ 2007Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	36.	No cover image available Об оценке корректности моделирования дискретных устройств О. И. Голубева, А. Ю. Матросова, Т. А. Ошлакова by Голубева, Ольга Ивановна \| Матросова, Анжела Юрьевна \| Ошлакова, Т. А. Source: Всесибирские чтения по математике и механике: Международная конференция, 17-20 июня 1997 г., г. Томск: Тезисы докладов. Т. 1Material type: Article; Format: print ; Literary form: Not fiction ; Audience: Specialized; Availability: No items available : Log in to add tags Add to cart (remove)
	37.	No cover image available К вопросу об оптимальности представления однф в виде BDD-графа Ю. В. Седов, А. Ю. Матросова by Седов, Юрий Владимирович \| Матросова, Анжела Юрьевна. Source: Всесибирские чтения по математике и механике: Международная конференция, 17-20 июня 1997 г., г. Томск: Тезисы докладов. Т. 1Material type: Article; Format: print ; Literary form: Not fiction ; Audience: Specialized; Availability: No items available : Log in to add tags Add to cart (remove)
	38.	No cover image available Синтез детекторов равновесных кодов с использованием монотонных функций А. Ю. Матросова, Н. Б. Буторина, Н. О. Якимова by Матросова, Анжела Юрьевна \| Буторина, Наталья Борисовна \| Якимова, Наталья Олеговна \| Томский государственный университет Факультет прикладной математики и кибернетики Кафедра программирования \| Томский государственный университет Факультет прикладной математики и кибернетики Публикации студентов и аспирантов ФПМК. Source: Известия высших учебных заведений. ФизикаMaterial type: Article; Format: electronic available online Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	39.	No cover image available Синтез легко тестируемых последовательностных схем А. Ю. Матросова, Е. В. Митрофанов by Матросова, Анжела Юрьевна \| Митрофанов, Евгений Владимирович \| Томский государственный университет Факультет прикладной математики и кибернетики Кафедра программирования \| Томский государственный университет Факультет прикладной математики и кибернетики Публикации студентов и аспирантов ФПМК. Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатикаMaterial type: Article; Format: electronic available online Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	40.	No cover image available Синтез отказоустойчивых последовательностных схем для неисправностей задержек путей С. А. Останин, А. Ю. Матросова, И. Е. Кириенко, Е. А. Николаева by Останин, Сергей Александрович \| Кириенко, Ирина Евгеньевна \| Николаева, Екатерина Александровна \| Матросова, Анжела Юрьевна. Source: Новые информационные технологии в исследовании сложных структур : материалы одиннадцатой международной конференции, 6-10 июня 2016 г.Material type: Article; Format: electronic available online ; 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 (remove)
	41.	No cover image available Логическое программирование на языке Пролог Электронный ресурс учебно-методический комплекс В. В. Андреева, А. Ю. Матросова ; Том. гос. ун-т, [Ин-т дистанционного образования] by Андреева, Валентина Валерьевна \| Матросова, Анжела Юрьевна \| Томский государственный университет Институт дистанционного образования. Material type: Computer file; Format: electronic available online Publication details: Томск [ИДО ТГУ] 2011Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	42.	No cover image available Синтез частично программируемых схем, ориентированный на маскирование вредоносных подсхем (Trojan Circuits) А. Ю. Матросова, С. А. Останин, Е. А. Николаева by Матросова, Анжела Юрьевна \| Останин, Сергей Александрович \| Николаева, Екатерина Александровна. Source: Труды Института системного программирования РАНMaterial type: Article; Format: electronic available online Other title: Partially programmable circuit design oriented to masking Trojan Circuits.Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	43.	Новые информационные технологии в исследовании сложных структур материалы Тринадцатой международной конференции, 7-9 сентября 2020 г. М-во науки и высш. образования РФ, Нац. исслед. Том. гос. ун-т, Ангарский гос. техн. ун-т, Ин-т вычислит. мат. и мат. геофизики СО РАН ; [ред. кол.: А. М. Горцев и др.] by Беккерман, Екатерина Николаевна [edt] \| Шабалдина, Наталия Владимировна [edt] \| Горцев, Александр Михайлович, 1944-2023 [edt] \| Громов, Максим Леонидович [edt] \| Торгаев, Станислав Николаевич [edt] \| Медведев, Юрий Геннадьевич [edt] \| Останин, Сергей Александрович [edt] \| Прокопенко, Светлана Анатольевна [edt] \| Захарова, Галина Борисовна [edt] \| Матросова, Анжела Юрьевна [edt] \| Нежельская, Людмила Алексеевна [edt] \| Томский государственный университет. Material type: Set; Format: electronic available online Publication details: Томск Издательский Дом Томского государственного университета 2020Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	44.	Труды Томского государственного университета Т. 305 Серия физико-математическая by Томский государственный университет \| Шмырин, Игорь Сергеевич [edt] \| Горцев, Александр Михайлович, 1944-2023 [edt] \| Сущенко, Сергей Петрович [edt] \| Дмитриев, Юрий Глебович [edt] \| Моисеева, Светлана Петровна [edt] \| Конев, Виктор Васильевич [edt] \| Матросова, Анжела Юрьевна [edt] \| Назаров, Анатолий Андреевич [edt] \| Лившиц, Климентий Исаакович [edt] \| Останин, Сергей Александрович [edt] \| "Математическое и программное обеспечение информационных, технических и экономических систем", международная научная конференция 2020 Томск. Material type: Set; Format: electronic available online Publication details: Томск Издательство Томского государственного университета 2020Other title: Материалы Международной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 28-30 мая 2020 г. / М-во науки и высш. образования, Том. гос. ун-т ; под общ. ред. И. С. Шмырина ; науч. ред. тома: А. М. Горцев [и др.].Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	45.	No cover image available Обнаружение ложных путей в последовательностных схемах А. Ю. Матросова, В. В. Андреева, С. В. Чернышов [и др.] by Андреева, Валентина Валерьевна \| Чернышов, Семен Владимирович \| Рожкова, Светлана Владимировна \| Кудин, Дмитрий Владимирович \| Матросова, Анжела Юрьевна. Source: Известия высших учебных заведений. ФизикаMaterial type: Article; Format: electronic available online Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	46.	No cover image available Построение частичных функций для подсхем А. С. Ложкин, А. Ю. Матросова, Э. С. Фатеева by Ложкин, Алексей Сергеевич \| Матросова, Анжела Юрьевна \| Фатеева, Эвелина Сергеевна. Source: Материалы VII Международной молодежной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 23-25 мая 2019 г.Material type: Article; Format: electronic available online ; 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 (remove)
	47.	No cover image available Дискретная математика рабочая программа дисциплины : направление подготовки: 010400 - Прикладная математика и информатика; квалификация выпускника: Бакалавр; форма обучения: очная Матросова А. Ю. ; Томский гос. ун-т, Фак. прикладной математики и кибернетики by Матросова, Анжела Юрьевна \| Томский государственный университет Факультет прикладной математики и кибернетики. Material type: Text; Format: electronic available online ; Audience: Specialized; Publication details: Томск [б. и.] 2011Other title: Рабочая программа дисциплины "Дискретная математика".Availability: No items available : Log in to add tags Add to cart (remove)
	48.	No cover image available Поиск всех тестовых наборов для неисправности логической схемы и представление их ROBDD-графом А. Ю. Матросова, С. А. Останин, А. В. Бухаров, И. Е. Кириенко by Останин, Сергей Александрович \| Бухаров, Александр Вениаминович \| Кириенко, Ирина Евгеньевна \| Матросова, Анжела Юрьевна \| Томский государственный университет Факультет прикладной математики и кибернетики Кафедра программирования \| Томский государственный университет Факультет прикладной математики и кибернетики Публикации студентов и аспирантов ФПМК. Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатикаMaterial type: Article; Format: electronic available online Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	49.	No cover image available К синтезу самопроверяемых комбинационных схем А. Ю. Матросова, С. А. Останин by Матросова, Анжела Юрьевна \| Останин, Сергей Александрович. Source: Международная конференция "Всесибирские чтения по математике и механике", 17-20 июня 1997 г., г. Томск: Избранные доклады. Т. 1Material type: Article; Format: print ; Literary form: Not fiction ; Audience: Specialized; Availability: No items available : Log in to add tags Add to cart (remove)
	50.	No cover image available Использование точных оценок управляемости и наблюдаемости для выявления вредоносных подсхем (Trojan Circuits) в последовательностных схемах А. Ю. Матросова, В. В. Томков, Д. И. Ахунова by Матросова, Анжела Юрьевна \| Томков, Владислав Владимирович \| Ахунова, Дина Иманбековна. Source: Новые информационные технологии в исследовании сложных структур : материалы одиннадцатой международной конференции, 6-10 июня 2016 г.Material type: Article; Format: electronic available online ; 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 (remove)

Scientific Library of Tomsk State University

E-catalog

Refine your search

Availability

Bibliographic level

Authors

Locations

Item types

Topics

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

Your search returned 91 results.