ℹ️
🇨🇿
Hledání
Hledat předměty relevantní k dotazu "Solvers"
Solvers
Předmět
Předměty
Osoby
Publikace
Studium
class
Rozhodovací procedury a SAT/SMT řešiče
NAIL094 |
Matematicko-fyzikální fakulta
class
Rozhodovací procedury a verifikace
NAIX094 |
Matematicko-fyzikální fakulta
class
Analýza programů a verifikace kódu
+1
NSWI132 |
Matematicko-fyzikální fakulta
class
Aposteriorní numerická analýza metodou vyvážených toků
NMNV464 |
Matematicko-fyzikální fakulta
class
Řídké matice v numerické matematice
NMNV533 |
Matematicko-fyzikální fakulta
class
Aplikovaná výpočetní technika
+1
GAF131 |
Farmaceutická fakulta v Hradci Králové
class
Logika v informatice
NMAI067 |
Matematicko-fyzikální fakulta
class
Metody logického programování
NAIL022 |
Matematicko-fyzikální fakulta
class
Financial Modelling Using MS Excel and VBA
JEM128 |
Fakulta sociálních věd
class
Moderní počítačová fyzika I
NEVF160 |
Matematicko-fyzikální fakulta
class
Sedlobodové úlohy a jejich řešení
NMMO537 |
Matematicko-fyzikální fakulta
class
Strojové učení a uvažování
NMMB562 |
Matematicko-fyzikální fakulta
class
Metody HG průzkumu
MG451P32 |
Přírodovědecká fakulta