Факультетские библиотеки

Карточный/Имидж каталог

Your search returned 5 results.

Results
	1.	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)
	2.	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)
	3.	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)
	4.	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)
	5.	No cover image available Экспериментальное исследование решателя MiniSat Г. В. Кидярова 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)