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

Ön a Pro-M Zrt védett információs rendszerét kívánja használni.
A 7/2024 MK rendelet alapján a rendszer használatát megfigyelhetik, rögzíthetik, naplózhatják.
A rendszer jogosulatlan használata tilos és büntető- vagy polgári jogi felelősséggel jár.
A rendszer használata az előbbiekben részletezett feltételek elfogadását jelenti.

Ön a Pro-M Zrt. nyilvános rendszerét kívánja használni.
A 7/2024 MK rendelet alapján a rendszer használatát megfigyelhetik, rögzíthetik, naplózhatják.
A rendszer jogosulatlan használata tilos és büntető- vagy polgári jogi felelősséggel jár.

Számítógéptudomány

Számítógéptudomány (1332)

Élettelen természettudományok > Számítógéptudomány
Számítógépes rendszerek (54)
Kibernetika (22)
Adatbázis-kezelés (25)
Digitális rendszerek (106)
Informatika (850)
Programozás (306)
Rendszertervezés (3)
3D modellezés (3)
Számítógép-architektúra (178)
Számítógépes hardver (29)
Modellező eszközök (1)

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

Computer algebra
Joachim von zur Gathen 15 éve - 37:21

Can we trust floating-point numbers?
Paul Zimmermann 15 éve - 41:27

Main Issues of Computer Mathematics
Henk Barendregt 15 éve - 46:45

Economics, game theory and computer science
Krzysztof R. Apt 15 éve - 47:25

From computable functions to definable systems
Wolfgang Reisig 15 éve - 41:36

Artificial biochemistry
Luca Cardelli 15 éve - 44:49

Challenges of quantum informatics
Jozef Gruska 15 éve - 45:26

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

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

The German VeriSoft Project 2003-2007
Wolfgang J. Paul 15 éve - 44:05

Temporal annotations and their validation
Amir Pnueli 15 éve - 47:40