Dne 24. června 2024 ve 12:00 bude probíhat obhajoba dizertační práce Ing. Tomáše Kolárika „Boolean Satisfiability Modulo Differential Equation Simulations“. Obhajoba se uskuteční v místnosti TH:A-1048.
Dne 24. června 2024 ve 12:00 bude probíhat obhajoba dizertační práce Ing. Tomáše Kolárika „Boolean Satisfiability Modulo Differential Equation Simulations“. Obhajoba se uskuteční v místnosti TH:A-1048.
Za obsah stránky zodpovídá: Bc. Veronika Dvořáková