Prohlížení dle autora "Zátopek, Vít"
-
Důkazové metody predikátové logiky 1. řádu
Zátopek, Vít (Bakalářská práce, 2008) -
Možné způsoby řešení dálkového ovládání elektrických pohonů
Zátopek, Vít (Diplomová práce, 2000) -
Zabezpečení systému eLogika
Zátopek, Vít (Diplomová práce, 2010)