|
Dolování v textech popisujících výjezdy hasičského záchranného sboru Formal verification of network protocols using SPIN automated tool Replikácia dát a algoritmy v Ad-Hoc sieti Attacks on Plagiarism Detection Algorithms Automatizace tvorby 3D modelů a modelových sítí Vize sémantického webu a portál pro sdílení poznámek |