  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 | |
 |
Realizace softwarového prostředí pro návrh seznamových automatů s operací restart Martin Plátek, CSc. - KTI | 1997/1998 | diplomová práce | I | Martin Plátek, CSc. | skrytý |
08.11.1996 | 08.11.1996 | () | MFF | |
|
Gramatiky a automaty pracující s dvourozměrnými seznamy /mřížkami /Martin Plátek, CSc. - KTI | 1997/1998 | diplomová práce | I | Martin Plátek, CSc. | skrytý |
08.11.1996 | 08.11.1996 | () | MFF | |
|
Vlastnosti tříd jazyků vymezených pomocí seznamových automatů | 2007/2008 | diplomová práce | Martin Plátek, CSc. | 01.10.2007 | Ne | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | |||
|
Prostředí pro vývoj restartovacích automatů | 2007/2008 | diplomová práce | Martin Plátek, CSc. | 01.10.2007 | Ne | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | |||
|
Redukční automaty a syntaktické chyby | 2003/2004 | 2011/2012 | disertační práce | 4I3 | Martin Plátek, CSc. | skrytý |
01.10.2003 | 01.10.2003 | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF |
|
Vývojové prostředí pro implementaci restartovacích automatů | 2000/2001 | 2000/2001 | diplomová práce | I | Martin Plátek, CSc. | skrytý |
16.10.2000 | 13.11.2000 | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF |
|
Kompozice automatů a syntaktických systémů | 2010/2011 | diplomová práce | Martin Plátek, CSc. | 01.10.2007 | Ne | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | |||
|
Obecné závislostní gramatiky | 2007/2008 | diplomová práce | Martin Plátek, CSc. | 01.10.2007 | Ne | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | |||
|
Restartovací a seznamové automaty se strukturovaným výstupem | 2002/2003 | 2002/2003 | diplomová práce | MSTR | Martin Plátek, CSc. | skrytý |
01.10.2002 | 06.11.2002 | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF |
|
Robustní anal. s využitím metodik zotavení ze syntaktických chyb Martin Plátek, CSc. - KTI | 1997/1998 | diplomová práce | I | Martin Plátek, CSc. | skrytý |
08.11.1996 | 08.11.1996 | () | MFF | |
|
Two-dimensional Languages | 1998/1999 | 2004/2005 | disertační práce | I1 | Martin Plátek, CSc. | skrytý |
26.04.2005 | 26.04.2005 | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF |
|
Míry složitosti jazyků pomocí seznamových automatů | 2007/2008 | diplomová práce | Martin Plátek, CSc. | 01.10.2007 | Ne | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | |||
|
Seznamové automaty, robustní analýza a zotavení z chyb | 2000/2001 | diplomová práce | I | Martin Plátek, CSc. | skrytý |
16.10.2000 | 13.11.2000 | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF |
Výsledky 1-13 z 13 1