Coping with complexity and undecidability in automated verification of computer-based systemsthesis of a lecture within...
Diagnostické metody fotovoltaických článků založené na generačně-rekombinačních jevech =Diagnostic methods of...
Difúzní proces rozpouštění polymerů a jeho využití v materiálovém inženýrství =Diffusion process of...