Ö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!

Szoftverfejlesztés


Artificial biochemistry

Luca Cardelli 9 éve - 44:49

Challenges of quantum informatics

Jozef Gruska 9 éve - 45:26

Model checking, theorem proving, and abstract

Thomas Henzinger 9 éve - 41:21

The German VeriSoft Project 2003-2007

Wolfgang J. Paul 9 éve - 44:05

Have we learned from the Wasa disaster?

Jean-Raymond Abrial 9 éve - 38:02

A million lines of verified code

Jim Woodcock 9 éve - 40:26

The ideal of program correctness

Prof. Sir Tony Hoare 9 éve - 42:46

Opening & welcome

Dr. Szeredi Péter
Dines Bjørner
Prof. Emer Detrekői Ákos
9 éve - 11:49

Hálózati azonosság kezelése, biztonsági és

Zsemlye Tamás
Fábián Péter
9 éve - 23:32