Název práce | Rok vypsání | Rok obhájení | Typ práce | Obor práce | Vedoucí / školitel | Řešitel | Vypsáno | Zadáno | Ústav | Fakulta | |
Konzistentní systémy projekcí | 2019/2020 | bakalářská práce | doc. Mgr. Libor Barto, Ph.D. | 25.10.2016 | Ne | Katedra algebry (32-KA) | MFF | ||||
Rozšíření problému splnitelnosti omezujících podmínek | 2023/2024 | disertační práce | P4M1, P4M1A | doc. Mgr. Libor Barto, Ph.D. | 24.04.2024 | Ne | Katedra algebry (32-KA) | MFF | |||
Vážené klony | 2017/2018 | bakalářská práce | doc. Mgr. Libor Barto, Ph.D. | 13.10.2014 | Ne | Katedra algebry (32-KA) | MFF | ||||
CSP nad orientovanými stromy | 2019/2020 | bakalářská práce | doc. Mgr. Libor Barto, Ph.D. | 25.10.2016 | Ne | Katedra algebry (32-KA) | MFF | ||||
Finitely Related Algebras | 2016/2017 | diplomová práce | doc. Mgr. Libor Barto, Ph.D. | 21.10.2013 | Ne | Katedra algebry (32-KA) | MFF | ||||
Rozšíření problému splnitelnosti omezujících podmínek | 2023/2024 | disertační práce | P4M1A | doc. Mgr. Libor Barto, Ph.D. | 27.04.2023 | Ne | Katedra algebry (32-KA) | MFF | |||
Kosouvislé algebry | 2017/2018 | bakalářská práce | doc. Mgr. Libor Barto, Ph.D. | 13.10.2014 | Ne | Katedra algebry (32-KA) | MFF | ||||
An Algebraic Approach to the Constraint Satisfaction Problem | 2007/2008 | diplomová práce | doc. Mgr. Libor Barto, Ph.D. | 08.10.2007 | Ne | Katedra algebry (32-KA) | MFF | ||||
Kosouvislé algebry | 2006/2007 | bakalářská práce | doc. Mgr. Libor Barto, Ph.D. | 02.10.2006 | Ne | Katedra algebry (32-KA) | MFF | ||||
Kosouvislé algebry | 2007/2008 | bakalářská práce | doc. Mgr. Libor Barto, Ph.D. | 08.10.2007 | Ne | Katedra algebry (32-KA) | MFF | ||||
Symetrie ve výpočetní složitosti | 2021/2022 | disertační práce | 4M1, 4M1A | doc. Mgr. Libor Barto, Ph.D. | 20.04.2018 | Ne | Katedra algebry (32-KA) | MFF |
Výsledky 1-11 z 11 1