Computer science


Köszöntő

kifu Dr. Norbert Kroó 14 years ago - 4:16

A konferencia megnyitója

kifu Dr. György Csepeli 14 years ago - 2:50

Információ-érték és -hitelesség

kifu Gábor Mikulás 14 years ago - 18:13

Könyvtáros etika a digitális könyvtár

kifu Szabolcs Bíró 14 years ago - 20:17

Formalisation (Proof-checking)

kifu Laurent Théry 14 years ago - 38:07

Computer algebra

kifu Joachim von zur Gathen 14 years ago - 37:21

Can we trust floating-point numbers?

kifu Paul Zimmermann 14 years ago - 41:27

Main Issues of Computer Mathematics

kifu Henk Barendregt 14 years ago - 46:45

Economics, game theory and computer science

kifu Krzysztof R. Apt 14 years ago - 47:25

From computable functions to definable systems

kifu Wolfgang Reisig 14 years ago - 41:36

Artificial biochemistry

kifu Luca Cardelli 14 years ago - 44:49