Élettelen természettudományok

Élettelen természettudományok (4144)

Csillagászat (162)
Kémia (125)
Számítógéptudomány (2502)
Matematika (420)
Fizika (1022)

Artificial biochemistry
kifu Luca Cardelli 11 éve - 44:49

Challenges of quantum informatics
kifu Jozef Gruska 11 éve - 45:26

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

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

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

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

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

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

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

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

FEM25D - Egy geofizikai elektromágneses modellező
kifu Ficsor Lajos
Dr. Pethő Gábor
Tóth Adrián 11 éve - 19:38

Effektív grid alkalmazás teherhordó gerendák
kifu Dr. Török János 11 éve - 18:22