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

Élettelen természettudományok

Élettelen természettudományok (1449)

Csillagászat (7)
Kémia (13)
Számítógéptudomány (1332)
Matematika (23)
Fizika (90)

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

Have we learned from the Wasa disaster?
Jean-Raymond Abrial 15 éve - 38:02

A million lines of verified code
Jim Woodcock 15 éve - 40:26

The ideal of program correctness
Prof. Sir Tony Hoare 15 éve - 42:46

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

FEM25D - Egy geofizikai elektromágneses modellező
Ficsor Lajos
Dr. Pethő Gábor
Tóth Adrián 15 éve - 19:38

Effektív grid alkalmazás teherhordó gerendák
Dr. Török János 15 éve - 18:22

Szegedi mini-HPC csoport - az első három év
Dr. Fekete Zoltán 15 éve - 32:59