Élettelen természettudományok


Artificial biochemistry

kifu Luca Cardelli 11 éve - 44:49

Challenges of quantum informatics

kifu Jozef Gruska 11 éve - 45:26

The German VeriSoft Project 2003-2007

kifu Wolfgang J. Paul 11 éve - 44:05

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