Physical sciences
The verifying compiler: a Grand Challenge for
Prof. Sir Tony Hoare
15 years ago - 48:06
Introduction of Prof. Sir Tony Hoare
László Bélády
15 years ago - 8:04
Rajta vagyunk-e a térképen - Szoftverfejlesztési
Dr. Tamás Langer
15 years ago - 33:09
Rajta vagyunk-e a térképen - Szoftverfejlesztési
Imre Szalay
15 years ago - 20:42
Software Engineering Evidence
Prof. Dr. H. Dieter Rombach
15 years ago - 1:03:00
Bevezető
László Bélády
15 years ago - 6:41
Az informatikai biztonság rendszerszemléletben
Tibor Remzső
15 years ago - 34:24
Securing computing infrastructure with chains of
Prof. Richard A. DeMillo
15 years ago - 47:18
Fázisátalakulások a részecskefizikában és a
PhD. Zoltán Fodor
15 years ago - 26:33
Nehézionfizika a CERN-ben
PhD. Ferenc Siklér
15 years ago - 26:49
Magyarországi elméleti fizikusok a CERN-ben
Dr. Prof. Zoltán Trócsányi
15 years ago - 23:53
Alapvető szimmetriák kísérleti ellenőrzése a CERN
Dr. Dezső Horváth
15 years ago - 20:41