Електронний каталог науково-технічної бібліотеки
Вінницького національного технічного університету
Класифікатори
П
прувер
Документи:
Перевірка коректності потреб до програмних систем, поданих атрибутними транзиційними системами [Текст] / С. М. Баранов, В. А. Волков, О. Б. Годлевський [et al.] // Кибернетика и системный анализ. – 2003. – № 6. – 3-11.
Лялецький, О. В.
Алгоритм очевидности і системи SAD: минуле та можливе майбутнє (на англ. мов.) [Текст] / О. В. Лялецький // Кібернетика та системний аналіз. – 2021. – Т. 57, № 1. – С. 12-20.
Інформаційно-пошукова система
'УФД/Бібліотека'