Електронний каталог
Класифікатори
програми, программы
програми тестові, программы тестовые
Документи:
Агрова, О.
Система довузовского образования в КубГУ [Текст] / О. Агрова // Высшее образование в России. — 2006. — № 2. — С.61-64.
Гребенников, А. О.
Использование латентно-структурного анализа для оценивания и контроля уровня сформированности англоязычной профессионально-ориентированной коммуникативной компетенции студентов неязыковых факультетов [Текст] / А. О. Гребенников, О. А. Сеничкина // Дистанционное и виртуальное обучение. — 2014. — № 7 (85). — С. 101-110. — Библиогр. в конце ст.
Матросова, А. Ю.
Свойства пар тестовых наборов, обнаруживающих неисправности задержек путей в логических схемах VLSI высокой производительности [Текст] / А. Ю. Матросова, В. Б. Липский // Автоматика и телемеханика. — 2015. — № 4. — С. 135-148. — Библиогр. конце ст.
Непомнящий, В. А.
Прикладные методы верификации программ [Текст] : ред. А. П. Ершов / В. А. Непомнящий, О. М. Рякин. — М. : Радио и связь, 1988. — 255 с. — ISBN 5-256-00156-6.
Інформаційно-пошукова система
'УФД/Бібліотека'