Theses on the same topic (having an identical keyword):
vycislitelnostKeywords ordered alphabetically | Keywords ordered by occurrence rate
Problémové úlohy z oblasti teorie vyčíslitelnosti
(Petr STÁREK)2013, Bakalářská práce, Přírodovědecká fakulta / OSTRAVSKÁ UNIVERZITA V OSTRAVĚ
• http://theses.cz/id//6dc8sq// | Informatika / | Theses on a related topic
Problémové úlohy z oblasti teorie vyčíslitelnosti
(Zuzana KALUSKOVÁ)2011, Diplomová práce, Přírodovědecká fakulta / OSTRAVSKÁ UNIVERZITA V OSTRAVĚ
• http://theses.cz/id//isik24// | Informatika / Informační systémy | Theses on a related topic
Využití animace při výuce vyčíslitelnosti a složitosti
(Jan KUBALA)2008, Diplomová práce, Přírodovědecká fakulta / OSTRAVSKÁ UNIVERZITA V OSTRAVĚ
• http://theses.cz/id//zbjljp// | Informatika / Informační systémy | Theses on a related topic
CTL Model Checking for Petri Nets and the Arithmetical Hierarchy
(Jan Mačák)2023, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/k7ygm/ | Teoretická informatika / Principy programovacích jazyků | Theses on a related topic
Editor Turingových strojů
(Petr Budílek)2010, Bakalářská práce, Přírodovědecká fakulta / Univerzita Palackého
• http://theses.cz/id//k0b4s6// | Informatika / Aplikovaná informatika | Theses on a related topic
Přesné výpočty s reálnými čísly
(Ondřej SLAVÍK)2021, Bakalářská práce, Přírodovědecká fakulta / UNIVERZITA PALACKÉHO V OLOMOUCI
• http://theses.cz/id//7ov2wx// | Informatika / | Theses on a related topic
Teorie složitosti
(Jan Pánek)2009, Bakalářská práce, Fakulta informatiky a managementu / Univerzita Hradec Králové
• http://evskp.uhk.cz/eB70 | Aplikovaná informatika / | Theses on a related topic
Potřebujeme Turingův test pro umělou inteligenci?
(Martin Hloušek)2011, Bakalářská práce, Fakulta elektrotechniky a informatiky / VŠB - Technická univerzita Ostrava
• http://hdl.handle.net/10084/89545 | Informační technologie / Informatika a výpočetní technika | Theses on a related topic