Práce na stejné téma (mají shodná klíčová slova):

smt

Klíčová slova abecedně | Klíčová slova dle četnosti

« 1 2 » (celkem 17 prací)
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

Seznam prací, které mají shodná klíčová slova.

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

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

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

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

Hodnocení automatického překladu SMT systémů (Google translate, Bing) z italštiny do češtiny: názvy stromů
 (Veronika VOLÁKOVÁ)

2017, Bakalářská práce, Filozofická fakulta / JIHOČESKÁ UNIVERZITA V ČESKÝCH BUDĚJOVICÍCH

• http://theses.cz/id//rvuisu// | Filologie / Italský jazyk | Práce na příbuzné téma

« 1 2 » (celkem 17 prací)