Theses on the same topic (having an identical keyword):
protiprikladyKeywords ordered alphabetically | Keywords ordered by occurrence rate
Protipříklady z diferenciálních rovnic
(Ludmila Linhartová)2020, Bakalářská práce, Přírodovědecká fakulta / Masarykova univerzita
• https://is.muni.cz/th/ba1x0/ | Matematika / Obecná matematika | Theses on a related topic
Vybrané příklady a protipříklady z teorie míry a integrálu
(Jakub KOČÍ)2023, Bakalářská práce, Přírodovědecká fakulta / UNIVERZITA PALACKÉHO V OLOMOUCI
• http://theses.cz/id//ko86m9// | Aplikovaná matematika / Aplikovaná matematika - specializace Data Science | Theses on a related topic
Protipříklady v matematické analýze
(Kamil Babula)2008, Bakalářská práce, Přírodovědecká fakulta / Masarykova univerzita
• https://is.muni.cz/th/sxi43/ | Aplikovaná matematika / Finanční a pojistná matematika | Theses on a related topic
Využití protipříkladů v syntéze kontrolerů pro POMDP
(Jakub Frejlach)2023, Diplomová práce, Vysoké učení technické v Brně
• http://theses.cz/id//gqnqlv// | Informační technologie a umělá inteligence / | Theses on a related topic
Vysvětlování protipříkladů v nástroji DiVinE
(Roman Plášil)2011, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/s07zh/ | Informatika / Paralelní a distribuované systémy | Theses on a related topic
Generování protipříkladů při analýze Markovových modelů
(Martin Molek)2018, Bakalářská práce, Vysoké učení technické v Brně
• http://theses.cz/id//48bza5// | Informační technologie / | Theses on a related topic
Užití protipříkladů v matematice
(Zdeňka KÁŇOVÁ)2011, Bakalářská práce, Přírodovědecká fakulta / UNIVERZITA PALACKÉHO V OLOMOUCI
• http://theses.cz/id//snyc7s// | Aplikovaná matematika / Matematika-ekonomie se zaměřením na bankovnictví | Theses on a related topic
Abstraction via Program Transformation
(Henrich Lauko)2023, Disertační práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/mkjtn/ | Informatika / Technologie a metodologie počítačových systémů | Theses on a related topic
Case analysis of a splitter theorem
(Matúš Hlaváčik)2016, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/zpuo1/ | Informatika / Matematická informatika | Theses on a related topic
Nástroj pro interaktivní dokazování tvrzení o formálních jazycích
(Tomáš Richter)2017, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/an2us/ | Aplikovaná informatika / | Theses on a related topic