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

Szoftvertechnológia

Szoftvertechnológia (296)

Élettelen természettudományok > Számítógéptudomány > Programozás > Szoftvertechnológia
Csoportmunka alkalmazás (groupware) (7)
Szoftverfejlesztés (129)

Kliens-szerver alapú Erlang programok
Király Roland 14 éve - 14:21

Valós idejű csoport-kommunikációs és kollaborációs
Dr. Gál Zoltán
Balla Tamás 14 éve - 19:09

Formalisation (Proof-checking)
Laurent Théry 14 éve - 38:07

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

Panel: Pan-European collaboration
14 éve - 1:00:11

Model checking, theorem proving, and abstract
Thomas Henzinger 14 éve - 41:21