Computer science
Computer science (1332)
Physical sciences > Computer science
Computer systems (54)
Cybernetics (22)
Database management (25)
Digital systems (106)
Informatics (850)
Programming (306)
Systems design (3)
3D modelling (3)
Computer architecture (178)
Computer hardware (29)
Modelling tools (1)
Cybernetics (22)
Database management (25)
Digital systems (106)
Informatics (850)
Programming (306)
Systems design (3)
3D modelling (3)
Computer architecture (178)
Computer hardware (29)
Modelling tools (1)
Formalisation (Proof-checking)
Laurent Théry
16 years ago - 38:07
Computer algebra
Joachim von zur Gathen
16 years ago - 37:21
Can we trust floating-point numbers?
Paul Zimmermann
16 years ago - 41:27
Main Issues of Computer Mathematics
Henk Barendregt
16 years ago - 46:45
Economics, game theory and computer science
Krzysztof R. Apt
16 years ago - 47:25
From computable functions to definable systems
Wolfgang Reisig
16 years ago - 41:36
Artificial biochemistry
Luca Cardelli
16 years ago - 44:49
Challenges of quantum informatics
Jozef Gruska
16 years ago - 45:26
Panel: Pan-European collaboration
16 years ago - 1:00:11
Model checking, theorem proving, and abstract
Thomas Henzinger
16 years ago - 41:21
The German VeriSoft Project 2003-2007
Wolfgang J. Paul
16 years ago - 44:05
Temporal annotations and their validation
Amir Pnueli
16 years ago - 47:40