Zpět na vyhledávání

Theses on the same topic (having an identical keyword):

K

Keywords ordered alphabetically | Keywords ordered by occurrence rate

« 1 2 » (total: 12 theses)
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 | Theses on a related topic

List of theses with an identical keyword.

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 | Theses on a related topic

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 | Theses on a related topic

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 | Theses on a related topic

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 | Theses on a related topic

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 | Theses on a related topic

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 | Theses on a related topic

Sémantika slovesného vidu v bulharštině a češtině z pohledu formální sémantiky
 (Zornica Cvetanova Cvetkova)

2017, Disertační práce, Filozofická fakulta / Masarykova univerzita

• https://is.muni.cz/th/be7bc/ | Filologie (čtyřleté) / Paleoslovenistika a slovanské jazyky | Theses on a related topic

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 | Theses on a related topic

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 | Theses on a related topic

« 1 2 » (total: 12 theses)