  Název práce |
Rok vypsání |
Rok obhájení |
Typ práce | Obor práce | Vedoucí / školitel |
Řešitel |
Vypsáno |
Zadáno | Ústav | Fakulta | |
 |
Kombinátory a doménově specifické jazyky | 2007/2008 | diplomová práce | RNDr. Jan Hric | 18.10.2007 | Ne | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | |||
|
Návrhové vzory ve funkcionálních jazycích | 2009/2010 | diplomová práce | RNDr. Jan Hric | 18.10.2007 | Ne | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | |||
|
Aplikace zpětnovazebního učení na optimalizační úlohy | 2009/2010 | bakalářská práce | RNDr. Jan Hric | 27.10.2009 | Ne | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | |||
|
Algoritmus zobecněných hrozeb v počítačovém go | 2009/2010 | diplomová práce | RNDr. Jan Hric | 18.10.2007 | Ne | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | |||
|
MCTS pro omezující podmínky | 2010/2011 | diplomová práce | I | RNDr. Jan Hric | 11.01.2011 | Ne | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | ||
|
Podpora XML v deklarativních jazycích | 2006/2007 | diplomová práce | RNDr. Jan Hric | 01.10.2006 | Ne | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | |||
|
Testování správnosti deklarativních programů | 2007/2008 | diplomová práce | RNDr. Jan Hric | 18.10.2007 | Ne | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | |||
|
Řešení CSP s podporou MCTS | 2009/2010 | diplomová práce | I | RNDr. Jan Hric | 18.10.2007 | Ne | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | ||
|
Staged programming | 2006/2007 | diplomová práce | RNDr. Jan Hric | 01.10.2006 | Ne | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | |||
|
Databáze partií go s tutorem | 2015/2016 | bakalářská práce | RNDr. Jan Hric | 12.11.2012 | Ne | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF |
Výsledky 1-10 z 10 1