Práce na příbuzné téma (mají shodná klíčová slova):
elm, hindley-milner, system f, single-page-application, lambda calculus, functional programming, type derivation treeKlíčová slova abecedně | Klíčová slova dle četnosti
1.
Kadlecaj, Jakub
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Umělá inteligence a zpracování přirozeného jazyka
Obhajoba bakalářské práce: Online Lambda Calculus Evaluator | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Umělá inteligence a zpracování přirozeného jazyka
Obhajoba bakalářské práce: Online Lambda Calculus Evaluator | Práce na příbuzné téma
2.
Kövári, Adam
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Služby - výzkum, řízení a inovace
Obhajoba diplomové práce: Reaktivní platforma federované databáze | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Služby - výzkum, řízení a inovace
Obhajoba diplomové práce: Reaktivní platforma federované databáze | Práce na příbuzné téma
3.
Křetínský, Jan
Fakulta: Fakulta informatiky
Rok: 2007, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Use-mention Distinction in Transparent Intensional Logic | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2007, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Use-mention Distinction in Transparent Intensional Logic | Práce na příbuzné téma
4.
Kůs, Jiří
Fakulta: Fakulta sociálních studií
Rok: 2006, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Psychologie (kombinované) / Psychologie, Sociologie
Obhajoba bakalářské práce: Persuaze a změna postoje | Práce na příbuzné téma
Fakulta: Fakulta sociálních studií
Rok: 2006, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Psychologie (kombinované) / Psychologie, Sociologie
Obhajoba bakalářské práce: Persuaze a změna postoje | Práce na příbuzné téma
5.
Mises, Pavel roz. Dvořák
Fakulta: Fakulta informatiky
Rok: 2010, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Syntactic analysis and type evaluation in Haskell | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2010, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Syntactic analysis and type evaluation in Haskell | Práce na příbuzné téma
6.
Mises, Pavel roz. Dvořák
Fakulta: Fakulta informatiky
Rok: 2012, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Web applications in Haskell | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2012, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Web applications in Haskell | Práce na příbuzné téma
7.
Novák, Stanislav
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Umělá inteligence a zpracování přirozeného jazyka
Obhajoba bakalářské práce: Haskell Hero -- interaktivní učebnice funkcionálního programování | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Umělá inteligence a zpracování přirozeného jazyka
Obhajoba bakalářské práce: Haskell Hero -- interaktivní učebnice funkcionálního programování | Práce na příbuzné téma
8.
Pastirčák, Tomáš
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Počítačové systémy
Obhajoba diplomové práce: Application of functional programming in the development of enterprise systems | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Počítačové systémy
Obhajoba diplomové práce: Application of functional programming in the development of enterprise systems | Práce na příbuzné téma
9.
Pilař, Petr
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Matematická informatika
Obhajoba bakalářské práce: In-memory dictionaries with multidimensional keys in Haskell | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Matematická informatika
Obhajoba bakalářské práce: In-memory dictionaries with multidimensional keys in Haskell | Práce na příbuzné téma
10.
Rýdzi, Oliver
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Functional Programming in Javascript | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Functional Programming in Javascript | Práce na příbuzné téma
11.
Řádková, Hana
Fakulta: Fakulta sociálních studií
Rok: 2017, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Psychologie / Psychologie
Obhajoba bakalářské práce: Psychologické faktory ovlivňující úspěšnost inzerce při výběru kandidátů | Práce na příbuzné téma
Fakulta: Fakulta sociálních studií
Rok: 2017, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Psychologie / Psychologie
Obhajoba bakalářské práce: Psychologické faktory ovlivňující úspěšnost inzerce při výběru kandidátů | Práce na příbuzné téma
12.
Ševc, Branislav
Fakulta: Fakulta informatiky
Rok: 2019, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Knihovna pro zpracování asynchronních událostí v C++ | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2019, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Knihovna pro zpracování asynchronních událostí v C++ | Práce na příbuzné téma
13.
Štefková, Júlia
Fakulta: Fakulta sociálních studií
Rok: 2018, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Humanitní environmentalistika / Environmentální studia, Mezinárodní vztahy
Obhajoba bakalářské práce: Motivácia k vegánstvu: Aké persuazívne prostriedky sú efektívne v prípade prechodu na vegánsky životný štýl? | Práce na příbuzné téma
Fakulta: Fakulta sociálních studií
Rok: 2018, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Humanitní environmentalistika / Environmentální studia, Mezinárodní vztahy
Obhajoba bakalářské práce: Motivácia k vegánstvu: Aké persuazívne prostriedky sú efektívne v prípade prechodu na vegánsky životný štýl? | Práce na příbuzné téma