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)

Challenges of quantum informatics
kifu Jozef Gruska 14 years ago - 45:26

Panel: Pan-European collaboration
kifu 14 years ago - 1:00:11

Model checking, theorem proving, and abstract
kifu Thomas Henzinger 14 years ago - 41:21

The German VeriSoft Project 2003-2007
kifu Wolfgang J. Paul 14 years ago - 44:05

Temporal annotations and their validation
kifu Amir Pnueli 14 years ago - 47:40

Have we learned from the Wasa disaster?
kifu Jean-Raymond Abrial 14 years ago - 38:02

A million lines of verified code
kifu Jim Woodcock 14 years ago - 40:26

The ideal of program correctness
kifu Prof. Sir Tony Hoare 14 years ago - 42:46

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

Specialized editor for processing objects in a
wigner Heike Laqua 14 years ago - 26:41

Concept of the new Textor Control System -
wigner Horst T. Lambertz 14 years ago - 11:15

Towards a User-friendly Grid Environment
wigner Dr. Prof. Péter Kacsuk 14 years ago - 49:13