Software engineering
Software engineering (296)
Physical sciences > Computer science > Programming > Software engineering
Kliens-szerver alapú Erlang programok
Roland Király
13 years ago - 14:21

Valós idejű csoport-kommunikációs és kollaborációs
Dr. Zoltán Gál
Tamás Balla 13 years ago - 19:09
Tamás Balla 13 years ago - 19:09

Formalisation (Proof-checking)
Laurent Théry
13 years ago - 38:07

Computer algebra
Joachim von zur Gathen
13 years ago - 37:21

Can we trust floating-point numbers?
Paul Zimmermann
13 years ago - 41:27

Main Issues of Computer Mathematics
Henk Barendregt
13 years ago - 46:45

Economics, game theory and computer science
Krzysztof R. Apt
13 years ago - 47:25

From computable functions to definable systems
Wolfgang Reisig
13 years ago - 41:36

Artificial biochemistry
Luca Cardelli
13 years ago - 44:49

Challenges of quantum informatics
Jozef Gruska
13 years ago - 45:26

Panel: Pan-European collaboration
13 years ago - 1:00:11

Model checking, theorem proving, and abstract
Thomas Henzinger
13 years ago - 41:21