Prohlížení dle autora "Srba, Jiří"
-
Analýza a návrh komplexního řešení CMS v organizaci
Kačer, Jiří (Diplomová práce, 2011) -
Elemental composition, mineralogy and orbital parameters of the Porangaba meteorite
Ferus, Martin; Petera, Lukáš; Koukal, Jakub; Lenža, Libor; Drtinová, Barbora; Haloda, Jakub; Matýsek, Dalibor; Pastorek, Adam; Laitl, Vojtěch; Poltronieri, Renato Cassio; Domingues, Marcelo Wagner; Gonçalves, Gabriel; Sato, Rodrigo del Olmo; Knížek, Antonín; Kubelík, Petr; Křivková, Anna; Srba, Jiří; di Pietro, Carlos Augusto; Bouša, Milan; Vaculovič, Tomáš; Civiš, Svatopluk (Icarus. 2020, vol. 341, art. no. UNSP 113670.) -
Evropská unie a Severoamerická dohoda o volném obchodu
Serafinová, Aneta (Bakalářská práce, 2011) -
Hospodaření neziskové organizace v oblasti sportu
Adamcová, Petra (Bakalářská práce, 2011) -
Identifikace problémů na území statutárního města Ostravy
Srba, Jiří (Diplomová práce, 2006) -
Integrační seskupení na asijském kontinentě a jejich vztahy s EU
Serafinová, Aneta (Diplomová práce, 2013) -
Metody oceňování nemovitostí v České republice
Adamcová, Petra (Diplomová práce, 2013) -
Návrh části systému pro správu prezentace gastronomických zařízení
Srba, Jiří (Diplomová práce, 2005) -
Selected Problems from the Area of Formal Verification
Kot, Martin (Disertační práce, 2009) -
Undecidability of bisimilarity by defender's forcing
Jančar, Petr; Srba, Jiří (Journal of the ACM. 2008, vol. 55, issue 1, art. no. 5.) -
Undecidability results for bisimilarity on prefix rewrite systems
Jančar, Petr; Srba, Jiří (Foundations of software science and computation structures : 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006. Proceedings. 2006, p. 277-291.)