Práce na stejné téma (mají shodná klíčová slova):
formalizmusKlíčová slova abecedně | Klíčová slova dle četnosti
Time Extension of Message Sequence Chart
(Ľuboš Korenčiak)2009, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/vgb7l/ | Aplikovaná informatika / | Práce na příbuzné téma
Computing isomorphic condensations in state-graphs of parametrised Boolean networks
(Šimon Varga)2021, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/leqr7/ | Aplikovaná informatika / Bioinformatika | Práce na příbuzné téma
1D quantum anharmonic oscillator via path integrals
(Matúš Lipták)2023, Bakalářská práce, Přírodovědecká fakulta / Masarykova univerzita
• https://is.muni.cz/th/r7ivg/ | Fyzika / | Práce na příbuzné téma
Covariant Hamiltonian Formalism & Thermodynamics of Gravity
(Bohuslav Matouš)2023, Disertační práce, Přírodovědecká fakulta / Masarykova univerzita
• https://is.muni.cz/th/sjx64/ | Fyzika / Teoretická fyzika | Práce na příbuzné téma
Tight Omega-Automata
(Marek Jankola)2023, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/y8hv7/ | Teoretická informatika / Formální analýza počítačových systémů | Práce na příbuzné téma
Modal Transition Systems: Extensions and Analysis
(Jan Křetínský)2014, Disertační práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/sf806/ | Informatika (čtyřleté) / Informatika | Práce na příbuzné téma
Modelování Diracovy rovnice metodou konečných prvků
(Patrick Gono)2016, Diplomová práce, Přírodovědecká fakulta / Masarykova univerzita
• https://is.muni.cz/th/eojg8/ | Fyzika / Fyzika kondenzovaných látek | Práce na příbuzné téma
Rozšíření nástroje STORM model checker pro GSMP modely
(Roman Hajdúk)2018, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/hhv34/ | Aplikovaná informatika / | Práce na příbuzné téma
Logická analýza angličtiny pomocí TIL
(Terézia Šulganová)2018, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/i7j5u/ | Informatika / Umělá inteligence a zpracování přirozeného jazyka | Práce na příbuzné téma
Parameter Synthesis in Continuous-Time Stochastic Systems
(Ľuboš Korenčiak)2017, Disertační práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/zaes9/ | Informatika (čtyřleté) / Informatika | Práce na příbuzné téma