Dolgozatok listázása

Listázási feltételek

Kar:
Tanszék:
Konzulens:
Konferencia:
Szekció:
Téma:
Szponzor:
Kari különdíj:
Egyetemi különdíj:
Év:	-tól -ig
Helyezés:
Kulcsszó:

dolgozatok

Absztrakcióval támogatott hierarchikus keresési stratégiák a modellellenőrzés támogatására

Villamosmérnöki és Informatikai Kar » Villamosmérnöki és Informatikai Kar 2021. évi TDK konferencia » Beágyazott rendszerek szekció, 2021

Villamosmérnöki és Informatikai Kar » Beágyazott rendszerek téma

Vörös András Dr. ( MIT) , Molnár Vince Dr. ( MIT)

Vörös Asztrik

nincs helyezés

Lusta absztrakciófinomítás algoritmusok általánosítása részbenrendezésekkel

Villamosmérnöki és Informatikai Kar » Villamosmérnöki és Informatikai Kar 2021. évi TDK konferencia » Szoftver szekció, 2021

Villamosmérnöki és Informatikai Kar » Szoftver téma

Vörös András Dr. ( MIT) , Marussy Kristóf Dr. ( MIT)

Cziborová Dóra

nincs helyezés