Theses on the same topic (having an identical keyword):
KůňKeywords ordered alphabetically | Keywords ordered by occurrence rate
Využití micro:bit ve výuce programování na ZŠ
(Klára Lekešová)2024, Diplomová práce, Pedagogická fakulta / Masarykova univerzita
• https://is.muni.cz/th/ockef/ | Učitelství technické a informační výchovy pro základní školy / | Theses on a related topic
Satisfiability of Quantified Bit-Vector Formulas: Theory and Practice
(Martin Jonáš)2019, Disertační práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/cg101/ | Informatika (čtyřleté) / Informatika | Theses on a related topic
One Bit at a Time: Impact of Quantisation on Neural Machine Translation
(Marek Petrovič)2022, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/htvm4/ | Umělá inteligence a zpracování dat / Zpracování a analýza rozsáhlých dat | Theses on a related topic
Řešení sporů z BIT uzavřených mezi členskými státy Evropské unie
(Hana Křížová)2016, Diplomová práce, Právnická fakulta / Masarykova univerzita
• https://is.muni.cz/th/x1yht/ | Právo a právní věda / Právo | Theses on a related topic
Adding Support for Bit-Vectors to BDD Libraries CUDD and Sylvan
(Peter Navrátil)2017, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/lij5a/ | Aplikovaná informatika / | Theses on a related topic
Aproximace formulí v teorii bit-vektorů
(Kateřina Sloupová)2018, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/xawo3/ | Aplikovaná informatika / | Theses on a related topic
Vliv aproximací bit-vektorů na výkon nástroje Z3
(Dominika Krejčí)2018, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/mw2sk/ | Aplikovaná informatika / | Theses on a related topic