Научная библиотека ТГУ catalog › Results of search for 'su:"графы"'

Search

Your search returned 6 results.

	1.	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)
	2.	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)
	3.	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)
	4.	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)
	5.	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)
	6.	No cover image available Построение кратчайшей установочной последовательности последовательностной схемы с использованием ROBDD С. В. Чернышов, В. В. Андреева by Чернышов, Семен Владимирович \| Андреева, Валентина Валерьевна. Source: Материалы V Международной молодежной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 19-20 мая 2017 г.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)