Práce na příbuzné téma (mají shodná klíčová slova):
mpi, sit, divine, distribuovane vypocty, tcp, formalni verifikace, paralelizmusKlíčová slova abecedně | Klíčová slova dle četnosti
101.
Suchomel, Vít
Fakulta: Fakulta informatiky
Rok: 2007, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Automatické testování nástroje DiVinE | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2007, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Automatické testování nástroje DiVinE | Práce na příbuzné téma
102.
Svačinová, Marta
Fakulta: Fakulta sociálních studií
Rok: 2019, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Mediální a komunikační studia / Environmentální studia, Mediální studia a žurnalistika
Obhajoba bakalářské práce: Webové platformy a databáze sdružující environmentální projekty v ČR | Práce na příbuzné téma
Fakulta: Fakulta sociálních studií
Rok: 2019, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Mediální a komunikační studia / Environmentální studia, Mediální studia a žurnalistika
Obhajoba bakalářské práce: Webové platformy a databáze sdružující environmentální projekty v ČR | Práce na příbuzné téma
103.
Svobodová, Veronika
Fakulta: Přírodovědecká fakulta
Rok: 2006, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Matematika / Učitelství matematiky pro střední školy
Obhajoba rigorózní práce: Historie pravidelných mnohostěnů | Práce na příbuzné téma
Fakulta: Přírodovědecká fakulta
Rok: 2006, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Matematika / Učitelství matematiky pro střední školy
Obhajoba rigorózní práce: Historie pravidelných mnohostěnů | Práce na příbuzné téma
104.
Šárník, Jakub
Fakulta: Fakulta informatiky
Rok: 2022, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Automatická analýza neúplných programů | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2022, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Automatická analýza neúplných programů | Práce na příbuzné téma
105.
Šeděnka, Jaroslav
Fakulta: Fakulta informatiky
Rok: 2007, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Huffmanovo kódování stavů v DiVinE | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2007, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Huffmanovo kódování stavů v DiVinE | Práce na příbuzné téma
106.
Šimeček, Pavel
Fakulta: Fakulta informatiky
Rok: 2006, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informatika
Obhajoba diplomové práce: DiVinE - Prostředí pro distribuovanou verifikaci | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2006, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informatika
Obhajoba diplomové práce: DiVinE - Prostředí pro distribuovanou verifikaci | Práce na příbuzné téma
107.
Šiška, Adam
Fakulta: Fakulta informatiky
Rok: 2010, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Interpretace DVE modelů v Haskellu | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2010, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Interpretace DVE modelů v Haskellu | Práce na příbuzné téma
108.
Štill, Vladimír
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Počítačové sítě a komunikace
Obhajoba bakalářské práce: State space compression for the DiVinE model checker | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Počítačové sítě a komunikace
Obhajoba bakalářské práce: State space compression for the DiVinE model checker | Práce na příbuzné téma
109.
Štill, Vladimír
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: LLVM Transformations for Model Checking | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: LLVM Transformations for Model Checking | Práce na příbuzné téma
110.
Štill, Vladimír
Fakulta: Fakulta informatiky
Rok: 2020, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika (čtyřleté) / Počítačové systémy a technologie
Obhajoba disertační práce: Analysis of Parallel C++ Programs | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2020, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika (čtyřleté) / Počítačové systémy a technologie
Obhajoba disertační práce: Analysis of Parallel C++ Programs | Práce na příbuzné téma
111.
Štill, Vladimír
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba rigorózní práce: Memory-Model-Aware Analysis of Parallel Programs | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba rigorózní práce: Memory-Model-Aware Analysis of Parallel Programs | Práce na příbuzné téma
112.
Tomáštík, Marek
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Matematická informatika
Obhajoba bakalářské práce: Porovnání nástrojů pro paralelní LTL model checking | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Matematická informatika
Obhajoba bakalářské práce: Porovnání nástrojů pro paralelní LTL model checking | Práce na příbuzné téma
113.
Trnková, Petra
Fakulta: Filozofická fakulta
Rok: 2008, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Obecná teorie a dějiny umění a kultury / Teorie a dějiny umění
Obhajoba disertační práce: Technický obraz na malířských štaflích. (Česko-němečtí fotoamatéři a umělecká fotografie, 1890-1914). | Práce na příbuzné téma
Fakulta: Filozofická fakulta
Rok: 2008, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Obecná teorie a dějiny umění a kultury / Teorie a dějiny umění
Obhajoba disertační práce: Technický obraz na malířských štaflích. (Česko-němečtí fotoamatéři a umělecká fotografie, 1890-1914). | Práce na příbuzné téma
114.
Vaněk, Ondřej
Fakulta: Fakulta informatiky
Rok: 2008, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Analýza sociální sítě hráčů šifrovacích her | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2008, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Analýza sociální sítě hráčů šifrovacích her | Práce na příbuzné téma
115.
Vaníček, Roman
Fakulta: Fakulta informatiky
Rok: 2007, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informatika
Obhajoba diplomové práce: Semisynchronní transkoding multimediálních dat | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2007, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informatika
Obhajoba diplomové práce: Semisynchronní transkoding multimediálních dat | Práce na příbuzné téma
116.
Vaňo, Ján
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informační systémy
Obhajoba diplomové práce: Map-Reduce technologie pro extrakci dat | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informační systémy
Obhajoba diplomové práce: Map-Reduce technologie pro extrakci dat | Práce na příbuzné téma
117.
Vaššová, Barbora
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Počítačové sítě a komunikace
Obhajoba bakalářské práce: Verifikace protokolu AMQP | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Počítačové sítě a komunikace
Obhajoba bakalářské práce: Verifikace protokolu AMQP | Práce na příbuzné téma
118.
Víšková, Veronika
Fakulta: Filozofická fakulta
Rok: 2013, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informační studia a knihovnictví / Informační studia a knihovnictví
Obhajoba bakalářské práce: Využití sociometrie při analýze online sociálních sítí | Práce na příbuzné téma
Fakulta: Filozofická fakulta
Rok: 2013, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informační studia a knihovnictví / Informační studia a knihovnictví
Obhajoba bakalářské práce: Využití sociometrie při analýze online sociálních sítí | Práce na příbuzné téma
119.
Vodila, Martin
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Teoretická informatika
Obhajoba diplomové práce: Výkonnostní analýza komponent moderních telekomunikačních směrovacích systémů | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Teoretická informatika
Obhajoba diplomové práce: Výkonnostní analýza komponent moderních telekomunikačních směrovacích systémů | Práce na příbuzné téma
120.
Žák, Martin
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Coloured Nested DFS | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Coloured Nested DFS | Práce na příbuzné téma