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

Programozás


Computer algebra

Joachim von zur Gathen 14 éve - 37:21

Can we trust floating-point numbers?

Paul Zimmermann 14 éve - 41:27

Main Issues of Computer Mathematics

Henk Barendregt 14 éve - 46:45

Economics, game theory and computer science

Krzysztof R. Apt 14 éve - 47:25

From computable functions to definable systems

Wolfgang Reisig 14 éve - 41:36

Artificial biochemistry

Luca Cardelli 14 éve - 44:49

Challenges of quantum informatics

Jozef Gruska 14 éve - 45:26

Model checking, theorem proving, and abstract

Thomas Henzinger 14 éve - 41:21

The German VeriSoft Project 2003-2007

Wolfgang J. Paul 14 éve - 44:05

Have we learned from the Wasa disaster?

Jean-Raymond Abrial 14 éve - 38:02