Práce na stejné téma (mají shodná klíčová slova):
smtKlíčová slova abecedně | Klíčová slova dle četnosti
Efficient Abstraction Refinement for BDD-based SMT Solvers
(Tereza Schwarzová)2024, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/j6pbe/ | Teoretická informatika / Formální analýza počítačových systémů | 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
Caching SMT Queries in SymDivine
(Jan Mrázek)2016, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/qxhst/ | Informatika / Paralelní a distribuované systémy | Práce na příbuzné téma
Nalezení vhodné aplikační oblasti pro modul EEG-SMT firmy Olimex
(Jan RUBÁŠ)2022, Bakalářská práce, Fakulta aplikovaných věd / ZÁPADOČESKÁ UNIVERZITA V PLZNI
• http://theses.cz/id//savi43// | Informatika a výpočetní technika / Informatika | Práce na příbuzné téma
Znovupoužití známých výsledků SMT dotazů
(Martin Kučera)2014, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/cluo1/ | Informatika / Matematická informatika | Práce na příbuzné téma
Paralelní volání SMT solverů v nástroji Bugst
(Viktor Toman)2014, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/uy033/ | Informatika / Matematická informatika | Práce na příbuzné téma
Verifikace konečných systémů pomocí SMT-solveru
(Martin Milata)2010, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/ek0l1/ | Informatika / | Práce na příbuzné téma
Optimalizace plánování SMT výroby pomocí měkkých výpočtů
(Jan Helán)2016, Diplomová práce, Provozně ekonomická fakulta / Mendelova univerzita v Brně
• http://theses.cz/id//mxr8cz// | Systémové inženýrství a informatika / Ekonomická informatika | Práce na příbuzné téma
Hodnocení automatického překladu SMT systémů (Google translate, Bing) z francouzštiny do češtiny: kolokace z oblasti "bezpečnost potravin"
(Zora ŠVARCOVÁ)2016, Bakalářská práce, Filozofická fakulta / JIHOČESKÁ UNIVERZITA V ČESKÝCH BUDĚJOVICÍCH
• http://theses.cz/id//abtf0a// | Filologie / Francouzský jazyk pro evropský a mezinárodní obchod | Práce na příbuzné téma
Hodnocení automatického překladu SMT systémů (Google translate, Bing) z francouzštiny do češtiny: kolokace z oblasti "odpadového hospodářství"
(Barbora VÍŠKOVÁ)2016, Bakalářská práce, Filozofická fakulta / JIHOČESKÁ UNIVERZITA V ČESKÝCH BUDĚJOVICÍCH
• http://theses.cz/id//h70vqb// | Filologie / Francouzský jazyk pro evropský a mezinárodní obchod | Práce na příbuzné téma