Élettelen természettudományok

Élettelen természettudományok (4561)

Csillagászat (168)
Kémia (151)
Számítógéptudomány (2735)
Matematika (447)
Fizika (1152)

Panel: Pan-European collaboration
kifu 15 éve - 1:00:11

Model checking, theorem proving, and abstract
kifu Thomas Henzinger 15 éve - 41:21

The German VeriSoft Project 2003-2007
kifu Wolfgang J. Paul 15 éve - 44:05

Temporal annotations and their validation
kifu Amir Pnueli 15 éve - 47:40

Have we learned from the Wasa disaster?
kifu Jean-Raymond Abrial 15 éve - 38:02

A million lines of verified code
kifu Jim Woodcock 15 éve - 40:26

The ideal of program correctness
kifu Prof. Sir Tony Hoare 15 éve - 42:46

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

Specialized editor for processing objects in a
wigner Heike Laqua 15 éve - 26:41

Concept of the new Textor Control System -
wigner Horst T. Lambertz 15 éve - 11:15

Towards a User-friendly Grid Environment
wigner Dr. Prof. Kacsuk Péter 15 éve - 49:13

Development of Information Technology Systems for
wigner Nina Putvinskaya 15 éve - 15:25