Bejelentkezés
Kezdőlap
Keresés
Kezdőlap
»
Keresés és böngészés
»
További kulcsszavak
» Runtime verification
Kulcsszó: Runtime verification
OData:
XML
JSON
Mi ez?
Tanszékek
Mesterséges Intelligencia és Rendszertervezés Tanszék
(MIT)
(18 téma)
Konzulensek
Dr. Majzik István
(MIT, 9 téma)
Dr. Vörös András
(MIT, 8 téma)
Graics Bence
(MIT, 1 téma)
Témák
Összesen 18 szakdolgozat és diplomaterv.
Összes téma megtekintése »
Képzés szerint:
Alapképzés
(11 téma)
Mesterképzés
(7 téma)
Szak szerint:
mérnök informatikus szak
(18 téma)
Félév szerint:
2025-2026. ősz
(1 téma)
2022-2023. ősz
(1 téma)
2021-2022. tavasz
(1 téma)
2021-2022. ősz
(1 téma)
2020-2021. ősz
(2 téma)
2019-2020. ősz
(1 téma)
2017-2018. tavasz
(1 téma)
2017-2018. ősz
(2 téma)
2016-2017. ősz
(2 téma)
2015-2016. tavasz
(3 téma)
2015-2016. ősz
(1 téma)
2013-2014. tavasz
(1 téma)
2011-2012. ősz
(1 téma)