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

type theory

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

« 1 2 » (celkem 12 prací)
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

Local Type Argument Synthesis for Erlang
 (David Pavlík)

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

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

Homotopická teorie typů
 (Marek Coufalík)

2022, Bakalářská práce, Přírodovědecká fakulta / Masarykova univerzita

https://is.muni.cz/th/jerg1/ | Matematika / Obecná matematika | Práce na příbuzné téma

Behavioral Finance - Prospect Theory a vliv typu vysokoškolského vzdělání na čtyřdílné chování
 (Petra Karamonová)

2011, Diplomová práce, Vysoká škola ekonomická v Praze

http://www.vse.cz/vskp/eid/29781 | Finance a účetnictví / Bankovnictví a pojišťovnictví | Práce na příbuzné téma

Algoritmy pro inferenční systémy založené na fuzzy teorii typů
 (Jakub KALOČ)

2011, Diplomová práce, Přírodovědecká fakulta / OSTRAVSKÁ UNIVERZITA V OSTRAVĚ

http://theses.cz/id//6iwrhp// | Informatika / Informační systémy | Práce na příbuzné téma

Structural and geometric graph theory and algorithmic metatheorems
 (Filip Pokrývka)

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

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

Price discrimination theory and its online practice
 (Asilbek Yusupov)

2022, Diplomová práce, Vysoká škola finanční a správní

https://is.vsfs.cz/th/er2a2/ | Economics and Management / | Práce na příbuzné téma

Structural and Geometric Graph Theory and Algorithmic Metatheorems
 (Filip Pokrývka)

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

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

Oscillation Theory of Higher Order Half-Linear Differential and Difference Equations
 (Vojtěch Růžička)

2017, Disertační práce, Přírodovědecká fakulta / Masarykova univerzita

https://is.muni.cz/th/p5jwb/ | Matematika (čtyřleté) / Matematická analýza | Práce na příbuzné téma

A positive theory of corruption: Costs and benefits
 (Viktoriya Maxina)

2017, Diplomová práce, Vysoká škola finanční a správní

https://is.vsfs.cz/th/hg7b6/ | Ekonomika a management / Business Management and Corporate Finance | Práce na příbuzné téma

« 1 2 » (celkem 12 prací)