Zpět na vyhledávání

Práce na stejné téma (mají shodná klíčová slova):

semantics

Klíčová slova abecedně | Klíčová slova dle četnosti

« 1 2 3 » (celkem 22 prací)
Semantics Visualization and Visual Semantics: in E-learning and other Applications
 (Tomáš Gregar)

2011, Disertační práce, Fakulta informatiky / Masarykova univerzita

https://is.muni.cz/th/ynijg/ | Informatika (čtyřleté) / Informatika | Práce na příbuzné téma

Well-founded semantics for dependent, recursive record types with type complement
 (Jozef Mikušinec)

2022, Diplomová práce, Fakulta informatiky / Masarykova univerzita

https://is.muni.cz/th/xr8vu/ | Teoretická informatika / Principy programovacích jazyků | Práce na příbuzné téma

Generalized asynchronous semantics for Boolean networks
 (Šimon Ondrejka)

2022, Bakalářská práce, Fakulta informatiky / Masarykova univerzita

https://is.muni.cz/th/zd84e/ | Informatika / | Práce na příbuzné téma

Type theory and its semantics
 (Vít Jelínek)

2024, Diplomová práce, Fakulta informatiky / Masarykova univerzita

https://is.muni.cz/th/fl75q/ | Teoretická informatika / Diskrétní algoritmy a modely | Práce na příbuzné téma

An Executable Formal Semantics of C++
 (Jan Tušil)

2017, Diplomová práce, Fakulta informatiky / Masarykova univerzita

https://is.muni.cz/th/webh9/ | Informatika / Paralelní a distribuované systémy | Práce na příbuzné téma

Influence of the Second Language on the First in the Lexicon and Semantics
 (Kamil Ivan)

2018, Bakalářská práce, Pedagogická fakulta / Masarykova univerzita

https://is.muni.cz/th/mmrln/ | Specializace v pedagogice / Lektorství cizího jazyka - anglický jazyk | Práce na příbuzné téma

Semantics of covaluation expressions: truth value judgment task
 (Michaela Poprocká)

2018, Bakalářská práce, Filozofická fakulta / Masarykova univerzita

https://is.muni.cz/th/drk3n/ | Filologie / Norský jazyk a literatura | Práce na příbuzné téma

Semantics-Driven Middleware Layer for Building Operation Analysis in Large-Scale Environments
 (Adam Kučera)

2014, Rigorózní práce, Fakulta informatiky / Masarykova univerzita

https://is.muni.cz/th/ucy9u/ | Aplikovaná informatika / | Práce na příbuzné téma

An Executable Formal Semantics of Agda
 (Andrej Tokarčík)

2015, Diplomová práce, Fakulta informatiky / Masarykova univerzita

https://is.muni.cz/th/ssggj/ | Informatika / Teoretická informatika | Práce na příbuzné téma

Semantics of covaluation expressions: truth value judgment task
 (Michaela Poprocká)

2018, Bakalářská práce, Filozofická fakulta / Masarykova univerzita

https://is.muni.cz/th/drk3n/ | Filologie / Norský jazyk a literatura | Práce na příbuzné téma

« 1 2 3 » (celkem 22 prací)