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

Thomas Henzinger


Thomas Henzinger

Névjegyek

Ecole Polytechnique Fédérale de Lausanne

Fényképek


Model checking, theorem proving, and abstract

Thomas Henzinger 14 éve - 41:21