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