Ön jelenleg a(z) Kormányzati Informatikai Fejlesztési Ügynökség Videotorium aloldalát böngészi. A keresési találatok, illetve az aloldal minden felülete (Főoldal, Kategóriák, Csatornák, Élő közvetítések) kizárólag az intézményi aloldal tartalmait listázza. Amennyiben a Videotorium teljes archívumát kívánja elérni, kérjük navigáljon vissza a Videotorium főoldalára!

Számítógéptudomány


Questions & Answers

Gyimóthy Tibor 14 éve - 12:30

Introduction of Tibor Gyimóthy

Bélády László 14 éve - 1:29

Questions & Answers

Prof. Sir Tony Hoare 14 éve - 26:12

The verifying compiler: a Grand Challenge for

Prof. Sir Tony Hoare 14 éve - 48:06

Introduction of Prof. Sir Tony Hoare

Bélády László 14 éve - 8:04

Software Engineering Evidence

Prof. Dr. H. Dieter Rombach 14 éve - 1:03:00

Bevezető

Bélády László 14 éve - 6:41

Securing computing infrastructure with chains of

Prof. Richard A. DeMillo 14 éve - 47:18