Zpět na vyhledávání

Theses on the same topic (having an identical keyword):

Presburgerova aritmetika

Keywords ordered alphabetically | Keywords ordered by occurrence rate

« 1 2 3 » (total: 26 theses)
Generátor grafů konečných automatů - doplnění o operace s konečnými automaty
 (Martin Bachořík)

2013, Bakalářská práce, Fakulta elektrotechniky a informatiky / VŠB - Technická univerzita Ostrava

• http://hdl.handle.net/10084/98832 | Informační a komunikační technologie / Informatika a výpočetní technika | Theses on a related topic

List of theses with an identical keyword.

Interaktivní nástroj pro výuku konečných automatů
 (Marek Krúpa)

2024, Bakalářská práce, Fakulta elektrotechniky a informatiky / VŠB – Technická univerzita Ostrava

• http://hdl.handle.net/10084/153795 | Informatika / | Theses on a related topic

Gamifikace konstrukce deterministických konečných automatů
 (Vlastimil Blažek)

2020, Bakalářská práce, Fakulta informatiky / Masarykova univerzita

• https://is.muni.cz/th/gmgsf/ | Informatika / Počítačová grafika a zpracování obrazu | Theses on a related topic

Generátor grafů konečných automatů - doplnění o operace s konečnými automaty
 (Martin Bachořík)

2013, Bakalářská práce, Fakulta elektrotechniky a informatiky / VŠB - Technická univerzita Ostrava

• http://hdl.handle.net/10084/98832 | Informační a komunikační technologie / Informatika a výpočetní technika | Theses on a related topic

Rozhodování pravdivosti formulí Presburgerovy aritmetiky pomocí konečných automatů
 (Tomáš Fluksa)

2010, Bakalářská práce, Fakulta elektrotechniky a informatiky / Vysoká škola báňská - Technická univerzita Ostrava

• http://hdl.handle.net/10084/78952 | Informační a komunikační technologie / Informatika a výpočetní technika | Theses on a related topic

Rozhodování pravdivosti formulí Presburgerovy aritmetiky pomocí eliminace kvantifikátorů
 (Pavel Jurečka)

2011, Bakalářská práce, Fakulta elektrotechniky a informatiky / VŠB - Technická univerzita Ostrava

• http://hdl.handle.net/10084/93246 | Informační a komunikační technologie / Informatika a výpočetní technika | Theses on a related topic

Vyhodnocování aritmetických výrazů
 (Petr Mazálek)

2008, Bakalářská práce, Vysoká škola finanční a správní

• https://is.vsfs.cz/th/a9dbd/ | Informatika / Aplikovaná informatika | Theses on a related topic

Rozhodování pravdivosti formulí Presburgerovy aritmetiky pomocí konečných automatů
 (Tomáš Fluksa)

2010, Bakalářská práce, Fakulta elektrotechniky a informatiky / Vysoká škola báňská - Technická univerzita Ostrava

• http://hdl.handle.net/10084/78952 | Informační a komunikační technologie / Informatika a výpočetní technika | Theses on a related topic

Headlines in British Online Tabloids: Syntactic and Lexical Analysis
 (Aneta Matějíčková)

2017, Diplomová práce, Pedagogická fakulta / Masarykova univerzita

• https://is.muni.cz/th/i6b1l/ | Učitelství pro základní školy / Učitelství anglického jazyka a literatury pro základní školy | Theses on a related topic

Syntactic analysis and type evaluation in Haskell
 (Pavel Dvořák)

2009, Bakalářská práce, Fakulta informatiky / Masarykova univerzita

• https://is.muni.cz/th/afyvg/ | Aplikovaná informatika / | Theses on a related topic

« 1 2 3 » (total: 26 theses)