Computer science

Computer science (2696)

Physical sciences > Computer science
Computer systems (134)
Cybernetics (35)
Database management (53)
Digital systems (240)
Informatics (1926)
Programming (388)
Systems design (11)
3D modelling (9)
Computer architecture (201)
Computer hardware (77)
Modelling tools (1)

The verifying compiler: a Grand Challenge for
kifu Prof. Sir Tony Hoare 15 years ago - 48:06

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

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

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

Software Engineering Evidence
kifu Prof. Dr. H. Dieter Rombach 15 years ago - 1:03:00

Bevezető
kifu László Bélády 15 years ago - 6:41

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

Securing computing infrastructure with chains of
kifu Prof. Richard A. DeMillo 15 years ago - 47:18