Tóth Tamás OData támogatás

Méréstechnika és Információs Rendszerek Tanszék

Kulcsszavai

absztrakció (1) · automatatanulás (1) · c program (1) · fordítóprogram (1) · formális módszerek (1) · formális verifikáció (2) · gráfadatbázis (1) · gráfmintaillesztés (1) · IC3 (1) · modell absztrakció (1) · modellellenőrzés (1) · nézeti modellek (1) · optimalizáció (1) · PDR (1) · programszeletelés (1)

Témái

Összesen 3 szakdolgozat és diplomaterv.  Összes téma megtekintése »

Képzés szerint:

Szak szerint:

Félév szerint: