Kulcsszó: formal verification OData: XML JSON Mi ez?

Tanszékek

• Mesterséges Intelligencia és Rendszertervezés Tanszék (MIT) (54 téma)
• Hálózati Rendszerek és Szolgáltatások Tanszék (HIT) (2 téma)
• Távközlési és Mesterséges Intelligencia Tanszék (TMIT) (1 téma)

Konzulensek

• 
  Dr. Vörös András
  (MIT, 11 téma)
• 
  Dr. Molnár Vince
  (MIT, 7 téma)
• 
  Bajczi Levente
  (MIT, 4 téma)
• 
  Dobos-Kovács Mihály
  (MIT, 4 téma)
• 
  Graics Bence
  (MIT, 4 téma)
• 
  Szekeres Dániel
  (MIT, 4 téma)
• 
  Hajdu Ákos
  (MIT, 3 téma)
• 
  Cziborová Dóra
  (MIT, 2 téma)
• 
  Dr. Fehér Béla
  (MIT, 2 téma)
• 
  Dr. Majzik István
  (MIT, 2 téma)
• 
  Dr. Marussy Kristóf
  (MIT, 2 téma)
• 
  Mondok Milán
  (MIT, 2 téma)
• 
  Tóth Tamás
  (MIT, 2 téma)
• 
  Tóthné Farkas Rebeka Krisztina
  (MIT, 2 téma)
• 
  Ádám Zsófia
  (MIT, 1 téma)
• 
  Dr. Buttyán Levente
  (HIT, 1 téma)
• 
  Dr. Elekes Márton Farkas
  (MIT, 1 téma)
• 
  Dr. Micskei Zoltán Imre
  (MIT, 1 téma)
• 
  Izsó Tamás
  (HIT, 1 téma)
• 
  Ladóczki Bence
  (TMIT, 1 téma)

Témák

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