Élettelen természettudományok

Élettelen természettudományok (4507)

Csillagászat (168)
Kémia (145)
Számítógéptudomány (2696)
Matematika (447)
Fizika (1143)

Can we trust floating-point numbers?
kifu Paul Zimmermann 14 éve - 41:27

Main Issues of Computer Mathematics
kifu Henk Barendregt 14 éve - 46:45

Economics, game theory and computer science
kifu Krzysztof R. Apt 14 éve - 47:25

From computable functions to definable systems
kifu Wolfgang Reisig 14 éve - 41:36

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

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

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

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

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

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

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

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