Prohlížení dle autora "Sawa, Zdeněk"
-
Absolvování individuální odborné praxe
Rusnok, Daniel (Bakalářská práce, 2015) -
Absolvování individuální odborné praxe
Prokop, Petr (Bakalářská práce, 2016) -
Absolvování individuální odborné praxe
Dvořáček, Jan (Bakalářská práce, 2017) -
Absolvování individuální odborné praxe
Rýdel, Jiří (Bakalářská práce, 2014) -
Absolvování individuální odborné praxe
Kaňok, Tomáš (Bakalářská práce, 2013) -
Absolvování individuální odborné praxe
Kopečný, Michal (Bakalářská práce, 2016) -
Absolvování individuální odborné praxe
Folta, Ladislav (Bakalářská práce, 2013) -
Abstraktní interpretace
Kermaschek, Jakub (Bakalářská práce, 2015) -
Algorithms for Parity Games
Velkoborský, Jakub (Bakalářská práce, 2010) -
Algoritmy pro převod regulárních výrazů na konečné automaty
Vacho, Tomáš (Diplomová práce, 2017) -
Algoritmy pro řešení hlavolamu Eternity II
Garncarz, Ondřej (Bakalářská práce, 2009) -
Algoritmy pro řešení rozvrhovacích problémů s omezenými zdroji
Frolo, Viliam (Diplomová práce, 2017) -
Analýza datového toku v programech
Hrubý, Martin (Bakalářská práce, 2005) -
Analýza řídícího toku v programech
Theuer, Roman (Bakalářská práce, 2005) -
Analýza událostí a jejich temporálních aspektů s využitím Transparentní intensionální logiky
Macek, Jakub (Disertační práce, 2017) -
Automatické nalezení lineárních vztahů mezi proměnnými programu
Navrátil, Tomáš (Diplomová práce, 2013) -
Automatické strukturování kódu programu
Khairy, Hamid (Bakalářská práce, 2013) -
Behavioural equivalences on finite-state systems are PTIME-hard
Sawa, Zdeněk; Jančar, Petr (Computing and Informatics. 2005, vol. 24, no. 5, p. 513-528.) -
Complexity and decidability of some equivalence-checking problems
Sawa, Zdeněk (Disertační práce, 2005) -
Complexity of deciding bisimilarity between normed BPA and normed BPP
Jančar, Petr; Kot, Martin; Sawa, Zdeněk (Information and Computation. 2010, vol. 208, issue 10, p. 1193-1205.)