Popis: Modern probabilistic verification /

Uloženo v:

Podrobná bibliografie
Hlavní autor:	Křetínský, Jan, 1984- (Autor práce)
Typ dokumentu:	VŠ práce nebo rukopis
Jazyk:	Čeština
Vydáno:	2018
Témata:	pravděpodobnostní metody strojové učení výpočetní technika computer science machine learning probabilistic methods habilitační práce habilitation thesis

Popis
Fyzický popis:	vi, 1 svazek (různé stránkování)