You are currently browsing the Videotorium site of the organization Kormányzati Informatikai Fejlesztési Ügynökség. The content of the search results and listing pages of the site (Main page, Categories, Channels, Live events) are limited to this organization. In case you wish to browse the whole archive of Videotorium, please, navigate back to the main Videotorium site.

Élettelen természettudományok

Élettelen természettudományok (1289)

Csillagászat (5)
Kémia (9)
Számítógéptudomány (1179)
Matematika (21)
Fizika (85)

The verifying compiler: a Grand Challenge for
Prof. Sir Tony Hoare 15 éve - 48:06

Introduction of Prof. Sir Tony Hoare
Bélády László 15 éve - 8:04

Rajta vagyunk-e a térképen - Szoftverfejlesztési
Dr. Langer Tamás 15 éve - 33:09

Rajta vagyunk-e a térképen - Szoftverfejlesztési
Szalay Imre 15 éve - 20:42

Software Engineering Evidence
Prof. Dr. H. Dieter Rombach 15 éve - 1:03:00

Bevezető
Bélády László 15 éve - 6:41

Az informatikai biztonság rendszerszemléletben
Remzső Tibor 15 éve - 34:24

Securing computing infrastructure with chains of
Prof. Richard A. DeMillo 15 éve - 47:18

Fázisátalakulások a részecskefizikában és a
PhD. Fodor Zoltán 15 éve - 26:33

Nehézionfizika a CERN-ben
PhD. Siklér Ferenc 15 éve - 26:49

Magyarországi elméleti fizikusok a CERN-ben
Dr. Prof. Trócsányi Zoltán 15 éve - 23:53

Alapvető szimmetriák kísérleti ellenőrzése a CERN
Dr. Horváth Dezső 15 éve - 20:41