Élettelen természettudományok

Élettelen természettudományok (4143)

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

Köszöntő
kifu Dr. Kroó Norbert 11 éve - 4:16

A konferencia megnyitója
kifu Dr. Csepeli György 11 éve - 2:50

Információ-érték és -hitelesség
kifu Mikulás Gábor 11 éve - 18:13

Könyvtáros etika a digitális könyvtár
kifu Bíró Szabolcs 11 éve - 20:17

Digitális kultúra Európában - A MINERVA Projekt
kifu Szalóki Gabriella 11 éve - 15:18

Formalisation (Proof-checking)
kifu Laurent Théry 11 éve - 38:07

Computer algebra
kifu Joachim von zur Gathen 11 éve - 37:21

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

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

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

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

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