Prohlížení dle autora "Markl, Jaroslav"
-
Bezkontextové grafové gramatiky
Žalmánek, Petr (Diplomová práce, 2001) -
Gramatické systémy
Havlíček, David (Diplomová práce, 2002) -
Jazyky Petriho sítí a možnosti jejich využití pro reprezentaci programovacích /a jiných formálních/ jazyků
Ondřejek, Pavel (Diplomová práce, 1996) -
Maximalizace výnosu úpravy uhlí při dodržení předepsané popelnatosti
Markl, Jaroslav (Práce aspirantského minima, 1969) -
Metodologie tvorby objektově-orientovaných programových systémů s využitím teorie objektových Petriho sítí
Martiník, Ivo (Disertační práce, 1999) -
Návrh a programová realizace výukového systému pro editaci, simulaci a analýzu jednobarevných hierarchických Petriho sítí
Budka, Pavel (Diplomová práce, 1997) -
Návrh a programová realizace výukového systému pro editaci, simulaci a analýzu jednoduchých barevných Petriho sítí
Schaffartzik, Marek (Diplomová práce, 1997) -
Petriho sítě a jejich použití při návrhu a analýze paralelních programů
Khandaker Golam Morshed (Diplomová práce, 1998) -
Programové prostředky pro podporu práce s Petriho sítěmi
Cetkovský, Martin (Diplomová práce, 2003) -
Programový systém pro návrh, analýzu a simulaci konečných automatů
Vaněčková, Monika (Diplomová práce, 1998) -
Programový systém pro návrh, analýzu a simulaci zásobníkových automatů
Najman, Radko (Diplomová práce, 1997) -
Programový systém pro návrh, editaci a simulaci Turingových strojů
Budinská, Lenka (Diplomová práce, 1998) -
Programový systém pro práci s řízenými gramatikami
Kovář, Jaroslav (Diplomová práce, 2002) -
Racionalizace systému plánování oprav v závodě Údržba BIOCEL Paskov s využitím výpočetní techniky
Kubík, Libor (Diplomová práce, 1991) -
Řízené gramatiky
Kot, Martin (Diplomová práce, 2002) -
Soubor programů na ekvivalentní úpravy bezkontextových gramatik
Pařízek, Tomáš (Diplomová práce, 1999) -
Soubor programů pro řešení standardních úloh teorie her
Svoboda, Roman (Diplomová práce, 2004) -
Stromové jazyky
Chytil, Tomáš (Diplomová práce, 2001) -
Zpracování studijní opory pro distanční studium teorie her
Rumplík, Milan (Diplomová práce, 2006)