Megjelenítés: 1 - 3 / 3 - kulcsszavak: 'Donkó István', keresési idő: 0.01mp Találatok szűrése
1
Földi monitorozó és vezérlési kezelőfelület önrepülő drónokhoz
Szerző: Donkó, István
Megjelenés: 2018-05-15
Ugrás a forráshoz
szakdolgozat
Mentés a listára
Mentés helye:
2
Formalizing a relational model of concurrent programs in a dependently typed environment
Szerző: Donkó István
Megjelenés: 2020-06-04
Ugrás a forráshoz
szakdolgozat
Mentés a listára
Mentés helye:
3
Interactive Teaching of Programming Language Theory with a Proof Assistant
Szerző: Bereczky, Péter
Megjelenés: 2020
Közreműködő(k): “...Donkó, István...”
Ugrás a forráshoz
folyóiratcikk
Mentés a listára
Mentés helye:
Keresőeszközök: RSS-hírfolyam — Keresés küldése emailben —