Ústav inteligentních systémů

Autor Název Klíčové slovo Rok Roků Typ produktu

2024

Mata: Knihovna pro konečné automaty, software, 2024
Autoři: HAVLENA, V.; HOLÍK, L.; CHOCHOLATÝ, D.; LENGÁL, O.; SÍČ, J.; FIEDOR, T.; HRUŠKA, M.
Predator Hunting Party: Nástroj pro verifikaci a hledání chyb, verze 3.1415, software, 2024
Autoři: MÜLLER, P.; PERINGER, P.; ŠOKOVÁ, V.; VOJNAR, T.; KINŠT, O.; KOTOUN, M.
Webová aplikace pro zpracování otisků prstů, software, 2024
Autoři: VAŇO, M.; SVOBODA, J.; SAKIN, M.
Z3-Noodler: Řetězcový Řešič, software, 2024
Autoři: HAVLENA, V.; HOLÍK, L.; CHOCHOLATÝ, D.; LENGÁL, O.; SÍČ, J.; CHEN, Y.