Práce na stejné téma (mají shodná klíčová slova):
protiprikladKlíčová slova abecedně | Klíčová slova dle četnosti
Geodesics and their mappings
(Lenka RÝPAROVÁ)2020, Disertační práce, Přírodovědecká fakulta / UNIVERZITA PALACKÉHO V OLOMOUCI
• http://theses.cz/id//lj30c4// | Matematika / Algebra a geometrie | Práce na příbuzné téma
Abstraction via Program Transformation
(Henrich Lauko)2023, Disertační práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/mkjtn/ | Informatika / Technologie a metodologie počítačových systémů | Práce na příbuzné téma
Implementace distribuovaného algoritmu v prostředí DiVinE
(Martin Pekárek)2006, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/o4yfs/ | Aplikovaná informatika / | Práce na příbuzné téma
Spravedlnost a ověřování vlastností protokolů pro vzájemné vyloučení
(Martin Šmérek)2008, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/uaraf/ | Informatika / | Práce na příbuzné téma
Case analysis of a splitter theorem
(Matúš Hlaváčik)2016, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/zpuo1/ | Informatika / Matematická informatika | Práce na příbuzné téma
Abstractions via Program Transformations
(Henrich Lauko)2019, Rigorózní práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/uqf69/ | Teoretická informatika / | Práce na příbuzné téma