Práce na stejné téma (mají shodná klíčová slova):
bitKlíčová slova abecedně | Klíčová slova dle četnosti
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 | Práce na příbuzné téma
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 | Práce na příbuzné téma
Ř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 | Práce na příbuzné téma
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 / | Práce na příbuzné téma
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 / | Práce na příbuzné téma
SMT Solving for the Theory of Bit-Vectors
(Martin Jonáš)2016, Rigorózní práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/ovulj/ | Informatika / | Práce na příbuzné téma
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 / | Práce na příbuzné téma
Řídicí jednotka na bázi 8bit a 16bit mikrokontrolérů PIC
(Jiří BRYCHCÍN)2012, Diplomová práce, Fakulta elektrotechnická / ZÁPADOČESKÁ UNIVERZITA V PLZNI
• http://theses.cz/id//enos3u// | Elektrotechnika a informatika / Průmyslová elektronika a elektromechanika | Práce na příbuzné téma
Výuka programování mikropočítače Micro:bit
(Martin VÁVRA)2022, absolventská práce CŽV, Přírodovědecká fakulta / OSTRAVSKÁ UNIVERZITA
• http://theses.cz/id//pj8odx// | Koordinace v oblasti ICT - studium k výkonu specializovaných činností / | Práce na příbuzné téma
Projektová výuka s využitím BBC Micro:bit
(Michael ŠTEFL)2024, Bakalářská práce, Pedagogická fakulta / JIHOČESKÁ UNIVERZITA V ČESKÝCH BUDĚJOVICÍCH
• http://theses.cz/id//gezquy// | Oborové studium se zaměřením na vzdělávání na 2. stupni základní školy / AJs-ITs | Práce na příbuzné téma