Megjelenítés: 1 - 3 / 3 - kulcsszavak: 'Piszkor, Balázs', keresési idő: 0.04mp Találatok szűrése
1
Síkban mozgó járművek mozgásának valós idejű meghatározása GPU segítségével.
Szerző: Piszkor, Balázs
Megjelenés: 2018-05
Ugrás a forráshoz
szakdolgozat
Mentés a listára
Mentés helye:
2
Formalisation of Applicative Matching Logic in the Coq Proof Assistant
Szerző: Piszkor Balázs
Megjelenés: 2020-06-04
Ugrás a forráshoz
szakdolgozat
Mentés a listára
Mentés helye:
3
Formalisation of Applicative Matching Logic in the Coq Proof Assistant
Szerző: Boros Attila Péter
Megjelenés: 2020-06-05
“...Piszkor Balázs...”
Ugrás a forráshoz
szakdolgozat
Mentés a listára
Mentés helye:
Keresőeszközök: RSS-hírfolyam — Keresés küldése emailben —